Package | Description |
---|---|
org.projog.core.predicate | |
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.flow |
Predicates for affecting the flow of goal evaluation on backtracking.
|
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.udp |
Provides functionality to evaluate user defined predicates defined using Prolog syntax.
|
Modifier and Type | Class and Description |
---|---|
class |
SucceedsNeverPredicate |
class |
SucceedsOncePredicate |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
AbstractPredicateFactory.getPredicate() |
Predicate |
Predicates.getPredicate(Term t) |
protected Predicate |
AbstractPredicateFactory.getPredicate(Term arg) |
Predicate |
UnknownPredicate.getPredicate(Term[] args) |
Predicate |
PredicateFactory.getPredicate(Term[] args)
Returns a
Predicate to be used in the evaluation of a goal. |
Predicate |
AbstractSingleResultPredicate.getPredicate(Term[] args) |
Predicate |
AbstractPredicateFactory.getPredicate(Term[] args) |
protected Predicate |
AbstractPredicateFactory.getPredicate(Term arg1,
Term arg2) |
protected Predicate |
AbstractPredicateFactory.getPredicate(Term arg1,
Term arg2,
Term arg3) |
protected Predicate |
AbstractPredicateFactory.getPredicate(Term arg1,
Term arg2,
Term arg3,
Term arg4) |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
CharType.getPredicate(Term character,
Term type) |
Modifier and Type | Method and Description |
---|---|
Predicate |
Resolve.getPredicate(Term arg) |
Predicate |
BooleanConstraintPredicate.getPredicate(Term[] args) |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
Between.getPredicate(Term low,
Term high,
Term middle) |
Modifier and Type | Method and Description |
---|---|
Predicate |
Call.getPredicate(Term[] args) |
Predicate |
Limit.getPredicate(Term maxAttempts,
Term goal) |
protected Predicate |
IfThen.getPredicate(Term conditionTerm,
Term thenTerm) |
protected Predicate |
Disjunction.getPredicate(Term firstArg,
Term secondArg) |
protected Predicate |
Conjunction.getPredicate(Term arg1,
Term arg2) |
protected Predicate |
SetOf.getPredicate(Term template,
Term goal,
Term bag) |
protected Predicate |
BagOf.getPredicate(Term template,
Term goal,
Term bag) |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
AtomConcat.getPredicate(Term prefix,
Term suffix,
Term combined) |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
Recorded.getPredicate(Term key,
Term value) |
protected Predicate |
Recorded.getPredicate(Term key,
Term value,
Term reference) |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
RepeatInfinitely.getPredicate() |
protected Predicate |
Cut.getPredicate() |
protected Predicate |
RepeatSetAmount.getPredicate(Term arg) |
Modifier and Type | Method and Description |
---|---|
protected Predicate |
Inspect.getPredicate(Term clauseHead) |
protected Predicate |
CurrentPredicate.getPredicate(Term arg) |
protected Predicate |
Inspect.getPredicate(Term clauseHead,
Term clauseBody) |
Modifier and Type | Method and Description |
---|---|
static Predicate |
PartialApplicationUtils.getPredicate(PredicateFactory pf,
Term action,
Term... args) |
Predicate |
MapList.getPredicate(Term[] input) |
protected Predicate |
Reverse.getPredicate(Term list1,
Term list2) |
protected Predicate |
Member.getPredicate(Term element,
Term list) |
protected Predicate |
Length.getPredicate(Term list,
Term expectedLength) |
protected Predicate |
Last.getPredicate(Term list,
Term termToUnifyLastElementWith) |
Predicate |
Select.getPredicate(Term element,
Term inputList,
Term outputList) |
protected Predicate |
Nth.getPredicate(Term index,
Term list,
Term element) |
protected Predicate |
Append.getPredicate(Term prefix,
Term suffix,
Term concatenated) |
protected Predicate |
Fold.getPredicate(Term atom,
Term values,
Term start,
Term result) |
Modifier and Type | Class and Description |
---|---|
class |
InterpretedUserDefinedPredicate
Represents a user defined predicate.
|
class |
TailRecursivePredicate
A template for implementations of
Predicate that are tail recursive. |
Modifier and Type | Method and Description |
---|---|
Predicate |
StaticUserDefinedPredicateFactory.getPredicate(Term[] args) |
Predicate |
DynamicUserDefinedPredicateFactory.getPredicate(Term[] args) |
Predicate |
ClauseAction.getPredicate(Term[] input) |
static Predicate |
PredicateUtils.toPredicate(boolean result) |
Copyright © 2024. All rights reserved.