Logical Foundations of Prolog
| Logic |  |
| Predicate Logic |  |
| Horn Clauses |  |
Prolog Syntax and Semantics
| Terms |  |
| Lists |  |
| Type Tests |  |
| Operators |  |
| Clauses, Rules and Facts |  |
| Predicates |  |
| Queries |  |
| Integer Arithmetic |  |
| Meta-Predicates |  |
| List Differences |  |
| Pairs |  |
| Conformity Testing |  |
Prolog Style and Technique
| Naming Prolog Predicates |  |
| Reading Prolog Code |  |
| Writing Prolog Code |  |
| Clean vs. Defaulty Representations |  |
| Argument Indexing |  |
| Representing Strings |  |
| Sparrows on Eagles |  |
| Reading from Files |  |
| Memory usage of Prolog programs |  |
| Meta-interpreters |  |
| Dragon Curve |  |
| Formatting Output |  |
Prolog Applications and Showcases
| Bitcoinolog: Reasoning about Bitcoin Adresses with Prolog |  |
| Collatz Conjecture |  |
| Knights and Knaves |  |
| Map Colouring |  |
| Sudoku |  |
| N-Queens |  |
| Term Rewriting |  |
| School Timetabling |  |
| Web Scraping |  |
| Social Golfer Problem |  |
| Photo Gallery |  |
| Cryptography |  |
Prolog Development Environment
| Configuring Emacs for Prolog Development |  |
| ediprolog: Emacs Does Interactive Prolog |  |
| Debugging Prolog Code |  |
The Discipline of Prolog
| A Tour of Prolog |  |
| Preparing Prolog |  |
| Applying the Koch method to Prolog |  |
| Pondering Prolog |  |
| Prolog Antipatterns |  |