CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-11-13 10:02:07
Modified files:
interfaces/Prolog/SICStus: clpq.pl
Log message:
Better support for debugging.
Now the `spy' command works as expected by most Prolog users.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-11-12 22:33:22
Modified files:
interfaces/Prolog/SICStus: clpq.pl
Log message:
Fixed a bug whereby original_goal_variables/1 was not retracted in some
cases. Multiple clauses for original_goal_variables/1 were causing
the use of already discarded polyhedra.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-11-12 22:31:21
Modified files:
interfaces/Prolog/SICStus: ppl_sicstus.cc
Log message:
When compiled with run-time assertions switched on, the interface
now checks that the Prolog caller is not messing around with Polyhedron's
addresses.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-11-12 17:42:03
Modified files:
interfaces/Prolog/SICStus: clpq.pl
Log message:
Use ppl_add_constraints_and_minimize/2 instead of adding one constraint
at a time and then checking for emptiness.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-11-12 16:48:13
Modified files:
interfaces/Prolog/SICStus: clpq.pl
Log message:
The meta-interpreter core has been rewritten.
Computed answer constraints are also output in a readable way
with variables named as in the original goal.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…
