SWI-Prolog Portable

SWI-Prolog offers a comprehensive Free Software Prolog environment. Prolog is a general purpose logic programming language often used for artificial intelligence and computational linguistics.

• Kernel is LGPL. Prolog libraries are GPL with an additional use in proprietary applications. Details in the license.
• Fast compilation.
• Robust and free of memory leaks.
• Small.
• Scales well for large applications. No limits on program size, atom-length, term-arity or integer values. No performance degradation on predicates with many (indexed) facts.
• Unbounded integer and rational number arithmetic based on GMP library.
• Comprehensive set of built-in predicates, covering Part 1 of the ISO standard, the de-facto Edinburgh Prolog standard and important parts of Quintus and SICStus Prolog. Fair compatibility to Ciao, YAP and GNU-Prolog.
• And much more