Accessing Clauses
- Goal
- Succeeds If:
clause(
P,
Q)
- there is a clause for a dynamic predicate with head P and
body Q
clause(
P,
Q,
R)
- there is a clause for a dynamic predicate with head P,
body Q, and reference R
instance(
R,
T)
- T is an instance of the clause or term referenced by R