logic-classes: Framework for propositional and first order logic, theorem proving

[ bsd3, library, logic, theorem-provers ] [ Propose Tags ]

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.

Modules

[Last Documentation]

  • Data
    • Data.Boolean
      • Data.Boolean.SatSolver
    • Data.Logic
      • Classes
        • Data.Logic.Classes.Atom
        • Data.Logic.Classes.ClauseNormalForm
      • Harrison
        • Formulas
          • Data.Logic.Harrison.Formulas.FirstOrder
          • Data.Logic.Harrison.Formulas.Propositional
      • Instances
        • Data.Logic.Instances.Chiou
        • Data.Logic.Instances.PropLogic
        • Data.Logic.Instances.SatSolver
        • Data.Logic.Instances.Test
      • 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

Flags

Manual Flags

NameDescriptionDefault
local-atp-haskellDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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, 1.7.1
Change log changelog
Dependencies applicative-extras, atp-haskell, base (>=4.3 && <5), containers, HUnit, mtl, parsec, pretty (>=1.1.2), PropLogic, safe, safecopy, set-extra, syb, template-haskell [details]
License BSD-3-Clause
Author David Fox <dsf@seereason.com>
Maintainer SeeReason Partners <partners@seereason.com>
Category Logic, Theorem Provers
Home page https://github.com/seereason/logic-classes
Bug tracker https://github.com/seereason/logic-classes/issues
Uploaded by DavidFox at 2016-09-18T15:08:04Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 13438 total (57 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-11-20 [all 3 reports]