|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 jRule s
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 jPrologServiceBroadcaster s
to jPrologServiceListener s. |
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 jRule s
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 |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |