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