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.