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/Makefile.am.diff?cvsroot=ppl&r1=1.79&r2=1.80 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_predicate_check.pl.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&r1=1.77&r2=1.78 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&r1=1.56&r2=1.57 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_predicate_check_P.m4.diff?cvsroot=ppl&r1=1.6&r2=1.7