|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
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 . |
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 . |
jDCG.iPredicateUpdate |
Class Summary | |
---|---|
iPredicate | This is the abstract base class for Prolog predicates. |
jAtom | |
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. |
jClause | |
jCommand | |
jCompoundTerm | This class represents a collection of terms. |
jConjunctTerm | |
jCons | |
jDCG | |
jFail | |
jIf | |
jInteger | |
jList | |
jListPair | |
jNaryBuiltinPredicate | |
jNullList | |
jObject | This is the term used to reference Java objects. |
jOr | |
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. |
jPredefinedTerms | Registers the core 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 | |
jReal | |
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. |
jTrinaryBuiltinPredicate | |
jTrue | |
jUnaryBuiltinPredicate | |
jUnify | |
jVariable | This is the class for Prolog variables. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |