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