[PPL-devel] ppl/interfaces/Prolog clpq2.pl schedule.clpq
Patricia Hill
hill at spartacus.cs.unipr.it
Tue Jun 18 10:44:55 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2002-06-18 10:44:55
Modified files:
interfaces/Prolog: clpq2.pl
Added files:
interfaces/Prolog: schedule.clpq
Log message:
clpq2.pl now allows Herbrand terms as arguments including lists.
schedule.clpq tests the strict inequalities in clpq2.pl
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/schedule.clpq.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.diff?cvsroot=ppl&r1=1.5&r2=1.6
More information about the PPL-devel
mailing list