
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)).




Resatisfiable
   

Fail Conditions
      None.



See Also
   clause / 1
