Chapter 9: Meta-Programming & State Management
Modern SWI-Prolog (2026 Edition) Second...
VOLUME I: The Foundations of Logic
Prolog has one data type: the term. Rules, facts, queries, and data values are all terms. A clause physical_host('pve-node-01', 'AA:BB:CC:DD:EE:01', 256) is a term with functor physical_host and arity 3. A rule can_migrate(VM, Host) :- ... is a term with funct...