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]

Contents 1 Results 1.1 term_sx 1.2 ops 1.3 list & curly 1.4 dbl_qts 1.5 true & fail 1.6 call 1.7 cut 1.8 and & or 1.9 if_then 1.10 ifthels 1.11 catch 1.12 unify 1.13 uni_woc 1.14 not_uni 1.15 var 1.16 atom 1.17 integer 1.18 float 1.19 atomic 1.20 compound 1.21 nonvar 1.22 number 1.23 trm_cmp 1.24 functor 1.25 arg 1.26 univ 1.27 cp_term 1.28 ari_cmp 1.29 clause 1.30 cur_prd 1.31 asserta 1.32 assertz 1.33 retract 1.34 abolish 1.35 findall 1.36 bagof 1.37 setof 1.38 currinp 1.39 currout 1.40 set_in 1.41 set_out 1.42 open 1.43 close 1.44 flush_o 1.45 strprop

Results

term_sx

Prolog		term_sx:1	term_sx:2	term_sx:3	term_sx:4	term_sx:5	term_sx:6	term_sx:7	term_sx:8
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		No	No	No	No	No	No	No	No
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	No	No	No	Yes	Yes	Yes
yap		No	No	No	No	No	No	No	No

ops

Prolog		ops:1	ops:2	ops:3	ops:4	ops:5	ops:6	ops:7	ops:8	ops:9	ops:10	ops:11	ops:12	ops:13	ops:14	ops:15
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		No	No	No	No	No	No	No	No	No	No	No	No	No	No	No
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		No	No	No	No	No	No	No	No	No	No	No	No	No	Yes	Yes

list & curly

Prolog		list:1	list:2	list:3	curly:1	curly:2
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

dbl_qts

Prolog		dbl_qts:1	dbl_qts:2	dbl_qts:3	dbl_qts:4	dbl_qts:5	dbl_qts:6	dbl_qts:7	dbl_qts:8	dbl_qts:9	dbl_qts:10	dbl_qts:11	dbl_qts:12
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

true & fail

Prolog		true:1	fail:2
aprolog		Yes	Yes
ciao		Yes	Yes
gprolog		Yes	Yes
sicstus		Yes	Yes
sicstus4		Yes	Yes
swipl		Yes	Yes
yap		Yes	Yes

call

Prolog		call:1	call:2	call:3	call:4	call:5	call:6	call:7	call:8	call:9	call:10	call:11	call:12	call:13	call:14	call:15
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

cut

Prolog		cut:1	cut:2	cut:3	cut:4	cut:5	cut:6	cut:7	cut:8	cut:9	cut:10	cut:11	cut:12
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

and & or

Prolog		and:1	and:2	and:3	or:1	or:2	or:3	or:4	or:5
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

if_then

Prolog		if_then:1	if_then:2	if_then:3	if_then:4	if_then:5	if_then:6
aprolog		Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes

ifthels

Prolog		ifthels:1	ifthels:2	ifthels:3	ifthels:4	ifthels:5	ifthels:6	ifthels:7	ifthels:8	ifthels:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

catch

Prolog		catch:1	catch:2	catch:3	catch:4	catch:5	catch:6	catch:7	catch:8
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

unify

Prolog		unify:1	unify:2	unify:3	unify:4	unify:5	unify:6	unify:7	unify:8	unify:9	unify:10	unify:11	unify:12	unify:13	unify:14	unify:15	unify:16
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

uni_woc

Prolog		uni_woc:1	uni_woc:2	uni_woc:3	uni_woc:4	uni_woc:5	uni_woc:6	uni_woc:7	uni_woc:8	uni_woc:9	uni_woc:10	uni_woc:11	uni_woc:12	uni_woc:13	uni_woc:14	uni_woc:15	uni_woc:16
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

not_uni

Prolog		not_uni:1	not_uni:2	not_uni:3	not_uni:4	not_uni:5	not_uni:6	not_uni:7	not_uni:8	not_uni:9	not_uni:10	not_uni:11	not_uni:12	not_uni:13	not_uni:14	not_uni:15
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

var

Prolog		var:1	var:2	var:3	var:4
aprolog		Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes

atom

Prolog		atom:1	atom:2	atom:3	atom:4	atom:5	atom:6	atom:7
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes

integer

Prolog		integer:1	integer:2	integer:3	integer:4	integer:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

float

Prolog		float:1	float:2	float:3	float:4	float:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

atomic

Prolog		atomic:1	atomic:2	atomic:3	atomic:4	atomic:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

compound

Prolog		compound:1	compound:2	compound:3	compound:4	compound:5	compound:6	compound:7	compound:8
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

nonvar

Prolog		nonvar:1	nonvar:2	nonvar:3	nonvar:4	nonvar:5	nonvar:6
aprolog		Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes

number

Prolog		number:1	number:2	number:3	number:4	number:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

trm_cmp

Prolog		trm_cmp:1	trm_cmp:2	trm_cmp:3	trm_cmp:4	trm_cmp:5	trm_cmp:6	trm_cmp:7	trm_cmp:8	trm_cmp:9	trm_cmp:10
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		trm_cmp:11	trm_cmp:12	trm_cmp:13	trm_cmp:14	trm_cmp:15	trm_cmp:16	trm_cmp:17	trm_cmp:18	trm_cmp:19
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

