Q770
Which is omitted in prolog unification algorithm?
A.
Variable check
B.
Occur check
AnswerC.
Proposition check
D.
Both Occur & Proposition check
Answer: Option B
Solution
Answer: Option B
No explanation is given for this question Let's Discuss on Board