% -*-Prolog-*- :- use_module(library(logicmoo_user)). %% equality axiom equal(A,B) ==> equal(B,A). equal(A,B),{\+A=B},equal(B,C),{\+A=C} ==> equal(A,C). notequal(A,B) ==> notequal(B,A). notequal(A,B),equal(A,C) ==> notequal(C,B).