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]

Bugs

Reproducing the results of ICLP'06

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)'.