dump.pl

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.
attribute_goals(@V)// is det[private]: Translate attributes back into goals. This is used by copy_term/3, which also determines the toplevel printing of residual constraints.

Undocumented predicates

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