Data.Logic.KnowledgeBase
data WithId a
type ProverT inf
runProver'
runProverT'
getKB
unloadKB
askKB
theoremKB
inconsistantKB
data ProofResult
data Proof lit
validKB
tellKB
loadKB
showKB