User:ParkerJones2007/Comparison of Prolog standards compliance

Prolog is a logic programming language. The ISO Prolog standard: ISO/IEC 13211-1, published in 1995, aims to standardise the existing practices of the many implementations of Prolog. It has clarified aspects of the language that were previously ambiguous.

Validation
The following tables compare the compliance of Prolog implementations with the ISO standard ISO/IEC 13211. The results were obtained by Péter Szabó and Péter Szeredi.

Prolog versions

 * SICStus 3.12.3 (running in ISO mode)
 * SWI-Prolog 5.4.7 (running in ISO mode, garbage collection off).
 * Yap 5.0.1 (ISO mode disabled)
 * gprolog 1.2.16
 * Ciao-prolog 1.10p6
 * aprolog 1.22