
clause(+Head, -Body)

   Succeeds if Head :- Body  is an existing dynamic clause.



Arguments
   Head                Atom or compound term.
   Body                Atom, variable or compound term.

Type
   Dynamic Predicates

Description
   Identical to clause((Head :- Body)).




Modes and Determinism
   clause(+, -) is nondet

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
