Package net.sf.tweety.logics.fol.writer

Interface Summary

Interface	Description
FolWriter	Prints out single first-order logic formulas and full knowledge bases.

Class Summary

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.
StandardFolWriter	Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.
TPTPWriter	Prints single first-order logic formulas and full knowledge bases to TPTP format.