jp.ac.kobe_u.cs.prolog.lang
Interfaces 
Undoable
Classes 
Arithmetic
BlockPredicate
ClosureTerm
CPFStack
DoubleTerm
Failure
HashtableOfTerm
IntegerTerm
InternalDatabase
JavaObjectTerm
JavaPredicate
ListTerm
NumberTerm
OutOfLoop
OutOfScope
Predicate
PredicateEncoder
Prolog
PrologClassLoader
PrologControl
PrologMain
PushDownList
StructureTerm
Success
SymbolTerm
Term
Token
Trail
VariableTerm
Exceptions 
BuiltinException
EvaluationException
ExistenceException
IllegalDomainException
IllegalTypeException
InternalException
JavaException
PermissionException
PInstantiationException
PrologException
RepresentationException
SyntaxException
SystemException
TermException