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