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.TPTPWriter Prints single first-order logic formulas and full knowledge bases to TPTP format.