Package | Description |
---|---|
org.projog.core.predicate | |
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.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 |
UnknownPredicate
Represents all predicates that a
KnowledgeBase has no definition of. |
Modifier and Type | Class and Description |
---|---|
class |
Is
X is Y - evaluate arithmetic expression. |
class |
PredSort
predsort(X,Y,Z) - sorts a list using the specified predicate. |
Modifier and Type | Class and Description |
---|---|
class |
BagOf
bagof(X,P,L) - find all solutions that satisfy the goal. |
class |
Conjunction
X,Y - conjunction. |
class |
Disjunction
X;Y - disjunction. |
class |
FindAll
findall(X,P,L) - find all solutions that satisfy the goal. |
class |
IfThen
X->Y - if X succeeds then Y is evaluated. |
class |
Limit
limit(N, X) - calls the goal represented by a term a maximum number of times. |
class |
Not
\+ X - "not". |
class |
Once
once(X) - calls the goal represented by a term. |
class |
SetOf
setof(X,P,L) - find all solutions that satisfy the goal. |
Modifier and Type | Class and Description |
---|---|
class |
Fold
foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term. |
class |
MapList
maplist(X,Y) / maplist(X,Y,Z) - determines if a goal succeeds against elements of a list. |
class |
MemberCheck
memberchk(E, L) - checks is a term is a member of a list. |
class |
SubList
include(X,Y,Z) - filters a list by a goal. |
Modifier and Type | Class and Description |
---|---|
class |
StaticUserDefinedPredicateFactory
Maintains a record of the clauses that represents a "static" user defined predicate.
|
Copyright © 2024. All rights reserved.