

MCQOPTIONS
Saved Bookmarks
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 | |