jtp.fol.parser
Interface FirstOrderLogicTranslator

All Superinterfaces:

Translator

All Known Implementing Classes:

AskingQueryProcessor, ParserBasedTranslator

public interface FirstOrderLogicTranslator

extends Translator

This interface represents the ability to translate a string representation of a sentence into a CNFSentence.

Method Summary

CNFSentence

translate(String text) Translates a sentence into CNF.

Methods inherited from interface jtp.Translator

translate

Method Detail

translate

public CNFSentence translate(String text)

Translates a sentence into CNF.

Parameters:

text - the string representation of a sentence.

Returns:

the sentence in CNF.