[PPL-devel] ppl/interfaces/Prolog clpq2.pl schedule.clpq

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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.clp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.dif...