MCQOPTIONS
Saved Bookmarks
| 1. |
Which is omitted in prolog unification algorithm? |
| A. | variable check |
| B. | occur check |
| C. | proposition check |
| D. | both b & c |
| Answer» C. proposition check | |