Declarative Rules
← Back to Logic Programming
Programs are expressed as collections of facts and rules. An inference engine applies logical deduction to derive conclusions, allowing the programmer to declare what is true rather than specifying procedural steps.