CPSC322 - Assignment 8 - 1999 -- Solution

Go up to Question 4

Solution

eval(UD,V,E) <-
   (UD=Exp <= B) &
   arprove(B,E,_) &
   eval(Exp,V,E).