Call cleanup/2

From Prologstandard

• functionality is useful
• cannot be implemented in Prolog
• semantics need clarification

Options:

• add to standard
• don't add to standard

Meaning:

• call_cleanup(+callable_term, @callable_term)