Package org.projog.core.predicate.udp
package org.projog.core.predicate.udp
Provides functionality to evaluate user defined predicates defined using Prolog syntax.
-
ClassDescriptionConstructs new
ClauseActioninstances.Clause where all consequent args are distinctly different variables and antecedent is true.Clause where the consequent args are all immutable and the antecedent is not true.Clause where the consequent args are all immutable and the antecedent is true.Clause where at least one consequent arg is mutable and the antecedent is true.Clause where at least one consequent arg is mutable and the antecedent is not true.Clause where the antecedent is a variable.Clause where the consequent has no args.Represents a clause.Provides support for Definite Clause Grammars (DCG).Maintains a record of the clauses that represents a "dynamic" user defined predicate.Supports term indexing of user defined predicates.A implementation ofTailRecursivePredicatefor interpreted user defined predicates.Creates "tail recursion optimised" versions of user defined predicates.Represents a user defined predicate.Maintains a record of the clauses that represents a "static" user defined predicate.A template for implementations ofPredicatethat are tail recursive.Defines the characteristics of a tail recursive user defined predicate.Maintains a record of the clauses that define a user defined predicate.