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

Send feedback on this subject.