19 Apr
2002
19 Apr
'02
1:45 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2002-04-19 13:45:56
Modified files: interfaces/Prolog: clpq.pl ppl_prolog.icc
Log message: The order of arguments in the revised predicates is input followed by output. The ppl_prolog.icc now has code to handle strict inequalities and closure points. clpq.pl has been updated to use the revised predicates.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i...