Package org.projog.core.predicate.udp

Provides functionality to evaluate user defined predicates defined using Prolog syntax.

See: Description

Interface Summary

Interface	Description
ClauseAction
UserDefinedPredicateFactory	Maintains a record of the clauses that define a user defined predicate.

Class Summary

Class	Description
ClauseModel	Represents a clause.
DynamicUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "dynamic" user defined predicate.
InterpretedTailRecursivePredicateFactory	Creates "tail recursion optimised" versions of user defined predicates.
InterpretedUserDefinedPredicate	Represents a user defined predicate.
PredicateUtils
StaticUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "static" user defined predicate.
TailRecursivePredicate	A template for implementations of Predicate that are tail recursive.
TailRecursivePredicateMetaData	Defines the characteristics of a tail recursive user defined predicate.

Package org.projog.core.predicate.udp Description

Provides functionality to evaluate user defined predicates defined using Prolog syntax.