ISO Prolog standard and standards compliance of Prolog implementations

This web page is work in progress.

The final version of our article, Improving the ISO Prolog standard by analysing compiance test results, by Péter Szabó and Péter Szeredi in [PDF] format.

The preliminary version of our talk, Improving the ISO Prolog standard by analysing compiance test results, by Péter Szabó and Péter Szeredi in [PDF] format. [.tex source]

Detailed test results:

• aprolog.test_results aprolog 1.22
• ciao.test_results Ciao-Prolog 1.10p6
• gprolog.test_results gprolog 1.2.16
• sicstus.test_results SICStus 3.12.3
• sicstus4.test_results SICStus 4.0.0beta1
• swipl.test_results SWI-Prolog 5.4.7
• yap.test_results YAP 5.0.1

The test framework and test cases [Git snapshot .tar.gz download]