logic-classes: Framework for propositional and first order logic, theorem proving
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
[Index]
- Data
- Data.Boolean
- Logic
- Classes
- Data.Logic.Classes.Apply
- Data.Logic.Classes.Arity
- Data.Logic.Classes.Atom
- Data.Logic.Classes.ClauseNormalForm
- Data.Logic.Classes.Combine
- Data.Logic.Classes.Constants
- Data.Logic.Classes.Equals
- Data.Logic.Classes.FirstOrder
- Data.Logic.Classes.Formula
- Data.Logic.Classes.Literal
- Data.Logic.Classes.Negate
- Data.Logic.Classes.Pretty
- Data.Logic.Classes.Propositional
- Data.Logic.Classes.Skolem
- Data.Logic.Classes.Term
- Data.Logic.Classes.Variable
- Data.Logic.Failing
- Harrison
- Data.Logic.Harrison.DP
- Data.Logic.Harrison.DefCNF
- Data.Logic.Harrison.Equal
- Data.Logic.Harrison.FOL
- Formulas
- Data.Logic.Harrison.Herbrand
- Data.Logic.Harrison.Lib
- Data.Logic.Harrison.Meson
- Data.Logic.Harrison.Normal
- Data.Logic.Harrison.Prolog
- Data.Logic.Harrison.Prop
- Data.Logic.Harrison.PropExamples
- Data.Logic.Harrison.Resolution
- Data.Logic.Harrison.Skolem
- Data.Logic.Harrison.Tableaux
- Data.Logic.Harrison.Unif
- Instances
- Data.Logic.KnowledgeBase
- Normal
- Data.Logic.Resolution
- Data.Logic.Satisfiable
- Tests
- Types
- Classes
Downloads
- logic-classes-1.4.7.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 |
|---|---|
| Dependencies | applicative-extras, base (>=4.3 && <5), containers, fgl, HUnit, mtl, pretty, PropLogic (>=0.9.0.3), safecopy, set-extra, syb, syb-with-class, template-haskell, text [details] |
| License | BSD-3-Clause |
| Author | David Fox <dsf@seereason.com> |
| Maintainer | SeeReason Partners <partners@seereason.com> |
| Category | Logic, Theorem Provers |
| Home page | http://src.seereason.com/logic-classes |
| Bug tracker | http://bugzilla.seereason.com/ |
| Uploaded | by DavidFox at 2013-01-07T01:52:00Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | tests |
| Downloads | 13224 total (50 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |