clpq.pl -- Extension of the constraint solver CLP(Q)

This module inport the constraint solve package for CLP(Q) and extend its functionalities (among others) with: dual_clpq/2 provide the dual of a constraint store in run-time to evaluate the forall/4 predicate. pretty_print/1 used by portray_attribute/2 to print the constraints of a variable.

author

- Joaquin Arias

 trans_meta_clp(+Ciao, -ClpQ)[private]

Translate Ciao style clp(Q) constraints into an expression that can be handled by clp(Q) {Goal}.

 is_clpq_var(@Term) is semidet

True when Term is a clpq attributed variable.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 sup(Arg1, Arg2)

 dump_clpq_var(Arg1, Arg2, Arg3)

 apply_clpq_constraints(Arg1)

 dual_clpq(Arg1, Arg2)

 disequality_clpq(Arg1, Arg2)

 entails(Arg1, Arg2)

 clpqr_dump_constraints(Arg1, Arg2, Arg3)

 entail_terms(Arg1, Arg2)

 inf(Arg1, Arg2)