Uses of Package
ubc.cs.JLog.Foundation

Packages that use ubc.cs.JLog.Foundation

ubc.cs.JLog.Builtins
ubc.cs.JLog.Builtins.Goals
ubc.cs.JLog.Foundation
ubc.cs.JLog.Parser
ubc.cs.JLog.Terms
ubc.cs.JLog.Terms.Goals

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

iGoalStack
iGoalStack is the goal stack interface.

iType
This abstract interface defines all the prolog types.

iUnifiable
This is the interface for terms that support symbolic unification.

jGoal
This abstract class specifies the behaviour for a goal.

jKnowledgeBase
The Prolog rule definitions database.

jPrologServices
This class is the near complete environment for a Prolog environment.

jType
This abstract class defines all the prolog types.

jUnifiedVector
This class is used to register a jVariable after it is bound during unification.

jVariableVector

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

iGoalStack
iGoalStack is the goal stack interface.

jGoal
This abstract class specifies the behaviour for a goal.

jUnifiedVector
This class is used to register a jVariable after it is bound during unification.

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

iDebugGoalStack
iDebugGoalStack is the debugging goal stack interface.

iGoalStack
iGoalStack is the goal stack interface.

iPrologFileServices

iPrologServiceText
This is the interface for text.

iType
This abstract interface defines all the prolog types.

jAPIQueryThread
This class is the thread that attempts to prove a query.

jDebugProvedGoalStack.jDebugGoalItem

jDebugProver

jDynamicRuleDefinitions
This class represents an ordered collection of jRules of the same name and arity.

jGoal
This abstract class specifies the behaviour for a goal.

jGoalStack
jGoalStack is the default goal stack implementation.

jKnowledgeBase
The Prolog rule definitions database.

jPrologServiceBroadcaster
The boadcasting component of the Observer pattern.

jPrologServiceEvent
The base class for events sent from jPrologServiceBroadcasters to jPrologServiceListeners.

jPrologServiceListener
The abstract listening component of the Observer pattern.

jPrologServices
This class is the near complete environment for a Prolog environment.

jPrologServiceThread
This class provides an independant thread of execution for services using a jPrologService Prolog proof engine.

jProver
This class implements a prolog proving engine.

jRetryQueryThread
This abstract class specifies the methods needed for jPrologServiceThread based classes which support user queries.

jRule
This class represents a rule of the form Head :- Base, where Head is a predicate and Base is a term of predicates.

jRuleDefinitions
This class represents an ordered collection of jRules of the same name and arity.

jUnifiedVector
This class is used to register a jVariable after it is bound during unification.

jVariableVector

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

jKnowledgeBase
The Prolog rule definitions database.

jRule
This class represents a rule of the form Head :- Base, where Head is a predicate and Base is a term of predicates.

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

iGoalStack
iGoalStack is the goal stack interface.

iType
This abstract interface defines all the prolog types.

iUnifiable
This is the interface for terms that support symbolic unification.

jDynamicRuleDefinitions
This class represents an ordered collection of jRules of the same name and arity.

jEquivalenceMapping
This class is used to register jVariable mapped pairs during equivalence testing.

jGoal
This abstract class specifies the behaviour for a goal.

jKnowledgeBase
The Prolog rule definitions database.

jPrologServices
This class is the near complete environment for a Prolog environment.

jRule
This class represents a rule of the form Head :- Base, where Head is a predicate and Base is a term of predicates.

jRuleDefinitions
This class represents an ordered collection of jRules of the same name and arity.

jType
This abstract class defines all the prolog types.

jUnifiedVector
This class is used to register a jVariable after it is bound during unification.

jVariableRegistry

jVariableVector

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

iGoalStack
iGoalStack is the goal stack interface.

jDynamicRuleDefinitions
This class represents an ordered collection of jRules of the same name and arity.

jGoal
This abstract class specifies the behaviour for a goal.

jRuleDefinitions
This class represents an ordered collection of jRules of the same name and arity.

jUnifiedVector
This class is used to register a jVariable after it is bound during unification.