[ 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