Which is omitted in prolog unification algorithm?
A. Variable check
B. Occur check
C. Proposition check
D. Both b & c
Answer:A
Which is omitted in prolog unification algorithm?
A. Variable check B. Occur check C. Proposition check D. Both b & c
Explanation:Occur check is omitted in prolog unification algorithm because of unsound inferences.