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