% -*-Prolog-*- %% equality axiomm 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).