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.