Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package ai.krr

Interface Summary
Symbol This class implements the foundations for symbolic programming in Java.
 

Class Summary
AnonymousSymbol This class implements part of the foundations for symbolic programming in Java.
BooleanSymbol This class implements part of the foundations for symbolic programming in Java.
CharacterSymbol This class implements part of the foundations for symbolic programming in Java.
IntegerSymbol This class implements part of the foundations for symbolic programming in Java.
KifSymbolAdaptor This class is an adaptor between the Symbol class that can be used as an internal representation for reasoning and its external form as defined by the KIF syntax described below and at http://logic.stanford.edu/kif/.
LispSymbolAdaptor This class is an adaptor between the Symbol class that can be used as an internal representation for reasoning and its external form as defined by the LISP syntax described below and in more detail in Guy L Steele's book "Common Lisp the Language".
NamedSymbol This class implements part of the foundations for symbolic programming in Java.
NameSpace This class implements a table of Symbols that belong to this NameSpace.
NumericSymbol This class implements part of the foundations for symbolic programming in Java.
RealNumberSymbol This class implements part of the foundations for symbolic programming in Java.
StringSymbol This class implements part of the foundations for symbolic programming in Java.
SyntaxAdaptableSymbol This class implements the foundations for symbolic programming in Java.
 

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES