[PPL-devel] ppl/interfaces/Prolog SICStus/Makefile.am SICS ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at 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 at 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