[PPL-devel] ppl/interfaces/Prolog pl_check.pl Ciao/ciao_pl ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2004-09-19 21:39:20

Modified files:
	interfaces/Prolog: pl_check.pl 
	interfaces/Prolog/Ciao: ciao_pl_check.pl 
	interfaces/Prolog/GNU: ppl_gprolog.pl 

Log message:
	Added tests for the Prolog interface predicate
	ppl_Polyhedron_dimension/2.
	Updated interface files to correct obvious bugs for this predicate.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&r1=1.94&r2=1.95
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.45&r2=1.46