|
||||||||||
| 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 | |||||||||