Comparison of Prolog implementations


The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language.

Portability

There are Prolog implementations that are radically different, with different syntax and different semantics and sub-communities have developed around different implementations.
Code that strictly conforms to the ISO-Prolog core language is portable across ISO-compliant implementations. However, the ISO standard for modules was never accepted by most Prolog implementors.
Factors that can adversely affect portability include: use of bounded vs. unbounded integer arithmetic, additional types such as string objects, advanced numeric types, feature extensions such as Unicode, threads, and tabling. Use of libraries unavailable in other implementations and library organisation:
Currently, the way predicates are spread over the libraries and system built-ins differs enormously. Fortunately, there are only few cases where we find predicates with the same name but different semantics

Main features

Operating system and Web-related features

Static analysis

Optimizations

Release

Benchmarks