I can't say I've tried it myself, but Mercury looks interesting: http://en.wikipedia.org/wiki/Mercury_%28programming_language%29 http://en.wikipedia.org/wiki/M

I can't say I've tried it myself, but Mercury looks interesting: http://en.wikipedia.org/wiki/Mercury_%28programming_language%29 http://en.wikipedia.org/wiki/Mercury_%28programming_language... http://www.mercurylang.org/ http://www.mercurylang.org/