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...