Overview
Package
Class
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package ubc.cs.JLog.Terms
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.Object
ubc.cs.JLog.Terms.
jDCG.dcgFork
ubc.cs.JLog.Terms.
jDCG.dcgNotFork
ubc.cs.JLog.Terms.
jDCG.dcgPredicateUpdate
(implements ubc.cs.JLog.Terms.
jDCG.iPredicateUpdate
)
ubc.cs.JLog.Terms.
jDCG.dcgTerminalPredicateUpdate
ubc.cs.JLog.Terms.
jDCG.dcgUnifyPredicateUpdate
(implements ubc.cs.JLog.Terms.
jDCG.iPredicateUpdate
)
ubc.cs.JLog.Terms.
jDCG.dcgVariableGenerator
ubc.cs.JLog.Terms.
jListPair.EnumerateListPair
(implements java.util.Enumeration<E>)
ubc.cs.JLog.Terms.
jPredefined
ubc.cs.JLog.Terms.
jPredefinedTerms
ubc.cs.JLog.Foundation.
jRule
(implements ubc.cs.JLog.Terms.
iConsultable
, ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Terms.
jBuiltinRule
ubc.cs.JLog.Terms.
jTermTranslation
(implements ubc.cs.JLog.Terms.
iObjectToTerm
, ubc.cs.JLog.Terms.
iTermToObject
)
ubc.cs.JLog.Foundation.
jType
(implements ubc.cs.JLog.Foundation.
iType
)
ubc.cs.JLog.Terms.
jTerm
(implements ubc.cs.JLog.Terms.
iTerm
)
ubc.cs.JLog.Terms.
iPredicate
(implements ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Terms.
jAtom
ubc.cs.JLog.Terms.
jBuiltinPredicate
ubc.cs.JLog.Terms.
jBinaryBuiltinPredicate
ubc.cs.JLog.Terms.
jClause
ubc.cs.JLog.Terms.
jDCG
ubc.cs.JLog.Terms.
jUnify
ubc.cs.JLog.Terms.
jFail
ubc.cs.JLog.Terms.
jNaryBuiltinPredicate
ubc.cs.JLog.Terms.
jQuadaryBuiltinPredicate
ubc.cs.JLog.Terms.
jTrinaryBuiltinPredicate
ubc.cs.JLog.Terms.
jTrue
ubc.cs.JLog.Terms.
jUnaryBuiltinPredicate
ubc.cs.JLog.Terms.
jOrPredicate
(implements ubc.cs.JLog.Terms.
iMakeUnmake
)
ubc.cs.JLog.Terms.
jPredicate
ubc.cs.JLog.Terms.
jCommand
ubc.cs.JLog.Terms.
jCompoundTerm
(implements ubc.cs.JLog.Terms.
iMakeUnmake
)
ubc.cs.JLog.Terms.
jPredicateTerms
ubc.cs.JLog.Terms.
jConjunctTerm
ubc.cs.JLog.Terms.
jCons
ubc.cs.JLog.Terms.
jIf
ubc.cs.JLog.Terms.
jOr
ubc.cs.JLog.Terms.
jInteger
ubc.cs.JLog.Terms.
jList
(implements ubc.cs.JLog.Terms.
iList
)
ubc.cs.JLog.Terms.
jListPair
ubc.cs.JLog.Terms.
jNullList
ubc.cs.JLog.Terms.
jObject
ubc.cs.JLog.Terms.
jReal
ubc.cs.JLog.Terms.
jVariable
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
java.lang.RuntimeException
ubc.cs.JLog.Terms.
InvalidClauseException
ubc.cs.JLog.Terms.
InvalidDCGFormException
ubc.cs.JLog.Terms.
InvalidPredicateNameException
ubc.cs.JLog.Terms.
PredicateExpectedException
ubc.cs.JLog.Terms.
TranslationFailureException
ubc.cs.JLog.Terms.
UnimplementedPredicateProveMethodException
ubc.cs.JLog.Terms.
UnknownPredicateException
Interface Hierarchy
ubc.cs.JLog.Terms.
iConsultable
ubc.cs.JLog.Terms.
iTerm
(also extends ubc.cs.JLog.Terms.
iName
, ubc.cs.JLog.Foundation.
iUnifiable
, ubc.cs.JLog.Terms.
iValue
)
ubc.cs.JLog.Terms.
iList
ubc.cs.JLog.Terms.
iMakeUnmake
ubc.cs.JLog.Terms.
iName
ubc.cs.JLog.Terms.
iNameArity
ubc.cs.JLog.Terms.
iTerm
(also extends ubc.cs.JLog.Terms.
iConsultable
, ubc.cs.JLog.Foundation.
iUnifiable
, ubc.cs.JLog.Terms.
iValue
)
ubc.cs.JLog.Terms.
iList
ubc.cs.JLog.Terms.
iObjectToTerm
ubc.cs.JLog.Terms.
iTermToObject
ubc.cs.JLog.Foundation.
iUnifiable
ubc.cs.JLog.Terms.
iTerm
(also extends ubc.cs.JLog.Terms.
iConsultable
, ubc.cs.JLog.Terms.
iName
, ubc.cs.JLog.Terms.
iValue
)
ubc.cs.JLog.Terms.
iList
ubc.cs.JLog.Terms.
iValue
ubc.cs.JLog.Terms.
iTerm
(also extends ubc.cs.JLog.Terms.
iConsultable
, ubc.cs.JLog.Terms.
iName
, ubc.cs.JLog.Foundation.
iUnifiable
)
ubc.cs.JLog.Terms.
iList
ubc.cs.JLog.Terms.
jDCG.iPredicateUpdate
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes