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:

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