Skip to main content
Advanced Search
Search Terms
Content Type

Exact Matches
Tag Searches
Date Options
Updated after
Updated before
Created after
Created before

Search Results

4 total results found

Chapter 14: Concurrent Logic & Message Passing

Modern SWI-Prolog (2026 Edition) Second... VOLUME III: The Hybrid Engine & Web UI

The single-threaded REPL is the correct environment for reasoning about static facts. It is the wrong environment for an infrastructure daemon that must simultaneously stream auth events from four hosts, respond to config mutation requests from the operator in...

volume-iii
SWI-Prolog
worker-pool
orchestrator
mutex
message-passing
actor-model
concurrency
threads

Chapter 15: The CGO Bridge

Modern SWI-Prolog (2026 Edition) Second... VOLUME III: The Hybrid Engine & Web UI

An HTTP/REST boundary between a Go microservice and a Prolog inference engine introduces three costs that are unacceptable for microsecond-latency orchestration: TCP stack traversal, JSON serialisation and deserialisation on both sides, and the scheduling late...

SWI-Prolog
volume-iii
security
atom-table
marshaling
term_t
foreign-frames
fli
libswipl
cgo
chapter-15
compiler-hardening
ip-trie

Chapter 16: The Go-Log Concurrency Model

Modern SWI-Prolog (2026 Edition) Second... VOLUME III: The Hybrid Engine & Web UI

Chapter 15 established a single working CGO bridge: one goroutine, pinned to one OS thread, attaching one WAM engine context, executing one firewall_verdict/4 query at a time. Under the load profile of a single operator issuing manual policy checks, this is co...

SWI-Prolog
volume-iii
tabling
numa
PL_create_engine
broadcast-channels
panic-recovery
engine-pool
WAM
LockOSThread
worker-pool
concurrency
cgo
go
chapter-16

Chapter 17: Tabling (SLG Resolution)

Modern SWI-Prolog (2026 Edition) Second... VOLUME III: The Hybrid Engine & Web UI

A Proxmox cluster with redundant network bridges is not a tree. It is a graph — specifically, a graph that contains cycles by design. SDN VLAN bridges redundantly connect hypervisors. Bonded uplinks form rings. Spine-leaf topologies are deliberately cyclic. Ev...

SWI-Prolog
volume-iii
oom-protection
wasm
shared-tabling
grounding-guards
table-space
cache-invalidation
proxmox-topology
shortest-path
answer-subsumption
slg-resolution
tabling
chapter-17