| Copyright | (c) Evgenii Kotelnikov 2019-2021 |
|---|---|
| License | GPL-3 |
| Maintainer | evgeny.kotelnikov@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
ATP.Codec.TPTP
Description
Synopsis
- encode :: LogicalExpression -> Formula
- decode :: Formula -> Partial LogicalExpression
- encodeFormula :: Formula -> UnsortedFirstOrder
- decodeFormula :: UnsortedFirstOrder -> Partial Formula
- encodeClause :: Clause -> Clause
- decodeClause :: Clause -> Partial Clause
- encodeTheorem :: Theorem -> TPTP
- encodeClauses :: Clauses -> TPTP
- decodeSolution :: TSTP -> Partial Solution
Documentation
encode :: LogicalExpression -> Formula Source #
Encode a formula in unsorted first-order logic in TPTP.
decode :: Formula -> Partial LogicalExpression Source #
Decode a formula in unsorted first-order logic from TPTP.
encodeFormula :: Formula -> UnsortedFirstOrder Source #
Encode a formula in unsorted first-order logic in TPTP.
decodeFormula :: UnsortedFirstOrder -> Partial Formula Source #
Decode a formula in unsorted first-order logic from TPTP.
encodeClause :: Clause -> Clause Source #
Encode a clause in unsorted first-order logic in TPTP.
decodeClause :: Clause -> Partial Clause Source #
Decode a clause in unsorted first-order logic from TPTP.
encodeTheorem :: Theorem -> TPTP Source #
Encode a theorem in unsorted first-order logic in TPTP.
encodeClauses :: Clauses -> TPTP Source #
Encode a set of first-order clauses in TPTP.