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

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 all files in the TPTP (v 5.2.0) distribution's Problems subtree which don't match the regex "^(thf|tff)(", parse . toTPTP . parse == parse

Not yet implemented: The new thf and tff formula types.

Modules

[Index] [Quick Jump]

Flags

Manual Flags

Name	Description	Default
buildtestprograms	build test programs	Disabled

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

Downloads

• logic-TPTP-0.5.1.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• DanielSchuessler, KiYungAhn, MasahiroSakai

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates