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)
  ?-