# 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.

Versions [faq] | 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 Sun Sep 18 15:08:04 UTC 2016 |

Distributions | NixOS:1.7.1 |

Downloads | 7162 total (172 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2016-11-20 [all 3 reports] |

## Modules

*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

- Data.Boolean

## Flags

Name | Description | Default | Type |
---|---|---|---|

local-atp-haskell | Disabled | Manual |

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

## Downloads

- logic-classes-1.7.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)