Modern SWI-Prolog (2026 Edition): The Logic Bible
The Logic Engine for 2026
The Paradigm Shift: Why logic programming is more relevant today than in the "AI Winter" of the e...
Part I: The Ground Floor
Chapter 1: The Virtual Laboratory – Linux Mint & Logic 1.1 The Mint Cinnamon Choice: Why a desk...
Preface: The Architect’s Manifest in the Age of Reason
The document you hold—or more likely, the digital corpus you are navigating—is the result of a si...
Introduction: The Logic Engine for a New Era
The transition from the procedural and object-oriented dominance of the early 21st century to the...
Part I: The Ground Floor Chapter 1: The Virtual Laboratory – Linux Mint & Logic
Chapter 1: The Virtual Laboratory — Linux Mint & Logice
Overview Every serious engineering project begins with a reliable workspace. Before we write a si...
Chapter 2: Speaking Logic — The Beginner's Vocabulary
Overview There is a particular moment that almost every developer experiences when learning Prolo...
Chapter 3: The Engine Room — Unification, Backtracking, and Recursion
Overview The two previous chapters were concerned with what we write in Prolog — the syntax of fa...
Part II: The Data Architect (Expanding the World)
Chapter 4: Modern Structures — Dicts, Strings, and Go-Interop Data
Overview The knowledge bases we built in Part I were powerful for what they were, but they shared...
Chapter 5: DCGs — Parsing System Streams
Overview Every serious computing environment generates text. Log files, configuration files, syst...
Part III: The Go Connection (The High-Performance Bridge)
This is where the theoretical foundation meets industrial orchestration.
Part IV: The High-Performance Engine (Tabling & WASM in Go)
Chapter 7: Tabling — Memory-Safe Infinite Reasoning
Overview In Chapter 6, we passed --table-space=128m to the engine initialisation and moved on wit...
Chapter 8: Prolog at the Edge — The WASM Revolution
Overview Every chapter in Part III so far has been about the server side of the architecture. The...
Chapter 9: The "Go-Log" Concurrency Model
Overview The orchestrator built in Chapter 6 has a ceiling. Every call to the embedded Prolog eng...