The Power of Prolog: Videos



Logical Foundations of Prolog


Logic Logic
Predicate Logic Predicate Logic
Horn Clauses Horn Clauses


Prolog Syntax and Semantics


Terms Terms
Lists Lists
Type Tests Type Tests
Operators Operators
Clauses, Rules and Facts Clauses, Rules and Facts
Predicates Predicates
Queries Queries
Integer Arithmetic Integer Arithmetic
Meta-Predicates Meta-Predicates
List Differences List Differences
Conformity Testing Conformity Testing


Prolog Style and Technique


Naming Prolog Predicates Naming Prolog Predicates
Argument Indexing Argument Indexing


Prolog Applications and Showcases


Bitcoinolog: Reasoning about Bitcoin Adresses with Prolog Bitcoinolog: Reasoning about Bitcoin Adresses with Prolog
Collatz Conjecture Collatz Conjecture
Knights and Knaves Knights and Knaves
Map Colouring Map Colouring
Sudoku Sudoku
N-Queens N-Queens
Term Rewriting Term Rewriting
School Timetabling School Timetabling


Prolog Development Environment


Configuring Emacs for Prolog Development Configuring Emacs for Prolog Development
ediprolog: Emacs Does Interactive Prolog ediprolog: Emacs Does Interactive Prolog
Debugging Prolog Code Debugging Prolog Code


These videos are all work in progress, and they may be replaced by better versions at any time. Hence, if possible, please use the links above to refer to them: They will always point to the latest versions.

More about Prolog: The Power of Prolog.