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:B
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