minor change

Author: yabuz87

src/metta.pl

@@ -38,12 +38,11 @@
 '%'(A,B,R)  :- R is A mod B.
 '<'(A,B,R)  :- (A<B -> R=true ; R=false).
 '>'(A,B,R)  :- (A>B -> R=true ; R=false).
-'=='(A,B,R) :-
+'=='(A,B,true) :-
     ( A == B
     ; (number(A), number(B), A =:= B)
     ),
-    !,
-    R = true.
+    !.
 '=='(_,_,false).
 '!='(A,B,R) :- (A==B -> R=false ; R=true).
 '='(A,B,R) :-  (A=B -> R=true ; R=false).