Advanced Search
Search Results
92 total results found
Securing the default Website
We have a fairly secure default website to filter out some of the noise, for example we don't bother with http any more and anyone that is using http now really should be looking at getting a different browser. While we do drop port 80 at the edge router and t...
Refining the Proxy: Mastering Advanced Nginx Directives for High-Performance Services
As we expand our network architecture across hosts like Quince, Blackberry, and Plum, we inevitably encounter applications that demand more than a basic "pass-through" configuration. While the primary purpose of our Nginx gateway remains the consolidation of S...
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 early 2000s.Beyond the Academic: Moving from "Toy Problems" (Sudoku solvers, family trees) to "Industrial Logic" (complex configuration, legal-tech, and symbolic re...
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 singular realization that has gripped the software engineering community in the mid-2020s: the realization that the sheer velocity of generative artificial intellige...
Part I: The Ground Floor
Chapter 1: The Virtual Laboratory – Linux Mint & Logic 1.1 The Mint Cinnamon Choice: Why a desktop-ready Linux VM (Mint 23.x "2026 Edition") is superior for logic development. 1.2 Provisioning the VM: Setting up VirtualBox/VMware with the Cinnamon Deskto...
Introduction: The Logic Engine for a New Era
The transition from the procedural and object-oriented dominance of the early 21st century to the neuro-symbolic requirements of 2026 has fundamentally altered the landscape of software architecture. For decades, the industry operated under the assumption that...
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 single Prolog clause or a single Go function, we need an environment that is consistent, isolated, secure, and reproducible. This chapter is devoted entirely to that...
Chapter 2: Speaking Logic — The Beginner's Vocabulary
Overview There is a particular moment that almost every developer experiences when learning Prolog for the first time. It usually arrives somewhere in the second or third hour of study, after the syntax has started to feel slightly familiar but before the engi...
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 facts, rules, and queries, and the way those constructs combine to form a useful knowledge base. This chapter turns attention to how the engine executes what we writ...
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 a common characteristic: every entity was represented as a flat compound term with a fixed number of positional arguments. The predicate app(swi_prolog, '10.2.1',...
Chapter 5: DCGs — Parsing System Streams
Overview Every serious computing environment generates text. Log files, configuration files, system status output, network packet captures, audit trails — all of these are streams of structured text that carry meaning in their format. The challenge for any inf...
Part III: The Go Connection (The High-Performance Bridge)
This is where the theoretical foundation meets industrial orchestration.
Chapter 6: The SWI-Go Interface — Golog 2026
Overview Part II left us with a capable, self-contained Prolog system. The infrastructure knowledge base models the homelab in structured Dicts. The DCG parser ingests /var/log/auth.log and turns raw syslog text into queryable data. The security analysis pipel...