This module implements the assert/retract family of predicates to manipulate dynamic predicates, preserving the original source definitions.
The current instance of Clause is interpreted as a clause and is added to the current program. The predicate concerned must be dynamic. The new clause becomes the first clause for the predicate concerned. Any uninstantiated variables in Clause will be replaced by new private variables.
Like asserta/1. Ref is a unique identifier of the asserted clause.
Like asserta/1, except that the new clause becomes the last clause for the predicate concerned.
Like assertz/1. Ref is a unique identifier of the asserted clause.
Identical to assertz/1. Included for compatibility.
Identical to assertz/2. Included for compatibility.
The first clause in the program that matches Clause is erased. The predicate concerned must be dynamic.
The predicate retract/1 may be used in a non-determinate fashion, i.e., it will successively retract clauses matching the argument through backtracking. If reactivated by backtracking, invocations of the predicate whose clauses are being retracted will proceed unaffected by the retracts. This is also true for invocations of clause for the same predicate. The space occupied by a retracted clause will be recovered when instances of the clause are no longer in use.
Erase all clauses whose head matches Head, where Head must be instantiated to an atom or a compound term. The predicate concerned must be dynamic. The predicate definition is retained.
Erase all clauses of the predicate specified by the predicate spec Spec. The predicate definition itself is also erased (the predicate is deemed undefined after execution of the abolish). The predicates concerned must all be user defined.
The clause 'Head :- Body' exists in the current module. The predicate concerned must be dynamic.
There is a clause 'Head :- Body' of a dynamic multifile predicate accessible from this module.
A predicate in Module is named Spec. Module never is an engine module.
Spec is of the form F/A. The predicate named F with arity A is made dynamic in the current module at runtime (useful for predicate names generated on-the-fly). If the predicate functor name F is uninstatiated, a new, unique, predicate name is generated at runtime.
Spec is of the form F/A. The predicate named F with arity A is made data in the current module at runtime (useful for predicate names generated on-the-fly). If the predicate functor name F is uninstatiated, a new, unique, predicate name is generated at runtime.
BodyIn is a well-formed clause body. BodyOut is its counterpart with no single-variable meta-goals (i.e., with call(X) for X). Env denotes if global cuts are admissible in BodyIn (+ if they are, - if they are not).
A hook predicate which will be called when the definition of the predicate of Head is abolished.