Package | Description |
---|---|
org.projog.api |
Provides a programming interface for Java applications to interact with Projog.
|
org.projog.core.event |
Provides a mechanism for objects to notify and be notified of events.
|
org.projog.core.kb | |
org.projog.core.math | |
org.projog.core.parser |
Provides classes for constructing
Term objects from Prolog syntax. |
org.projog.core.predicate | |
org.projog.core.predicate.builtin.clp |
Predicates to support constraint logic programming.
|
org.projog.core.predicate.builtin.compound |
Predicates for the construction of compound/complex sentences.
|
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 | Method and Description |
---|---|
KnowledgeBase |
Projog.getKnowledgeBase()
Returns the
KnowledgeBase associated with this object. |
Constructor and Description |
---|
SpyPoints(KnowledgeBase kb) |
Modifier and Type | Method and Description |
---|---|
static KnowledgeBase |
KnowledgeBaseUtils.createKnowledgeBase()
Constructs a new
KnowledgeBase object using ProjogDefaultProperties |
static KnowledgeBase |
KnowledgeBaseUtils.createKnowledgeBase(ProjogProperties projogProperties)
Constructs a new
KnowledgeBase object using the specified ProjogProperties |
Modifier and Type | Method and Description |
---|---|
static void |
KnowledgeBaseUtils.bootstrap(KnowledgeBase kb)
Consults the
ProjogProperties.getBootstrapScript() for the KnowledgeBase . |
static List<PredicateKey> |
KnowledgeBaseUtils.getPredicateKeysByName(KnowledgeBase kb,
String predicateName)
Returns list of all user defined predicates with the specified name.
|
static KnowledgeBaseServiceLocator |
KnowledgeBaseServiceLocator.getServiceLocator(KnowledgeBase kb)
Returns the
KnowledgeBaseServiceLocator associated with the specified KnowledgeBase . |
static <T> T |
KnowledgeBaseUtils.instantiate(KnowledgeBase knowledgeBase,
String input)
Returns a new object created using reflection.
|
static boolean |
KnowledgeBaseUtils.isSingleAnswer(KnowledgeBase kb,
Term term)
Returns
true if the predicate represented by the specified Term never succeeds on re-evaluation. |
void |
KnowledgeBaseConsumer.setKnowledgeBase(KnowledgeBase knowledgeBase)
Provides a reference to a
KnowledgeBase . |
Modifier and Type | Method and Description |
---|---|
void |
AbstractArithmeticOperator.setKnowledgeBase(KnowledgeBase kb)
Provides a reference to a
KnowledgeBase . |
Constructor and Description |
---|
ArithmeticOperators(KnowledgeBase kb) |
Modifier and Type | Method and Description |
---|---|
static void |
ProjogSourceReader.parseFile(KnowledgeBase kb,
File prologSourceFile)
Populates the KnowledgeBase with clauses defined in the file.
|
static void |
ProjogSourceReader.parseReader(KnowledgeBase kb,
Reader reader)
Populates the KnowledgeBase with clauses read from the Reader.
|
static void |
ProjogSourceReader.parseResource(KnowledgeBase kb,
String prologSourceResourceName)
Populates the KnowledgeBase with clauses defined in the specified resource.
|
Modifier and Type | Method and Description |
---|---|
protected KnowledgeBase |
AbstractSingleResultPredicate.getKnowledgeBase() |
protected KnowledgeBase |
AbstractPredicateFactory.getKnowledgeBase() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractSingleResultPredicate.setKnowledgeBase(KnowledgeBase knowledgeBase) |
void |
AbstractPredicateFactory.setKnowledgeBase(KnowledgeBase knowledgeBase) |
Constructor and Description |
---|
Predicates(KnowledgeBase kb) |
UnknownPredicate(KnowledgeBase kb,
PredicateKey key) |
Modifier and Type | Method and Description |
---|---|
void |
BooleanConstraintPredicate.setKnowledgeBase(KnowledgeBase knowledgeBase) |
Constructor and Description |
---|
ExpressionFactories(KnowledgeBase kb) |
Modifier and Type | Method and Description |
---|---|
void |
Call.setKnowledgeBase(KnowledgeBase knowledgeBase) |
Constructor and Description |
---|
AddPredicateFactory(KnowledgeBase kb) |
Modifier and Type | Method and Description |
---|---|
void |
MapList.setKnowledgeBase(KnowledgeBase kb) |
Modifier and Type | Method and Description |
---|---|
static TailRecursivePredicateMetaData |
TailRecursivePredicateMetaData.create(KnowledgeBase kb,
List<ClauseModel> clauses)
Returns a new
TailRecursivePredicateMetaData representing the user defined predicate defined by the
specified clauses or null if the predicate is not tail recursive. |
Constructor and Description |
---|
DynamicUserDefinedPredicateFactory(KnowledgeBase kb,
PredicateKey predicateKey) |
InterpretedTailRecursivePredicateFactory(KnowledgeBase kb,
TailRecursivePredicateMetaData metaData) |
StaticUserDefinedPredicateFactory(KnowledgeBase kb,
PredicateKey predicateKey) |
Copyright © 2024. All rights reserved.