Mercury is ...

Home page is: http://www.cs.mu.oz.au/mercury/

Notes: 0.13.11 fails to build using GCC 4.3.1 . Possible workaround at http://www.nabble.com/Errors-while-building-rpm-for-Fedora-td19049101.html which doesn't work for me. Older binaries of Mercury Compiler successfully compile Mercury files but if those files have higher order predicates they will fail with a Stack Overflow at runtime, at least on libc6 >= 2.8~20080505-0ubuntu7 (Ubuntu Intrepid Ibex).