MCQOPTIONS
Saved Bookmarks
| 1. |
The objective of ________ procedure is to discover at least one ________ that causes two literals to match. |
| A. | unification, validation |
| B. | unification, substitution |
| C. | substitution, unification |
| D. | minimax, maximum |
| Answer» C. substitution, unification | |