Lesson 1 introduced the term inference, which is the deduction of new facts from old ones. In expert systems work, and logic programming generally, we distinguish two main kinds of inference.
