Package net.sf.tweety.logics.fol.parser
-
Class Summary Class Description FolParser This class implements a parser for first-order logic.TPTPParser This class implements a parser for the TPTP syntax that parses single fol formulas and knowledge bases (TPTP problem files or axiom files).