Package org.projog.core.predicate.udp
Provides functionality to evaluate user defined predicates defined using Prolog syntax.
-
Interface Summary Interface Description ClauseAction KeyFactories.KeyFactory UserDefinedPredicateFactory Maintains a record of the clauses that define a user defined predicate. -
Class Summary Class Description ClauseActionFactory Constructs newClauseActioninstances.ClauseActionFactory.AlwaysMatchedFact Clause where all consequent args are distinctly different variables and antecedent is true.ClauseActionFactory.ImmutableConsequentRule Clause where the consequent args are all immutable and the antecedent is not true.ClauseActionFactory.ImmutableFact Clause where the consequent args are all immutable and the antecedent is true.ClauseActionFactory.MutableFact Clause where at least one consequent arg is mutable and the antecedent is true.ClauseActionFactory.MutableRule Clause where at least one consequent arg is mutable and the antecedent is not true.ClauseActionFactory.VariableAntecedantClauseAction Clause where the antecedent is a variable.ClauseActionFactory.ZeroArgConsequentRule Clause where the consequent has no args.ClauseModel Represents a clause.Clauses DefiniteClauseGrammerConvertor Provides support for Definite Clause Grammars (DCG).DynamicUserDefinedPredicateFactory Maintains a record of the clauses that represents a "dynamic" user defined predicate.DynamicUserDefinedPredicateFactory.ClauseActionIterator DynamicUserDefinedPredicateFactory.ClauseActionMetaData Index Indexes Supports term indexing of user defined predicates.InterpretedTailRecursivePredicate A implementation ofTailRecursivePredicatefor interpreted user defined predicates.InterpretedTailRecursivePredicateFactory Creates "tail recursion optimised" versions of user defined predicates.InterpretedUserDefinedPredicate Represents a user defined predicate.KeyFactories KeyFactories.Key2 KeyFactories.Key3 KeyFactories.KeyFactory1 KeyFactories.KeyFactory2 KeyFactories.KeyFactory3 NeverSucceedsPredicateFactory PredicateUtils SingleNonRetryableRulePredicateFactory SingleRetryableRulePredicateFactory SingleRetryableRulePredicateFactory.RetryableRulePredicate StaticUserDefinedPredicateFactory Maintains a record of the clauses that represents a "static" user defined predicate.StaticUserDefinedPredicateFactory.ActionIterator StaticUserDefinedPredicateFactory.ImplicationsIterator TailRecursivePredicate A template for implementations ofPredicatethat are tail recursive.TailRecursivePredicateMetaData Defines the characteristics of a tail recursive user defined predicate.