Module query 

Query interface for backward chaining

Structs

ProofStep

Single step in a proof

ProofTrace

Trace showing how a goal was proven

QueryParser

Query parser for converting strings to goals

QueryResult

Result of a query operation

QueryStats

Statistics about query execution