The Channel: https://www.youtube.com/channel/UCFFeNyzCEQDS4KCecugmotg
- Logical Foundations of Prolog
- Logic (6 Mar 2019)
- Predicate Logic (24 Jul 2019)
- Horn Clauses (21 Oct 2019)
- Prolog Applications
- Collatz Conjecture in Prolog (12 Nov 2018)
- Knights and Knaves in Prolog (6 Jan 2019)
- Map Colouring in Prolog (29 Jan 2019)
- Sudoku in Prolog (16 Feb 2019)
- N-Queens in Prolog (14 Mar 2019)
- Bitcoinolog: Reason about Bitcoin addresses with Prolog (25 March 2019)
- Term Rewriting with Prolog (23 Aug 2019)
- School Timetabling with Prolog (2 Jan 2020)
- Web Scraping with (Scryer) Prolog (22 Jun 2020)
- Prolog Style and Technique
- Naming Prolog Predicates (23 Sep 2019)
- Reading Prolog Code (31 Jan 2020)
- Clean vs. Defaulty Representations in Prolog (10 May 2020)
- Argument Indexing in Prolog (11 Dec 2019)
- Representing Strings in Prolog (10 Feb 2020)
- Sparrows on Eagles: Delegate your work to Prolog! (22 Mar 2020)
- Prolog Language: Syntax and Semantics
- Prolog Terms (9 Jul 2019)
- Prolog Lists (16 Jul 2019)
- Prolog Operators (20 Dec 2018)
- Clauses, Rules and Facts (18 Jan 2019)
- Prolog Predicates (25 Jan 2019)
- Prolog Queries and Answers (20 Jun 2019)
- Prolog Integer Arithmetic (16 Jul 2019)
- Meta-Predicates in Prolog (11 Feb 2019)
- Prolog Conformity Testing (31 Mar 2019)
- Type tests in Prolog (3 Apr 2019)
- List differences in Prolog (12 May 2019)
- Prolog Development Environment
- Prolog development with GNU Emacs (24 Mar 2014)
- ediprolog: Emacs Does Interactive Prolog (15 Jul 2019)
- Debugging Prolog Code (22 Jul 2019)