The clauses , and are examples of definite clauses. At least in classical logic these would be equivalent to the formulae , and , respectively.