Home Lectures Prolog Applications Prolog Applications Synopsis This is an in-class live demo. We will create an AI that remembers things and makes inferences, and solve MP 6 in just 15 minutes. Previous Loop Invariants Next Macros