ubc.cs.JLog.Terms
Interfaces
iConsultable
iList
iMakeUnmake
iName
iNameArity
iObjectToTerm
iTerm
iTermToObject
iValue
jDCG.iPredicateUpdate
Classes
iPredicate
jAtom
jBinaryBuiltinPredicate
jBuiltinPredicate
jBuiltinRule
jClause
jCommand
jCompoundTerm
jConjunctTerm
jCons
jDCG
jFail
jIf
jInteger
jList
jListPair
jNaryBuiltinPredicate
jNullList
jObject
jOr
jOrPredicate
jPredefined
jPredefinedTerms
jPredicate
jPredicateTerms
jQuadaryBuiltinPredicate
jReal
jTerm
jTermTranslation
jTrinaryBuiltinPredicate
jTrue
jUnaryBuiltinPredicate
jUnify
jVariable
Exceptions
InvalidClauseException
InvalidDCGFormException
InvalidPredicateNameException
PredicateExpectedException
TranslationFailureException
UnimplementedPredicateProveMethodException
UnknownPredicateException