ai.krr.fol

Interfaces  Substitution TheoremProver

Classes  Atom BinaryConnectedSentence Clause ConnectedSentence Constant FunctionTerm HerbrandGenerator HerbrandGenerator.HerbrandUniverse Instantiation Interpretation KifKnowledgeBaseAdaptor KifSentenceAdaptor KifSentenceAdaptor.VariableStack KnowledgeBase Literal NegatedSentence QuantifiedSentence Sentence Term TruthValue Variable VariableRenaming XfolSentenceAdaptor

Enums  ConnectedSentence.Connective QuantifiedSentence.Quantifier