CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-01-18 10:50:29 Modified files: interfaces/Prolog/SICStus: Makefile.am sp_predicate_check.pl interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am ppl_interface_generator_xsb_predicate_check_P.m4 Log message: The Prolog systems SWI, SICStus and XSB all allow for the toplevel command "make predicate_check_test" to check the generated ppl_prolog.icc code for the chosen set of instantiations. Note that XSB cannot manage more than three instantiations (eg "Polyhedron@Grid@Pointset_Powerset<C_Polyhedron>") at any one time. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Make... 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/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_inte...