• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for logic-classes-1.4.3 source tarball

logic-classes-1.4.3/

• COPYING
• Setup.hs
• logic-classes.cabal
• Data/
  • Logic/
    • KnowledgeBase.hs
    • Resolution.hs
    • Satisfiable.hs
    • Classes/
      • Apply.hs
      • Arity.hs
      • Atom.hs
      • ClauseNormalForm.hs
      • Combine.hs
      • Constants.hs
      • Equals.hs
      • FirstOrder.hs
      • Formula.hs
      • Literal.hs
      • Negate.hs
      • Pretty.hs
      • Propositional.hs
      • Skolem.hs
      • Term.hs
      • Variable.hs
    • Harrison/
      • DP.hs
      • DefCNF.hs
      • Equal.hs
      • FOL.hs
      • Herbrand.hs
      • Lib.hs
      • Meson.hs
      • Normal.hs
      • Prolog.hs
      • Prop.hs
      • PropExamples.hs
      • Resolution.hs
      • Skolem.hs
      • Tableaux.hs
      • Unif.hs
      • Formulas/
        • FirstOrder.hs
        • Propositional.hs
    • Instances/
      • Chiou.hs
      • PropLogic.hs
      • SatSolver.hs
    • Normal/
      • Clause.hs
      • Implicative.hs
    • Tests/
      • Chiou0.hs
      • Common.hs
      • Data.hs
      • HUnit.hs
      • Logic.hs
      • Main.hs
      • TPTP.hs
      • Harrison/
        • Common.hs
        • Equal.hs
        • FOL.hs
        • Main.hs
        • Meson.hs
        • Prop.hs
        • Resolution.hs
        • Skolem.hs
        • Unif.hs
    • Types/
      • Common.hs
      • FirstOrder.hs
      • FirstOrderPublic.hs
      • Propositional.hs
      • Harrison/
        • Equal.hs
        • FOL.hs
        • Prop.hs
        • Formulas/
          • FirstOrder.hs
          • Propositional.hs