4.12.6 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