| org.mandarax.kernel |
|
| Java Source File Name | Type | Comment |
| AbstractClause.java | Class | Abstract super class providing some common functionality
for classes implementing org.mandarax.kernel.Clause. |
| AbstractPredicate.java | Class | Abstract super class for predicates. |
| AbstractPropertiesSupport.java | Class | |
| CachedClauseSet.java | Interface | Clause set with a caching mechanism. |
| Clause.java | Interface | Clauses are clauses in the prolog sense, i.e. |
| ClauseSet.java | Interface | Set of clauses. |
| ClauseSetChangeEvent.java | Class | Event fired to notify listeners that a clause set has changed. |
| ClauseSetChangeListener.java | Interface | Listener handling clause set change events. |
| ClauseSetException.java | Class | An exception indicating a problem when requesting a clause iterator, or when iterating clauses. |
| ComplexTerm.java | Interface | Complex terms are terms built from functions and subterms. |
| ConstantTerm.java | Interface | Constant terms are like individuals in formal logic. |
| Constructor.java | Interface | General interface for logical entities used to build complex
logical entities from simple entities. |
| Derivation.java | Class | Represents a logical derivation. |
| DerivationEventListener.java | Interface | A derivation event listener a couple of "hooks" to customize the derivation
process. |
| DerivationNode.java | Interface | Derivation nodes represent the application of a single clause (usually a rule) in a derivation. |
| ExtendedKnowledgeBase.java | Interface | Extended knowledge base class that offers additional functionality
to maintain the knowledge base. |
| Fact.java | Interface | Interface representing facts. |
| FeatureDescriptions.java | Class | Abstract class providing a description of features of an object. |
| Function.java | Interface | Functions are typed functions operating on a domain of objects. |
| Goal.java | Class | Goal of a derivation step. |
| InferenceEngine.java | Interface | Basic interface of an inference engine. |
| InferenceEngineFeatureDescriptions.java | Class | Feature descriptor for inference engines. |
| InferenceException.java | Class | An exception indicating a problem in the inference engine. |
| KnowledgeBase.java | Interface | Knowledge Base objects are containers managing knowledge represented
by clauses sets (this includes facts and rules). |
| KnowledgeBaseChangeEvent.java | Class | Event fired to notify listeners that a knowledge base has changed. |
| KnowledgeBaseChangeListener.java | Interface | Event fired to notify listeners that a knowledge base has changed. |
| KnowledgeBaseFeatureDescriptions.java | Class | Feature descriptor for knowledge bases. |
| KnowledgeOwner.java | Interface | Interface for object owning knowledge (represented as clause sets). |
| LObject.java | Class | Abstract superclass for various mandarax classes. |
| LogicFactory.java | Class | Abstract factory object for creating logical entities such as rules, facts and terms.
The implementing classes should never be instanciated
directly. |
| LoopCheckingAlgorithm.java | Interface | Interface for abstract loop checkers. |
| Predicate.java | Interface | Predicates, defined by name and structure.
In version 3.0 named slots have been added. |
| Prerequisite.java | Interface | Interface for prerequisites used in the bodies of rules. |
| PropertiesSupport.java | Interface | Interface that can be extended/implemented by all interfaces/classes that want
to equip their respective instances with an additional parameter facility. |
| Query.java | Interface | Interface representing queries. |
| Replacement.java | Class | Replacement of terms. |
| Result.java | Class | Represents the result of a query. |
| ResultSet.java | Interface | Represents the result set of a query. |
| Rule.java | Interface | Rules are prerequisite / conclusion associations. |
| SelectionPolicy.java | Interface | Interface for strategies defining the order of literals that is used by
the inference engine when it attempts to unify the literals with a clause. |
| SemanticsSupport.java | Interface | Interface for objects that may support semantic evaluation.
E.g., a term 'plus(2,3)' with the plus function from the mandarax integer
lib and the two constant terms wrapping the Integer instances 2 and 3
can be evaluated (performed) using the semantics of the respective java operator
or method, the evaluation will yield 5 (or more precisely, a constant
term wrapping the Integer instance 5).
In a similar manner, a fact such as 4<plus(2,3) can be evaluated, the result is
a boolean (true in this case). |
| Session.java | Interface | Object representing a session. |
| SimpleConstructor.java | Class | Abstract super class for simple predicates. |
| SimplePredicate.java | Class | Simple implementation of predicate. |
| Term.java | Interface | A term is either a variable, a name or a compound term containing a function. |
| TermContainer.java | Interface | Interface for objects managing terms such as facts and complex terms. |
| Unification.java | Class | Represents the result of a unification comprising a collection containing the substitutions and
the two unified terms with the replacements applied. |
| UnificationAlgorithm.java | Interface | Interface of a unification algorithm used to promote modularity of inference engines. |
| VariableTerm.java | Interface | Represents (typed) variables, like 'x','a person' etc. |