Monadoc
The latest version of logic-TPTP is 0.6.0.0-0.

logic-TPTP

Version 0.2.0.7 revision 2 uploaded by MasahiroSakai.

Package meta

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

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.

Author
Daniel Schüssler
Bug reports
mailto:daniels@community.haskell.org,kya@pdx.edu
Category
Codec,Math,Theorem Provers
Copyright
n/a
Homepage
n/a
Maintainer
Ahn, Ki Yung <kya@pdx.edu>
Package URL
n/a
Stability
n/a

Components