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.