Explanation: Occur check makes the complexity of the entire algorithm quadratic in the size of the expressions being unified. 7. How many functions are available in the unification and lifting process?
A. 1
B. 2
C. 3
D. 4
Answer:A
Explanation: Occur check makes the complexity of the entire algorithm quadratic in the size of the expressions being unified. 7. How many functions are available in the unification and lifting process?
A. 1 B. 2 C. 3 D. 4
Explanation: The four functions are available in the unification and lifting process is told, ask, store and fetch. 8. Where did all the facts are stored to implement store and fetch function?