Did you know ... Search Documentation:
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

Source dump(+Target, -NewVars, -Constraints) is det
Returns in <Constraints>, the constraints that currently hold on Target where all variables in <Target> are copied to new variables in <NewVars> and the constraints are given on these new variables. In short, you can safely manipulate <NewVars> and <Constraints> without changing the constraints on <Target>.

Undocumented predicates

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

Source maximize(Arg1)
Source minimize(Arg1)
Source inf(Arg1, Arg2)
Source inf(Arg1, Arg2, Arg3, Arg4)
Source sup(Arg1, Arg2, Arg3, Arg4)
Source ordering(Arg1)
Source {}(Arg1)
Source bb_inf(Arg1, Arg2, Arg3, Arg4)
Source bb_inf(Arg1, Arg2, Arg3)
Source entailed(Arg1)
Source clp_type(Arg1, Arg2)
Source sup(Arg1, Arg2)