[ Dynamic Predicates | The ECLiPSe Built-In 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 @/1).

Fail Conditions

Fails if no dynamic clause head unifies with Head

See Also

clause / 1