Did you know ... Search Documentation:
Grammar rule attribute_goals//1
 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.