aima.logic.fol.parsing.ast
Interfaces
FOLNode
Sentence
Classes
ConnectedSentence
Constant
Function
NotSentence
ParanthizedSentence
Predicate
QuantifiedSentence
Term
TermEquality
Variable