YAP 7.1.0

clause(+ H, B) More...

Detailed Description

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

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