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

Fail Conditions

None.

Resatisfiable

See Also