Package org.tweetyproject.logics.fol.parser

package org.tweetyproject.logics.fol.parser

Classes

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