I have been playing around with Mercury[0] for a while now which is a quite practical logic/functional implementation. It has a very small user group but it's worth giving it a try.

[0] http://mercurylang.org