Next: , Previous: , Up: ref-mdb   [Contents][Index]


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.