![]() |
YAP 7.1.0
|
clause(+ H, B) More...
clause(+ H, B)
defined in the ISO standard
A clause whose head matches H is searched for in the program Its head and body are respectively unified with H and B If the clause is a unit clause, B is unified with true
This predicate is applicable to static procedures compiled with source
active, and to all dynamic procedures