Up Next
Go up to Top
Go forward to Question 2

Question 1

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.

  • Solution

  • David Poole

    Up Next