call_stack.pl -- Call stack constraint solver |
|---|
| clpq.pl -- Extension of the constraint solver CLP(Q) |
|---|
| is_clpq_var/1 | True when Term is a clpq attributed variable. | |
| disequality.pl -- Constraint solver for disequalities |
|---|
| .=./2 | Constructive unification of a negatively constrained variable with a non- variable value will succeed if the non-variable value does not constructively unify with any element in the variable’s prohibited value list. | |
| .\=./2 | | |
| loop_term/2 | | |
| not_unify/2 | True when Term cannot unify with any of the elements in List. | |
| ∉/2 | Constraint that expresses that X is not a member of the list of ground elements in G. | |