[ ECLiPSe Predicate Database built-in.|Group Index|
Full 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)).
Fail Conditions
None.
Resatisfiable
Exceptions
Examples
See Also
clause / 1