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