Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
Hierarchy For All Packages
Class Hierarchy
class java.lang.Object
class com.grack.prologmachine.
Clause
class com.grack.prologmachine.
Database
class com.grack.prologmachine.
Database.ProcedureGroup
class com.grack.prologmachine.
EmptyList
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.
FloatNumber
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.
IntegerNumber
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.
MostGeneralUnifier
class com.grack.prologmachine.
Predicate
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.
PredicateSignature
class com.grack.prologmachine.
PrologMachine
class com.grack.prologmachine.
PrologMachine.BacktrackingInfo
class com.grack.prologmachine.
PrologMachine.ExecutionStack
class com.grack.prologmachine.
PrologMachine.ExecutionState
class com.grack.prologmachine.
PrologMachine.Substitution
class com.grack.prologmachine.
Term
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.
Variable
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.
Wildcard
(implements com.grack.prologmachine.
Unifiable
)
class com.grack.prologmachine.test.
TestMostGeneralUnifier
class com.grack.prologmachine.test.
TestUnifiable
class com.grack.prologmachine.test.
TestUnify
Interface Hierarchy
interface com.grack.prologmachine.
BuiltInPredicate
interface com.grack.prologmachine.
Unifiable
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES