The logic-classes package

[Tags:bsd3, library]

Package to support Propositional and First Order Logic. It includes classes representing the different types of formulas and terms, some instances of those classes for types used in other logic libraries, and implementations of several logic algorithms, including conversion to normal form and a simple resolution-based theorem prover for any instance of FirstOrderFormula.

Properties

Versions 0.44, 0.45, 0.47, 0.48, 1.1, 1.4, 1.4.1, 1.4.2, 1.4.3, 1.4.4, 1.4.5, 1.4.6, 1.4.7, 1.4.8, 1.5, 1.5.1, 1.5.2, 1.5.3, 1.7
Dependencies applicative-extras, base (>=4.3 && <5), containers, fgl, happstack-data, HUnit, incremental-sat-solver, mtl, pretty, PropLogic, safecopy, set-extra, syb, syb-with-class, text [details]
License BSD3
Author David Fox <dsf@seereason.com>
Maintainer SeeReason Partners <partners@seereason.com>
Stability Unknown
Category Logic, Theorem Provers
Uploaded Mon Jan 9 20:22:35 UTC 2012 by DavidFox
Distributions NixOS:1.7
Downloads 2914 total (44 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-22 [all 5 reports]

Modules

  • Data
    • Logic
      • Classes
        • Data.Logic.Classes.Apply
        • Data.Logic.Classes.Arity
        • Data.Logic.Classes.ClauseNormalForm
        • Data.Logic.Classes.Combine
        • Data.Logic.Classes.Constants
        • Data.Logic.Classes.Equals
        • Data.Logic.Classes.FirstOrder
        • Data.Logic.Classes.Literal
        • Data.Logic.Classes.Negate
        • Data.Logic.Classes.Propositional
        • Data.Logic.Classes.Skolem
        • Data.Logic.Classes.Term
        • Data.Logic.Classes.Variable
      • Harrison
        • Data.Logic.Harrison.Equal
        • Data.Logic.Harrison.FOL
        • Formulas
          • Data.Logic.Harrison.Formulas.FirstOrder
          • Data.Logic.Harrison.Formulas.Propositional
        • Data.Logic.Harrison.Lib
        • Data.Logic.Harrison.Meson
        • Data.Logic.Harrison.Normal
        • Data.Logic.Harrison.Prolog
        • Data.Logic.Harrison.Prop
        • Data.Logic.Harrison.Resolution
        • Data.Logic.Harrison.Skolem
        • Data.Logic.Harrison.Tableaux
        • Data.Logic.Harrison.Unif
      • Instances
        • Data.Logic.Instances.Chiou
        • Data.Logic.Instances.PropLogic
        • Data.Logic.Instances.SatSolver
      • Data.Logic.KnowledgeBase
      • Normal
        • Data.Logic.Normal.Clause
        • Data.Logic.Normal.Implicative
      • Data.Logic.Resolution
      • Data.Logic.Satisfiable
      • Types
        • Data.Logic.Types.FirstOrder
        • Data.Logic.Types.FirstOrderPublic
        • Harrison
          • Data.Logic.Types.Harrison.Equal
          • Data.Logic.Types.Harrison.FOL
          • Formulas
            • Data.Logic.Types.Harrison.Formulas.FirstOrder
            • Data.Logic.Types.Harrison.Formulas.Propositional
          • Data.Logic.Types.Harrison.Prop
        • Data.Logic.Types.Propositional

Downloads

Maintainer's Corner

For package maintainers and hackage trustees