call_cleanup/3¶

call_cleanup(: Goal, : CleanUpGoal)*

This is similar to call_cleanup//11 but with an additional CleanUpGoal which gets called after Goal is finished.