Package jtp.fol.parser

Interface Summary

ClauseIterator	This is an iterator of clauses, for example, returned by a FirstOrderLogicParser.
FirstOrderLogicParser	This interface performs parsing of first-order logical text.
FirstOrderLogicTranslator	This interface represents the ability to translate a string representation of a sentence into a CNFSentence.

Class Summary

ParserBasedTranslator

This class is an implementation of FirstOrderLogicTranslator that uses an auxiliary parser to do the transformation.

Exception Summary

ParsingException