| Package | Description |
|---|---|
| org.projog.api |
Provides a programming interface for Java applications to interact with Projog.
|
| org.projog.core.event |
Provides a mechanism for objects to notify and be notified of events.
|
| org.projog.core.kb | |
| org.projog.core.math | |
| org.projog.core.predicate | |
| org.projog.core.predicate.builtin.bool |
Predicates to explicitly specify when a goal succeeds of fails.
|
| org.projog.core.predicate.builtin.classify |
Predicates for classifying terms.
|
| org.projog.core.predicate.builtin.clp |
Predicates to support constraint logic programming.
|
| org.projog.core.predicate.builtin.compare |
Predicates for comparing terms, including specific predicates for comparing numeric values.
|
| org.projog.core.predicate.builtin.compound |
Predicates for the construction of compound/complex sentences.
|
| org.projog.core.predicate.builtin.construct |
Predicates for inspecting the structure of terms.
|
| org.projog.core.predicate.builtin.db |
Predicates to support working with the recorded database.
|
| org.projog.core.predicate.builtin.debug |
Predicates to aid the debugging of Prolog programs.
|
| org.projog.core.predicate.builtin.flow |
Predicates for affecting the flow of goal evaluation on backtracking.
|
| org.projog.core.predicate.builtin.io |
Predicates for system input and output with the file system.
|
| org.projog.core.predicate.builtin.kb |
Predicates for inspecting, adding and retracting clauses.
|
| org.projog.core.predicate.builtin.list |
Predicates for working with list data structures.
|
| org.projog.core.predicate.builtin.reif |
Predicates that provide reification functionality.
|
| org.projog.core.predicate.builtin.time |
Predicates to support working with dates and times.
|
| org.projog.core.predicate.udp |
Provides functionality to evaluate user defined predicates defined using Prolog syntax.
|
| Class and Description |
|---|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| PredicateKey
Represents the structure of a
Term. |
| Class and Description |
|---|
| PredicateKey
Represents the structure of a
Term. |
| Class and Description |
|---|
| PredicateKey
Represents the structure of a
Term. |
| Predicates
Acts as a repository of rules and facts.
|
| Class and Description |
|---|
| PredicateKey
Represents the structure of a
Term. |
| Class and Description |
|---|
| CutException
Exception thrown when the evaluation of a rule backtracks to a cut.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| PredicateKey
Represents the structure of a
Term. |
| Predicates
Acts as a repository of rules and facts.
|
| PreprocessablePredicateFactory |
| SucceedsNeverPredicate |
| SucceedsOncePredicate |
| Class and Description |
|---|
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| PredicateKey
Represents the structure of a
Term. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| PreprocessablePredicateFactory |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| PreprocessablePredicateFactory |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractPredicateFactory |
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Predicates
Acts as a repository of rules and facts.
|
| PreprocessablePredicateFactory |
| Class and Description |
|---|
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| AbstractSingleResultPredicate
Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| Class and Description |
|---|
| Predicate
Represents a goal.
|
| PredicateFactory
Returns specialised implementations of
Predicate. |
| PredicateKey
Represents the structure of a
Term. |
| PreprocessablePredicateFactory |
| SucceedsNeverPredicate |
| SucceedsOncePredicate |
Copyright © 2024. All rights reserved.