YAP 7.1.0
clause/3

clause(+ H, B,- R) More...

Detailed Description

clause(+ H, B,- R)

The same as clause/2 , plus R is unified with the reference to the clause in the database You can use instance/2 to access the reference's value Note that you may not use erase/1 on the reference on static procedures


The documentation for this class was generated from the following file: