This blog will journey through learning logic programming and Prolog by working through small examples.
This is intentionally a different approach to learning about Prolog as a programming language, or learning about logic from a theoretical perspective.
The idea is that talking through examples helps to learn theoretical concepts by making them real, by seeing the mechanics of how they work, and by actively experimenting and playing ourselves.
Doing, not just reading, is underestimated as a method for learning and understanding.
The examples will be kept small and focussed, and will progressively illustrate key concepts and themes.
We also won't cover topics which fall outside the core objective of learning to think like a logic programmer - for example, we won't cover how to read or write to files.