aos.jack.jak.logic
Classes 
ApplicableSet
BooleanVariable
ByteVariable
CharacterVariable
DoubleVariable
FailureSet
FloatVariable
IntegerVariable
LogicEnv
LongVariable
ObjectVariable
ShortVariable
Signature
SignatureList
StringVariable
Unifiable
Variable
Exceptions 
LogicException