Skip to content

Commit dc33b89

Browse files
committed
equalForAnd added
1 parent 412a295 commit dc33b89

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

src/resources/Intepreter.pl

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -294,12 +294,17 @@
294294
lessThanorEqual(Val1,Val2,true) :- Val1 =< Val2.
295295
lessThanorEqual(Val1,Val2,false) :- Val1 > Val2.
296296

297+
equalForAnd(true,true,true).
298+
equalForAnd(true,false,false).
299+
equalForAnd(false,_,false).
300+
297301
eval_bool(true,Env,Env,true).
298302
eval_bool(false,Env,Env,false).
299303

304+
300305
eval_bool(t_booleanExprCond(X,and,Y),EnvIn,EnvOut,Val):- eval_bool(X,EnvIn,Env1,Val1),
301306
eval_bool(Y,Env1,EnvOut,Val2),
302-
equal(Val1,Val2,Val).
307+
equalForAnd(Val1,Val2,Val).
303308

304309
eval_bool(t_booleanExprCond(X,or,_Y),EnvIn,EnvOut,true):- eval_bool(X,EnvIn,EnvOut,true).
305310

0 commit comments

Comments
 (0)