jtp.fol.parser

Interfaces  ClauseIterator FirstOrderLogicParser FirstOrderLogicTranslator

Classes  ParserBasedTranslator

Exceptions  ParsingException