Go up to Top
Go forward to Question 2
Define eval(Exp,Val,Env) that is true if expression Exp evaluates
to Val in environment Env. [You do not need to worry about
user-defined functions for this question.]
For example, the query
ask eval(3*a+2*b+c, Val, [val(a,4),val(b,5),val(c,7)]).
should return Val=25.
The only CILog built-in predicates you may use are number and is.