% false/0 is a protected built-in procedure and cannot be defined by clauses.
false :- true.