[ Dynamic 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

- clause(+, -) is nondet

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

### Fail Conditions

Fails if no dynamic clause head unifies with Head

## See Also

clause / 1