1. Which procedure is used as key element in a backward chaining algorithm? a) Matching b) Unification matching c) Verification d) None of the mentioned AnswerAnswer: b [Reason:] The unification matching procedure is a key element in a backward chaining. 2. What is the way of expressing an ordinary expression in terms of bits? a)…