Expand description
Query interface for backward chaining
Structsยง
- Proof
Step - Single step in a proof
- Proof
Trace - Trace showing how a goal was proven
- Query
Parser - Query parser for converting strings to goals
- Query
Result - Result of a query operation
- Query
Stats - Statistics about query execution