Logical Inference and Chaining and a Brief Introduction to Prolog - Intro to Artificial Intelligence

The lecture series follows NC State's CSC 411 - Intro to AI with Dr. Adam Gaweda. This lecture continues our discuss on Logical Agents, specifically focusing on how they can take facts and rules stored in a Knowledge Base and use them to construct new information. Toward the end, I introduce Prolog, a logic-based programming language.Code Examples are only shared with NC State students.Want to work on them? Consider joining the Wolfpack at North Carolina State University ncsu.edu/about