The standard prolog predicate that always fails.
This goal always fails. It is sometimes used with cut.
(defrule nice :backward
((nice ?x) <--))
implements "everything is nice unless it is a rottweiler".
KnowledgeWorks and Prolog User Guide (Macintosh version) - 29 Feb 2008