Documentation Prolog Predicate Reference builtin clause/2

clause/2

Check the existence of rules.

Description

clause( +head, ?callable_term )

clause(Head, Body) is true if and only if (1) the predicate of Head is public and (2) there is a term of the form H :- B in the database which unifies with Head :- Body.

Implementation