Inference Engines
← Back to Declarative Rules
The runtime component of a logic programming system that applies logical deduction to derive new facts from existing rules and facts. The engine performs resolution, unification, and search to answer queries against the knowledge base.