CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-01-01 14:25:35

Modified files: interfaces/Prolog/Ciao: ciao_pl_check.pl ppl_ciao.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc xsb_pl_check.P interfaces/Prolog/YAP: ppl_yap.cc interfaces/Prolog/tests: pl_check.pl

Log message: Added needed code for the LP_Problem predicates to the Prolog systems' code. Added tests to exercise all the LP_Problem predicates.

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/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... 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/ppl_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...