[PPL-devel] ppl/interfaces/Prolog Ciao/ciao_pl_check.pl GN ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-01-05 11:16:50

Modified files:
	interfaces/Prolog/Ciao: ciao_pl_check.pl 
	interfaces/Prolog/GNU: gnu_pl_check.pl 
	interfaces/Prolog/SICStus: sp_pl_check.pl 
	interfaces/Prolog/SWI: swi_pl_check.pl 
	interfaces/Prolog/XSB: xsb_pl_check.P 
	interfaces/Prolog/YAP: yap_pl_check.pl 
	interfaces/Prolog/tests: pl_check.pl 

Log message:
	Added to the system dependent files
	prolog_system(...).
	
	Added tests to pl_check.pl for testing large numbers.
	When prolog_system(xsb) holds, these tests are omitted.
	
	Bugs in maximize and minimize test code fixed.
	typo in exception message fixed.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_check.pl.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_pl_check.pl.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_check.pl.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_check.pl.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.18&r2=1.19