VOLUME III: The Hybrid Engine & Web UI
Strategic Briefing: Volume III Introduction: Scaling, Concurrency, and the Sovereign Bridge
Volume III of Modern SWI-Prolog (2026 Edition): Sovereign Infrastructure & Industrial Logic repre...
Chapter 14: Concurrent Logic & Message Passing
The single-threaded REPL is the correct environment for reasoning about static facts. It is the w...
Chapter 15: The CGO Bridge
An HTTP/REST boundary between a Go microservice and a Prolog inference engine introduces three co...
Chapter 16: The Go-Log Concurrency Model
Chapter 15 established a single working CGO bridge: one goroutine, pinned to one OS thread, attac...
Chapter 17: Tabling (SLG Resolution)
A Proxmox cluster with redundant network bridges is not a tree. It is a graph — specifically, a g...
Chapter 18: Prolog at the Edge (WASM)
Every firewall policy check executed in Chapter 15 and scaled in Chapter 16 required a round trip...
Chapter 19: Building the Orchestrator UI
The Sovereign Orchestrator UI is a Single Page Application that operates across three simultaneou...