@hackage / logic-classes

Framework for propositional and first order logic, theorem proving

Latest1.7.1

About

Metadata

  • Last updated , by DavidFox
  • License BSD-3-Clause

  • Maintained by: SeeReason Partners <partners@seereason.com>

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    local-atp-haskell (off by default)

Readme

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.