A.10.5 Status and known problems
The clpq and clpr libraries are‘orphaned’, i.e., they currently have no maintainer.
- Top-level output
The top-level output may contain variables not present in the original query:?- {X+Y>=1}. {Y=1-X+_G2160, _G2160>=0}. ?-
Nonetheless, for linear constraints this kind of answer means unconditional satisfiability.
- Dumping constraints
The first argument of dump/3 has to be a list of free variables at call-time:?- {X=1},dump([X],[Y],L). ERROR: Unhandled exception: Unknown message: instantiation_error(dump([1],[_G11],_G6),1) ?-