CPSC322 - Assignment 8 - 1999 -- Solution

Go up to Question 2

Solution

update(Par,Val,Env1,Env2) is true if Env2 is the same as environment Env1 except that Par has the value Val.

update(X,Val,[val(X,OV)|Rest],[val(X,Val)|Rest]).
update(X,Val,[val(X1,V1)|Rest0],[val(X1,V1)|Rest1]) <-
   update(X,Val,Rest0,Rest1).