Proof
Validate statements and derive truth with full justification.
Concept
The Proof pragmatic (often invoked via Verify that...) does more than check if a bit is set. It attempts to derive why it is set. If the fact isn't explicitly in the database, the engine runs RulePlans (forward chaining or backward chaining) to see if the fact is implied by other facts.
Syntax
Verify that John has access to the database.
Execution Logic
1. Direct Lookup: Check if (John, access, DB) exists in the relation matrix.
2. Deduction: If not found, look for rules like "If a user is admin, then the user has access...".
3. Recursion: Check if John is admin. If true, the proof succeeds.
The output is not just true/false but a Proof Trace: "Verified. Rule #42 (AdminAccess) applied to Fact #10 (John is an admin)."