1.

Which is omitted in prolog unification algorithm?

A. Variable check
B. Occur check
C. Proposition check
D. Both Occur & Proposition check
Answer» C. Proposition check


Discussion

No Comment Found