I can't say I've tried it myself, but Mercury looks interesting:

http://en.wikipedia.org/wiki/Mercury_%28programming_language...

http://www.mercurylang.org/