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 (Windows version) - 26 Feb 2015