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).