HOMEWORK 6.


1. Implement the unification algorithm discussed on the lecture.

2. 
- Compute E\theta, where E=f(x,f(x,b,y),g(a,z)) and \theta= {x -> y, y -> g(a,z), z -> x\}.
   
- Compute \theta\sigma, where \theta={x -> f(x), y -> z, z ->  g(a,y,h(x))} and \sigma= {x -> y, z -> y,  y -> h(y), w -> a}.
    
- Compute \theta\theta, where \theta={x -> f(x), y -> z, z -> g(a,y,h(x))}.