SWI-Prolog Did You Know We need you to to keep SWI-Prolog sustainable 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.