techniques.FOL

Classes  AtomicProposition Clause ClauseList CompoundProposition Conjunction Connective ConstantTerm Disjunction Equivalence Existential FalseProposition Function Implication Literal Negation NegativeLiteral PLConverter PositiveLiteral Proposition Quantification Quantifier Sentence Substitution Symbol Term TermList TrueProposition Universal Variable