functor

Prolog		functor:1	functor:2	functor:3	functor:4	functor:5	functor:6	functor:7	functor:8	functor:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		functor:10	functor:11	functor:12	functor:13	functor:14	functor:15	functor:16	functor:17	functor:18
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

arg

Prolog		arg:1	arg:2	arg:3	arg:4	arg:5	arg:6	arg:7	arg:8	arg:9	arg:10	arg:11	arg:12	arg:13	arg:14	arg:15	arg:16
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

univ

Prolog		univ:1	univ:2	univ:3	univ:4	univ:5	univ:6	univ:7	univ:8	univ:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		univ:10	univ:11	univ:12	univ:13	univ:14	univ:15	univ:16	univ:17	univ:18
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

cp_term

Prolog		cp_term:1	cp_term:2	cp_term:3	cp_term:4	cp_term:5	cp_term:6	cp_term:7	cp_term:8	cp_term:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

ari_cmp

Prolog		ari_cmp:1	ari_cmp:2	ari_cmp:3	ari_cmp:4	ari_cmp:5	ari_cmp:6	ari_cmp:7	ari_cmp:8	ari_cmp:9	ari_cmp:10
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		ari_cmp:11	ari_cmp:12	ari_cmp:13	ari_cmp:14	ari_cmp:15	ari_cmp:16	ari_cmp:17	ari_cmp:18	ari_cmp:19	ari_cmp:20
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		ari_cmp:1	ari_cmp:2	ari_cmp:3	ari_cmp:4
aprolog		Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes

clause

Prolog		clause:1	clause:2	clause:3	clause:4	clause:5	clause:6	clause:7	clause:8	clause:9	clause:10	clause:11	clause:12
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

cur_prd

Prolog		cur_prd:1	cur_prd:2	cur_prd:3	cur_prd:4	cur_prd:5	cur_prd:6	cur_prd:7	cur_prd:8	cur_prd:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

asserta

Prolog		asserta:1	asserta:2	asserta:3	asserta:4	asserta:5	asserta:6	asserta:7	asserta:8
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

assertz

Prolog		assertz:1	assertz:2	assertz:3	assertz:4	assertz:5	assertz:6	assertz:7
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes

retract

Prolog		retract:1	retract:2	retract:3	retract:4	retract:5	retract:6	retract:7	retract:8	retract:9	retract:10	retract:11
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

abolish

Prolog		abolish:1	abolish:2	abolish:3	abolish:4	abolish:5	abolish:6	abolish:7	abolish:8	abolish:9	abolish:10	abolish:11	abolish:12	abolish:13	abolish:14
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

findall

Prolog		findall:1	findall:2	findall:3	findall:4	findall:5	findall:6	findall:7	findall:8	findall:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

bagof

Prolog		bagof:1	bagof:2	bagof:3	bagof:4	bagof:5	bagof:6	bagof:7	bagof:8	bagof:9	bagof:10	bagof:11	bagof:12	bagof:13	bagof:14
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

setof

Prolog		setof:1	setof:2	setof:3	setof:4	setof:5	setof:6	setof:7	setof:8	setof:9	setof:10
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		setof:11	setof:12	setof:13	setof:14	setof:15	setof:16	setof:17	setof:18	setof:19	setof:20
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		setof:21	setof:22	setof:23	setof:24	setof:25	setof:26	setof:27	setof:28	setof:29
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

currinp

Prolog		currinp:1	currinp:2	currinp:3	currinp:4	currinp:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

currout

Prolog		currout:1	currout:2	currout:3	currout:4	currout:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

set_in

Prolog		set_in:1	set_in:2	set_in:3	set_in:4	set_in:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

set_out

Prolog		set_out:1	set_out:2	set_out:3	set_out:4	set_out:5
aprolog		Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes

open

Prolog		open:1	open:2	open:3	open:4	open:5	open:6	open:7	open:8	open:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

Prolog		open:10	open:11	open:12	open:13	open:14	open:15	open:16	open:17
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

close

Prolog		close:1	close:2	close:3	close:4	close:5	close:6	close:7	close:8	close:9
aprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes

flush_o

Prolog		flush_o:1	flush_o:2	flush_o:3	flush_o:4	flush_o:5	flush_o:6
aprolog		Yes	Yes	Yes	Yes	Yes	Yes
ciao		Yes	Yes	Yes	Yes	Yes	Yes
gprolog		Yes	Yes	Yes	Yes	Yes	Yes
sicstus		Yes	Yes	Yes	Yes	Yes	Yes
sicstus4		Yes	Yes	Yes	Yes	Yes	Yes
swipl		Yes	Yes	Yes	Yes	Yes	Yes
yap		Yes	Yes	Yes	Yes	Yes	Yes

strprop

Prolog		strprop:1
aprolog		Yes
ciao		Yes
gprolog		Yes
sicstus		Yes
sicstus4		Yes
swipl		Yes
yap		Yes