CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...