In each directory there are several Prolog files and a list of videos that walk through each file. The file below has a quick introduction to using SWI-Prolog and working with a Prolog factbase.
- Prolog 0 - Getting started - Installing SWI-Prolog, facts, & queries
- Prolog 1 - Facts, rules, & variables - Rules, unification, arithmetic, & debugging with trace
- Prolog 2 - Lists & recursion - List syntax, recursive rules, & recursive list rules
- Prolog 3 - Controlling backtracking - Cut, gathering all solutions, & modifying the database
Prolog database used in the Prolog Tutorial posted on Canvas