Uses of Package
ubc.cs.JLog.Terms

Packages that use ubc.cs.JLog.Terms

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

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Builtins

iConsultable
iConsultable is the interface for classes that may need to access the knowledge base before any proof attempts are made.

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

iPredicate
This is the abstract base class for Prolog predicates.

iTerm
This is the fundamental interface for Prolog terms.

iValue
This interface defines classes that return their evaluated values as a jTerm.

jBinaryBuiltinPredicate

jBuiltinPredicate
This is the abstract base for builtin predicates.

jBuiltinRule
This class is a type stub that permits differentiating between user and builtin rules.

jCompoundTerm
This class represents a collection of terms.

jList

jListPair

jPredefined
Abstract class for creating any non-builtin predefined predicates needed by the jKnowledgeBase and registering any operator and predicate entries with their corresponding registries for use by the parser.

jPredicate
This is the base class for Prolog predicates.

jPredicateTerms
This class represents a collection of predicates.

jQuadaryBuiltinPredicate

jTerm
This is the abstract base class for Prolog terms.

jTrinaryBuiltinPredicate

jUnaryBuiltinPredicate

jUnify

jVariable
This is the class for Prolog variables.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Builtins.Entries

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

iPredicate
This is the abstract base class for Prolog predicates.

jCompoundTerm
This class represents a collection of terms.

jTerm
This is the abstract base class for Prolog terms.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Builtins.Goals

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

jCompoundTerm
This class represents a collection of terms.

jTerm
This is the abstract base class for Prolog terms.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Foundation

iConsultable
iConsultable is the interface for classes that may need to access the knowledge base before any proof attempts are made.

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

jCompoundTerm
This class represents a collection of terms.

jPredicate
This is the base class for Prolog predicates.

jPredicateTerms
This class represents a collection of predicates.

jTerm
This is the abstract base class for Prolog terms.

jTermTranslation
This class aggregates iObjectToTerm and iTermToObject converters into a single conversion class which chooses the correct converter object for the for desired conversion.

jVariable
This is the class for Prolog variables.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Parser

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

iPredicate
This is the abstract base class for Prolog predicates.

jCompoundTerm
This class represents a collection of terms.

jPredicateTerms
This class represents a collection of predicates.

jTerm
This is the abstract base class for Prolog terms.

jVariable
This is the class for Prolog variables.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Terms

iConsultable
iConsultable is the interface for classes that may need to access the knowledge base before any proof attempts are made.

iList

iMakeUnmake
Interface for objects that are not standard prolog terms, but efficient or different representations of these terms.

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

iObjectToTerm
This is the interface for objects which take a Java object an return a corresponding jTerm.

iPredicate
This is the abstract base class for Prolog predicates.

iTerm
This is the fundamental interface for Prolog terms.

iTermToObject
This is the interface for objects which take a jTerm and return a corresponding Java object.

iValue
This interface defines classes that return their evaluated values as a jTerm.

jAtom

jBinaryBuiltinPredicate

jBuiltinPredicate
This is the abstract base for builtin predicates.

jCompoundTerm
This class represents a collection of terms.

jConjunctTerm

jDCG.dcgPredicateUpdate

jDCG.dcgUnifyPredicateUpdate

jDCG.dcgVariableGenerator

jDCG.iPredicateUpdate

jFail

jList

jListPair

jNaryBuiltinPredicate

jNullList

jOrPredicate

jPredefined
Abstract class for creating any non-builtin predefined predicates needed by the jKnowledgeBase and registering any operator and predicate entries with their corresponding registries for use by the parser.

jPredicate
This is the base class for Prolog predicates.

jPredicateTerms
This class represents a collection of predicates.

jQuadaryBuiltinPredicate

jTerm
This is the abstract base class for Prolog terms.

jTrinaryBuiltinPredicate

jTrue

jUnaryBuiltinPredicate

jUnify

jVariable
This is the class for Prolog variables.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Terms.Entries

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

iPredicate
This is the abstract base class for Prolog predicates.

jCompoundTerm
This class represents a collection of terms.

jTerm
This is the abstract base class for Prolog terms.

Classes in ubc.cs.JLog.Terms used by ubc.cs.JLog.Terms.Goals

iName
This is the base interface for classes which have a name.

iNameArity
This is the base interface for classes which have arity (such as predicates).

jBinaryBuiltinPredicate

jClause

jCompoundTerm
This class represents a collection of terms.

jNaryBuiltinPredicate

jOrPredicate

jQuadaryBuiltinPredicate

jTerm
This is the abstract base class for Prolog terms.

jTrinaryBuiltinPredicate

jUnaryBuiltinPredicate

jVariable
This is the class for Prolog variables.