Package ubc.cs.JLog.Foundation

Interface Summary

iAttributes	An inteface to represent getting and setting attribute Key-Value pairs via Hashtables.
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.
iUnifiable	This is the interface for terms that support symbolic unification.

Class Summary

iNameArityStub	This is the interface stub to support the jKnowledgeBase interfaces which require a name and arity, iNameArity in situations where a term is not available.
jAPIConsultThread	This class implements consulting of a prolog source text, throwing exceptions for encountered errors.
jAPIQueryThread	This class is the thread that attempts to prove a query.
jConsultAndQueryThread	This class implements a prolog consult, followed by a query.
jConsultSourceThread	This class implements consulting of a prolog source text.
jDebugFailGoalEvent
jDebugGoalStack	jDebugGoalStack is the default goal stack implementation.
jDebugProvedGoalsEvent
jDebugProvedGoalStack
jDebugProveGoalEvent
jDebugProver
jDebugProverGoalStackEvent
jDebugProverStartedEvent
jDebugRetryGoalEvent
jDebugTryGoalEvent
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.
jGoalStack	jGoalStack is the default goal stack implementation.
jKnowledgeBase	The Prolog rule definitions database.
jPrologAPI	This class is encapsulates the Prolog Engine into a single, simple class, suitable for programmatic access.
jPrologFileServices
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.
jResetDatabaseThread
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.
jThreadStoppedEvent
jType	This abstract class defines all the prolog types.
jUnifiedVector	This class is used to register a jVariable after it is bound during unification.
jUserGoal	Goal for getting user queries.
jUserQueryEvent
jUserQueryThread	This class is the thread that attempts to prove a user query.
jVariableRegistry
jVariableVector

Exception Summary

InvalidInputException
InvalidLibraryEntryException
LoadLibraryException
NoThreadAvailableException