CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2002-06-25 11:08:40

Modified files: interfaces/Prolog: clpq2.pl

Log message: Improved version of clpq2.pl: - Code formatting corrected; - Unused predicate definitions removed; - Predicates renamed to match functionality; - Much more efficient as it projects unwanted dimensions away; - Allows input variables to bind to Herbrand terms; - Allows integer expressions as input (eg fib(2, X+1)).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.dif...