Copyright | (c) Evgenii Kotelnikov 2019-2021 |
---|---|

License | GPL-3 |

Maintainer | evgeny.kotelnikov@gmail.com |

Stability | experimental |

Safe Haskell | None |

Language | Haskell2010 |

## 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.