[ Dynamic Predicates | Reference Manual | Alphabetic Index ]
clause(+Head, -Body)
Succeeds if Head :- Body is an existing dynamic clause.
- Head
- Atom or compound term.
- Body
- Atom, variable or compound term.
Description
Identical to clause((Head :- Body)).
Modes and Determinism
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Fail Conditions
Fails if no dynamic clause head unifies with Head
See Also
clause / 1