Which procedure is used as key element in a backward chaining algorithm?
Matching
Unification matching
Verification
None of the mentioned
Correct Answer: B — Unification matching
Explanation:
The unification matching procedure is a key element in a backward chaining.