Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For All Packages
Package Hierarchies:
ubc.cs.JLog.Builtins
,
ubc.cs.JLog.Builtins.Entries
,
ubc.cs.JLog.Builtins.Goals
,
ubc.cs.JLog.Foundation
,
ubc.cs.JLog.Parser
,
ubc.cs.JLog.Terms
,
ubc.cs.JLog.Terms.Entries
,
ubc.cs.JLog.Terms.Goals
Class Hierarchy
java.lang.
Object
java.util.
Dictionary
<K,V>
java.util.
Hashtable
<K,V> (implements java.lang.
Cloneable
, java.util.
Map
<K,V>, java.io.
Serializable
)
ubc.cs.JLog.Parser.
pTermToPacketHashtable
ubc.cs.JLog.Foundation.
iNameArityStub
(implements ubc.cs.JLog.Terms.
iNameArity
)
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.Foundation.
jDebugProvedGoalStack
(implements ubc.cs.JLog.Foundation.
iDebugGoalStack
)
ubc.cs.JLog.Foundation.
jDebugProvedGoalStack.jDebugGoalItem
ubc.cs.JLog.Foundation.
jEquivalenceMapping
ubc.cs.JLog.Foundation.
jGoal
(implements ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Builtins.Goals.
jAppendArrayGoal
ubc.cs.JLog.Builtins.Goals.
jAssertGoal
ubc.cs.JLog.Terms.Goals.
jBinaryBuiltinPredicateGoal
ubc.cs.JLog.Builtins.Goals.
jCallGoal
ubc.cs.JLog.Builtins.Goals.
jCallNGoal
ubc.cs.JLog.Builtins.Goals.
jTimeGoal
ubc.cs.JLog.Terms.Goals.
jClauseGoal
ubc.cs.JLog.Builtins.Goals.
jCompareGoal
ubc.cs.JLog.Builtins.Goals.
jCopyGoal
ubc.cs.JLog.Builtins.Goals.
jCurrentOpListGoal
ubc.cs.JLog.Builtins.Goals.
jCutGoal
ubc.cs.JLog.Builtins.Goals.
jEnumerateVariablesArrayGoal
ubc.cs.JLog.Builtins.Goals.
jEquivalenceGoal
ubc.cs.JLog.Builtins.Goals.
jEquivGoal
ubc.cs.JLog.Terms.Goals.
jFailGoal
ubc.cs.JLog.Builtins.Goals.
jFunctorGoal
ubc.cs.JLog.Builtins.Goals.
jGetArrayElementGoal
ubc.cs.JLog.Builtins.Goals.
jIntersectArrayGoal
ubc.cs.JLog.Builtins.Goals.
jIsGoal
ubc.cs.JLog.Builtins.Goals.
jNameGoal
ubc.cs.JLog.Terms.Goals.
jNaryBuiltinPredicateGoal
ubc.cs.JLog.Builtins.Goals.
jOperatorGoal
ubc.cs.JLog.Builtins.Goals.
jOpGoal
ubc.cs.JLog.Terms.Goals.
jOrGoal
ubc.cs.JLog.Terms.Goals.
jOrGoalWVars
ubc.cs.JLog.Terms.Goals.
jPredicateGoal
ubc.cs.JLog.Terms.Goals.
jQuadaryBuiltinPredicateGoal
ubc.cs.JLog.Builtins.Goals.
jReadGoal
ubc.cs.JLog.Builtins.Goals.
jRepeatGoal
ubc.cs.JLog.Builtins.Goals.
jRetractGoal
ubc.cs.JLog.Builtins.Goals.
jSetArrayElementGoal
ubc.cs.JLog.Builtins.Goals.
jSortGoal
ubc.cs.JLog.Builtins.Goals.
jSubtractArrayGoal
ubc.cs.JLog.Builtins.Goals.
jTermToListGoal
ubc.cs.JLog.Builtins.Goals.
jTimeGoal.jReportTimeGoal
ubc.cs.JLog.Terms.Goals.
jTrinaryBuiltinPredicateGoal
ubc.cs.JLog.Terms.Goals.
jTrueGoal
ubc.cs.JLog.Builtins.Goals.
jUnaryArithmeticGoal
ubc.cs.JLog.Terms.Goals.
jUnaryBuiltinPredicateGoal
ubc.cs.JLog.Builtins.Goals.
jUnaryOperatorGoal
ubc.cs.JLog.Builtins.Goals.
jUnionArrayGoal
ubc.cs.JLog.Foundation.
jUserGoal
ubc.cs.JLog.Builtins.Goals.
jWriteGoal
ubc.cs.JLog.Foundation.
jGoalStack
(implements ubc.cs.JLog.Foundation.
iGoalStack
)
ubc.cs.JLog.Foundation.
jDebugGoalStack
(implements ubc.cs.JLog.Foundation.
iDebugGoalStack
)
ubc.cs.JLog.Foundation.
jKnowledgeBase
ubc.cs.JLog.Terms.
jListPair.EnumerateListPair
(implements java.util.
Enumeration
<E>)
ubc.cs.JLog.Terms.
jPredefined
ubc.cs.JLog.Builtins.
jPredefinedBuiltins
ubc.cs.JLog.Terms.
jPredefinedTerms
ubc.cs.JLog.Foundation.
jPrologAPI
ubc.cs.JLog.Foundation.
jPrologAPI.KeyPairs
ubc.cs.JLog.Foundation.
jPrologFileServices
(implements ubc.cs.JLog.Foundation.
iPrologFileServices
)
ubc.cs.JLog.Foundation.
jPrologServiceBroadcaster
ubc.cs.JLog.Foundation.
jPrologServiceEvent
ubc.cs.JLog.Foundation.
jDebugFailGoalEvent
ubc.cs.JLog.Foundation.
jDebugProvedGoalsEvent
ubc.cs.JLog.Foundation.
jDebugProveGoalEvent
ubc.cs.JLog.Foundation.
jDebugProverGoalStackEvent
ubc.cs.JLog.Foundation.
jDebugProverStartedEvent
ubc.cs.JLog.Foundation.
jDebugRetryGoalEvent
ubc.cs.JLog.Foundation.
jDebugTryGoalEvent
ubc.cs.JLog.Foundation.
jThreadStoppedEvent
ubc.cs.JLog.Foundation.
jUserQueryEvent
ubc.cs.JLog.Foundation.
jPrologServiceListener
ubc.cs.JLog.Foundation.
jPrologServices
ubc.cs.JLog.Foundation.
jProver
ubc.cs.JLog.Foundation.
jDebugProver
ubc.cs.JLog.Foundation.
jRule
(implements ubc.cs.JLog.Terms.
iConsultable
, ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Terms.
jBuiltinRule
ubc.cs.JLog.Foundation.
jRuleDefinitions
(implements ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Foundation.
jDynamicRuleDefinitions
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.Builtins.
jAdd
ubc.cs.JLog.Builtins.
jAppendArray
ubc.cs.JLog.Terms.
jClause
ubc.cs.JLog.Builtins.
jCopyTerm
ubc.cs.JLog.Builtins.
jCreateArray
ubc.cs.JLog.Terms.
jDCG
ubc.cs.JLog.Builtins.
jEnumerateVariablesArray
ubc.cs.JLog.Builtins.
jEquivalence
ubc.cs.JLog.Builtins.
jNotEquivalence
ubc.cs.JLog.Builtins.
jEquivalent
ubc.cs.JLog.Builtins.
jNotEquivalent
ubc.cs.JLog.Builtins.
jExists
ubc.cs.JLog.Builtins.
jIntegerArithmetic
ubc.cs.JLog.Builtins.
jIntegerDivide
ubc.cs.JLog.Builtins.
jMod
ubc.cs.JLog.Builtins.
jIntegerOnlyArithmetic
ubc.cs.JLog.Builtins.
jBitwiseConjunction
ubc.cs.JLog.Builtins.
jBitwiseDisjunction
ubc.cs.JLog.Builtins.
jBitwiseExclusiveDisjunction
ubc.cs.JLog.Builtins.
jBitwiseLeftShift
ubc.cs.JLog.Builtins.
jBitwiseRightShift
ubc.cs.JLog.Builtins.
jIs
ubc.cs.JLog.Builtins.
jMax
ubc.cs.JLog.Builtins.
jMin
ubc.cs.JLog.Builtins.
jMultiply
ubc.cs.JLog.Builtins.
jName
ubc.cs.JLog.Builtins.
jOperator
ubc.cs.JLog.Builtins.
jAfter
ubc.cs.JLog.Builtins.
jAfterEqual
ubc.cs.JLog.Builtins.
jBefore
ubc.cs.JLog.Builtins.
jBeforeEqual
ubc.cs.JLog.Builtins.
jNumericComparison
ubc.cs.JLog.Builtins.
jEqual
ubc.cs.JLog.Builtins.
jGreaterThan
ubc.cs.JLog.Builtins.
jGreaterThanEqual
ubc.cs.JLog.Builtins.
jLessThan
ubc.cs.JLog.Builtins.
jLessThanEqual
ubc.cs.JLog.Builtins.
jNotEqual
ubc.cs.JLog.Builtins.
jRealArithmetic
ubc.cs.JLog.Builtins.
jATan2
ubc.cs.JLog.Builtins.
jLogBase
ubc.cs.JLog.Builtins.
jPow
ubc.cs.JLog.Builtins.
jRealDivide
ubc.cs.JLog.Builtins.
jSort
ubc.cs.JLog.Builtins.
jKeysort
ubc.cs.JLog.Builtins.
jSubtract
ubc.cs.JLog.Builtins.
jTermToList
ubc.cs.JLog.Terms.
jUnify
ubc.cs.JLog.Builtins.
jNotUnify
ubc.cs.JLog.Builtins.
jCut
ubc.cs.JLog.Terms.
jFail
ubc.cs.JLog.Terms.
jNaryBuiltinPredicate
ubc.cs.JLog.Terms.
jQuadaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jExpandTerm
ubc.cs.JLog.Builtins.
jRepeat
ubc.cs.JLog.Terms.
jTrinaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jArg
ubc.cs.JLog.Builtins.
jCompare
ubc.cs.JLog.Builtins.
jConvertArray
ubc.cs.JLog.Builtins.
jFunctor
ubc.cs.JLog.Builtins.
jGetArrayElement
ubc.cs.JLog.Builtins.
jIntersectArray
ubc.cs.JLog.Builtins.
jOp
ubc.cs.JLog.Builtins.
jSetArrayElement
ubc.cs.JLog.Builtins.
jSubtractArray
ubc.cs.JLog.Builtins.
jUnionArray
ubc.cs.JLog.Terms.
jTrue
ubc.cs.JLog.Terms.
jUnaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jAssert
ubc.cs.JLog.Builtins.
jAsserta
ubc.cs.JLog.Builtins.
jAssertz
ubc.cs.JLog.Builtins.
jCall
ubc.cs.JLog.Builtins.
jCallN
ubc.cs.JLog.Builtins.
jCurrentOpList
ubc.cs.JLog.Builtins.
jRead
ubc.cs.JLog.Builtins.
jRetract
ubc.cs.JLog.Builtins.
jTime
ubc.cs.JLog.Builtins.
jUnaryArithmetic
(implements ubc.cs.JLog.Builtins.
iArithmetic
)
ubc.cs.JLog.Builtins.
jAbs
ubc.cs.JLog.Builtins.
jBitwiseNegation
ubc.cs.JLog.Builtins.
jIsInteger
ubc.cs.JLog.Builtins.
jIsReal
ubc.cs.JLog.Builtins.
jMinus
ubc.cs.JLog.Builtins.
jPlus
ubc.cs.JLog.Builtins.
jRandom
ubc.cs.JLog.Builtins.
jRealUnaryArithmetic
ubc.cs.JLog.Builtins.
jACos
ubc.cs.JLog.Builtins.
jASin
ubc.cs.JLog.Builtins.
jATan
ubc.cs.JLog.Builtins.
jCeiling
ubc.cs.JLog.Builtins.
jCos
ubc.cs.JLog.Builtins.
jExp
ubc.cs.JLog.Builtins.
jFloor
ubc.cs.JLog.Builtins.
jLog
ubc.cs.JLog.Builtins.
jLog10
ubc.cs.JLog.Builtins.
jLog2
ubc.cs.JLog.Builtins.
jSin
ubc.cs.JLog.Builtins.
jSqrt
ubc.cs.JLog.Builtins.
jTan
ubc.cs.JLog.Builtins.
jRound
ubc.cs.JLog.Builtins.
jTruncate
ubc.cs.JLog.Builtins.
jUnaryOperator
ubc.cs.JLog.Builtins.
jDynamic
ubc.cs.JLog.Builtins.
jIsType
ubc.cs.JLog.Builtins.
jIsAtom
ubc.cs.JLog.Builtins.
jIsAtomic
ubc.cs.JLog.Builtins.
jIsCallable
ubc.cs.JLog.Builtins.
jIsCompound
ubc.cs.JLog.Builtins.
jIsGround
ubc.cs.JLog.Builtins.
jIsList
ubc.cs.JLog.Builtins.
jIsNonVariable
ubc.cs.JLog.Builtins.
jIsNumber
ubc.cs.JLog.Builtins.
jIsSimple
ubc.cs.JLog.Builtins.
jIsVariable
ubc.cs.JLog.Builtins.
jLoadLibrary
ubc.cs.JLog.Builtins.
jWrite
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
ubc.cs.JLog.Foundation.
jUnifiedVector
ubc.cs.JLog.Foundation.
jVariableRegistry
ubc.cs.JLog.Foundation.
jVariableRegistry.jVariablePair
ubc.cs.JLog.Foundation.
jVariableVector
ubc.cs.JLog.Parser.
pOperatorEntry
ubc.cs.JLog.Terms.Entries.
pCommandOperatorEntry
ubc.cs.JLog.Terms.Entries.
pConsOperatorEntry
ubc.cs.JLog.Terms.Entries.
pDCGOperatorEntry
ubc.cs.JLog.Parser.
pGenericOperatorEntry
ubc.cs.JLog.Terms.Entries.
pIfOperatorEntry
ubc.cs.JLog.Builtins.Entries.
pIfThenOperatorEntry
ubc.cs.JLog.Builtins.Entries.
pNotOperatorEntry
ubc.cs.JLog.Terms.Entries.
pOrOperatorEntry
ubc.cs.JLog.Parser.
pPredicateOperatorEntry
ubc.cs.JLog.Parser.
pOperatorRegistry
ubc.cs.JLog.Parser.
pParseStream
ubc.cs.JLog.Parser.
pPredicateEntry
(implements ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Builtins.Entries.
pCallPredicateEntry
ubc.cs.JLog.Terms.Entries.
pDCGPredicateEntry
ubc.cs.JLog.Parser.
pGenericPredicateEntry
ubc.cs.JLog.Terms.Entries.
pOrPredicateEntry
ubc.cs.JLog.Parser.
pPredicateRegistry
ubc.cs.JLog.Parser.
pTSPreToken
ubc.cs.JLog.Parser.
pUpdateDatabaseRules
ubc.cs.JLog.Parser.
pVariableRegistry
java.lang.
Thread
(implements java.lang.
Runnable
)
ubc.cs.JLog.Foundation.
jPrologServiceThread
ubc.cs.JLog.Foundation.
jAPIConsultThread
ubc.cs.JLog.Foundation.
jConsultSourceThread
ubc.cs.JLog.Foundation.
jResetDatabaseThread
ubc.cs.JLog.Foundation.
jRetryQueryThread
ubc.cs.JLog.Foundation.
jAPIQueryThread
ubc.cs.JLog.Foundation.
jConsultAndQueryThread
ubc.cs.JLog.Foundation.
jUserQueryThread
java.lang.
Throwable
(implements java.io.
Serializable
)
java.lang.
Exception
java.lang.
RuntimeException
ubc.cs.JLog.Builtins.
ExpectedCompoundTermException
ubc.cs.JLog.Builtins.
InvalidArgArgumentException
ubc.cs.JLog.Builtins.
InvalidArithmeticOperationException
ubc.cs.JLog.Builtins.
InvalidAssertException
ubc.cs.JLog.Builtins.
InvalidCalleeTypeException
ubc.cs.JLog.Terms.
InvalidClauseException
ubc.cs.JLog.Terms.
InvalidDCGFormException
ubc.cs.JLog.Builtins.
InvalidExpressionTypeException
ubc.cs.JLog.Builtins.
InvalidFunctorArgumentException
ubc.cs.JLog.Foundation.
InvalidInputException
ubc.cs.JLog.Builtins.
InvalidKeysortKeyValueException
ubc.cs.JLog.Foundation.
InvalidLibraryEntryException
ubc.cs.JLog.Builtins.
InvalidNameArgumentException
ubc.cs.JLog.Builtins.
InvalidOpArgumentException
ubc.cs.JLog.Terms.
InvalidPredicateNameException
ubc.cs.JLog.Builtins.
InvalidRetractException
ubc.cs.JLog.Builtins.
InvalidSortSourceListException
ubc.cs.JLog.Builtins.
InvalidTermToListArgumentException
ubc.cs.JLog.Foundation.
LoadLibraryException
ubc.cs.JLog.Builtins.
MissingInputServicesException
ubc.cs.JLog.Foundation.
NoThreadAvailableException
ubc.cs.JLog.Terms.
PredicateExpectedException
ubc.cs.JLog.Parser.
SyntaxErrorException
ubc.cs.JLog.Parser.
TokenizeStreamException
ubc.cs.JLog.Terms.
TranslationFailureException
ubc.cs.JLog.Terms.
UnimplementedPredicateProveMethodException
ubc.cs.JLog.Terms.
UnknownPredicateException
Interface Hierarchy
ubc.cs.JLog.Builtins.
iArithmetic
ubc.cs.JLog.Foundation.
iAttributes
ubc.cs.JLog.Terms.
iConsultable
ubc.cs.JLog.Terms.
iList
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.Foundation.
iGoalStack
ubc.cs.JLog.Foundation.
iDebugGoalStack
ubc.cs.JLog.Terms.
iMakeUnmake
ubc.cs.JLog.Terms.
iName
ubc.cs.JLog.Terms.
iList
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.Foundation.
iPrologFileServices
ubc.cs.JLog.Foundation.
iPrologServiceText
ubc.cs.JLog.Terms.
iTermToObject
ubc.cs.JLog.Foundation.
iType
ubc.cs.JLog.Foundation.
iUnifiable
ubc.cs.JLog.Terms.
iList
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.
iList
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
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Copyright © 2011. All Rights Reserved.