Compliance

From Prologstandard

Revision as of 13:52, 30 May 2007 (edit) 139.165.200.118 (Talk) ← Previous diff		Revision as of 13:54, 30 May 2007 (edit) (undo) 139.165.200.118 (Talk) (→More recent versions of Prolog) Next diff →
Line 10:		Line 10:
	===More recent versions of Prolog===		===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)'.

---

Revision as of 13:54, 30 May 2007

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