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