Slide 1Artificial Intelligence Chapter 16 Resolution in the Predicate Calculus Biointelligence Lab School of Computer Sci. & Eng. Seoul National University Slide 2 (c)…