Slide 1 CS 460, Session 19 1 Logical reasoning systems Theorem provers and logic programming languages Production systems Frame systems and semantic networks Description…