Chapter 3: The Static Knowledge Base
Modern SWI-Prolog (2026 Edition) Second...
VOLUME I: The Foundations of Logic
Every inference engine requires a foundation of facts it treats as unconditionally true. In Prolog, this foundation is the Knowledge Base (KB): the complete set of facts and rules loaded into the WAM at any given moment. The correctness of every derivation the...
