| Interface | Description |
|---|---|
| FolWriter |
Prints out single first-order logic formulas and full knowledge bases.
|
| Class | Description |
|---|---|
| Prover9Writer |
Prints single first-order logic formulas and full knowledge bases to Prover9 format
(https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/).
|
| SPASSWriter |
This class prints single first-order logic formulas and knowledge bases to
the SPASS format.
|
| TPTPWriter |
Prints single first-order logic formulas and full knowledge bases to TPTP format.
|