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

Prolog Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily ...

computer

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

Portability

There are Prolog implementations that are radically different, with different syntax and different semantics (e.g. Visual Prolog) 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 (rationals, complex), feature extensions such as

Unicode Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, wh ...

, 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 (e.g. delete/3)

Main features

Operating system and Web-related features

Static analysis

Optimizations

Release

Benchmarks

* Benchmarking issues
Odd Prolog benchmarking
Performance differences. * Benchmarking software
DobryAquarius benchmark suite
(Bothe, 1990)
(Demoen et al. 2001)benchmark descriptions
* Benchmarking results

XSB, SICStus vs Yap vs * Benchmarking results
Survey of java prolog engines
by Michael Zeising * Benchmarking results
OpenRuleBench yearly open-source benchmark of rule engines

Notes

References

{{reflist

External links

by Ulrich Neumerkel
Conformity assessment I: Syntax
Prolog programming language family Software comparisons