Clauses and attributed variable hooks are identified by their reference data type. Other modules provide the creation of these objects, adding and removing these objects to and from their parent objects. This module provides trailed updates on these objects.Example:
?- assumable_ref(foo(123), X), depositz_ref(X), foo(Y).The predicates deposita_ref/1 respectively depositz_ref/1 will assume the given clause or hook for the duration of the continuation, whereas the predicate withdrawa_ref/1 respectively withdrawz_ref/1 will retire the given clause or hook for the duration of the continuation.
X = 0r139b8d9f,
Y = 123
The following assumption toolbox predicates are provided: