logic-TPTP: Import, export etc. for TPTP, a syntax for first-order logic

[ codec, library, math, theorem-provers ] [ Propose Tags ]

For information about the TPTP format, see http://www.cs.miami.edu/~tptp/.

Components:

  • Parser (parse)

  • Exporter (toTPTP)

  • Pretty-printer (pretty)

  • QuickCheck instances (generation of random formulae)

  • diff : Get a "formula" which represents the differences between two given formulae (equal subexpressions are truncated; so are the subexpressions of subexpressions whose heads already differ)

Tests passed:

  • For randomly generated formulae, parse . toTPTP == id

  • For the .p files in the TPTP (v 3.7.0.0) distribution's PROBLEMS subtree which don't contain the string "thf(", parse . toTPTP . parse == parse

Not yet implemented: The new thf formula type.

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.2.0, 0.2.0.1, 0.2.0.3, 0.2.0.4, 0.2.0.6, 0.2.0.7, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.4.0.0, 0.4.1.0, 0.4.2.0, 0.4.3.0, 0.4.4.0, 0.4.5.0, 0.4.6.0, 0.4.7.0, 0.5.0.0
Dependencies ansi-wl-pprint (<1.0), array, base (>=4 && <5), containers, haskell98, mtl (<2.3), QuickCheck (>=2), syb, utf8-prelude [details]
License LicenseRef-GPL
Author Daniel Schüssler
Maintainer Ahn, Ki Yung <kya@pdx.edu>
Revised Revision 2 made by MasahiroSakai at 2023-06-11T14:32:06Z
Category Codec, Math, Theorem Provers
Bug tracker mailto:daniels@community.haskell.org,kya@pdx.edu
Source repo head: darcs get http://patch-tag.com/r/kyagrd/logic-TPTP
Uploaded by KiYungAhn at 2010-10-13T15:19:13Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 14431 total (52 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]