Package aima.logic.fol.inference.proof

Interface Summary

Proof
ProofStep

Class Summary

AbstractProofStep
ProofFinal
ProofPrinter
ProofStepBwChGoal
ProofStepChainCancellation
ProofStepChainContrapositive
ProofStepChainDropped
ProofStepChainFromClause
ProofStepChainReduction
ProofStepClauseBinaryResolvent
ProofStepClauseClausifySentence
ProofStepClauseDemodulation
ProofStepClauseFactor
ProofStepClauseParamodulation
ProofStepFoChAlreadyAFact
ProofStepFoChAssertFact
ProofStepGoal
ProofStepPremise
ProofStepRenaming