Next: ref-mdb-exa, Previous: ref-mdb-rcd, Up: ref-mdb [Contents][Index]
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