Compliance

From Prologstandard

The compliance of prolog implementations with the ISO standard. Validation tools:

1. Péter Szabó and Péter Szeredi.
   • paper published in ICLP 2006.
   • validation suite: [1]
2. Jonathan Hodgson
   • validation suite (tar.gz): [2]

[edit] Bugs

[edit] Reproducing the results of ICLP'06

[edit] More recent versions of Prolog

Yap cvs (date?):

testing cur_prd:7

******* ISO non-conformance in group `cur_prd', test 7 ********
Goal: current_predicate(dog), Vars: []
Prescribed result: type(predicate_indicator, @dog)
Expected exception: `error(type_error(predicate_indicator, A:dog), B)', got `error(type_error(predicate_indicator, dog), C)'.

The exception generated by YAP (in this specific case) is correct. The expected exception is not. There seems to be some issue with the :/2 operator (which is not part of the core ISO Prolog standard). This problem also affects some of the SWI-Prolog compliance tests.