Package org.projog.core.predicate

Interface Summary

Interface	Description
Predicate	Represents a goal.
PredicateFactory	Returns specialised implementations of Predicate.
PreprocessablePredicateFactory

Class Summary

Class	Description
AbstractPredicateFactory
AbstractSingleResultPredicate	Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
PredicateKey	Represents the structure of a Term.
Predicates	Acts as a repository of rules and facts.
SucceedsNeverPredicate
SucceedsOncePredicate
UnknownPredicate	Represents all predicates that a KnowledgeBase has no definition of.

Exception Summary

Exception	Description
CutException	Exception thrown when the evaluation of a rule backtracks to a cut.