% -*-Prolog-*-

:- expects_dialect(pfc).

%% 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).