SWI-Prolog is a Prolog compiler targeted primarily at research and education.
Mercury is a new logic/functional programming language similar to Prolog. Its highly optimized execution algorithm delivers efficiency in excess of existing logic programming systems and close to...
The Mozart system provides state-of-the-art support in open distributed computing and constraint-based inference.Mozart implements Oz, a concurrent object oriented language with dataflow...