0:00 Declarative Programming
1:03 Prolog
2:27 Facts in Prolog (Live Coding)
4:40 Prolog Variables
7:44 Anonymous Variables
8:25 Rules in Prolog
10:36 Instantiation and Backtracking
12:05 Recursion in Prolog
13:38 Lists in Prolog

You can purchase the slides that I use here 🏬😉:
Link: https://www.jamesgan.net/alevelcs

Thanks for supporting, super grateful for each of you!