Class KnowledgeBase

java.lang.Object

org.projog.core.kb.KnowledgeBase

public final class KnowledgeBase
extends Object

The central object that connects the various components of an instance of the "core" inference engine.

Field Summary

Fields

Modifier and Type	Field	Description
private static final PredicateKey	ADD_PREDICATE_KEY	Represents the pj_add_predicate/2 predicate hard-coded in every KnowledgeBase.
private final ArithmeticOperators	arithmeticOperators
private final FileHandles	fileHandles
private final Operands	operands
private final Predicates	predicates
private final ProjogListeners	projogListeners
private final ProjogProperties	projogProperties
private final SpyPoints	spyPoints
private final TermFormatter	termFormatter

Constructor Summary

Constructors

Constructor	Description
KnowledgeBase(ProjogProperties projogProperties)

Method Summary

Modifier and Type	Method	Description
ArithmeticOperators	getArithmeticOperators()
FileHandles	getFileHandles()
Operands	getOperands()
Predicates	getPredicates()
ProjogListeners	getProjogListeners()
ProjogProperties	getProjogProperties()
SpyPoints	getSpyPoints()
TermFormatter	getTermFormatter()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

ADD_PREDICATE_KEY

private static final PredicateKey ADD_PREDICATE_KEY

Represents the pj_add_predicate/2 predicate hard-coded in every KnowledgeBase.

The pj_add_predicate/2 predicate allows other implementations of PredicateFactory to be "plugged-in" to a KnowledgeBase at runtime using Prolog syntax.

See Also:

• AbstractSingleResultPredicate.evaluate(Term[])

projogProperties

private final ProjogProperties projogProperties

predicates

private final Predicates predicates

arithmeticOperators

private final ArithmeticOperators arithmeticOperators

projogListeners

private final ProjogListeners projogListeners

operands

private final Operands operands

termFormatter

private final TermFormatter termFormatter

spyPoints

private final SpyPoints spyPoints

fileHandles

private final FileHandles fileHandles

Constructor Details

KnowledgeBase

KnowledgeBase(ProjogProperties projogProperties)

See Also:

• KnowledgeBaseUtils.createKnowledgeBase()
• KnowledgeBaseUtils.createKnowledgeBase(ProjogProperties)

Method Details

getProjogProperties

public ProjogProperties getProjogProperties()

getPredicates

public Predicates getPredicates()

getArithmeticOperators

public ArithmeticOperators getArithmeticOperators()

getProjogListeners

public ProjogListeners getProjogListeners()

getOperands

public Operands getOperands()

getTermFormatter

public TermFormatter getTermFormatter()

getSpyPoints

public SpyPoints getSpyPoints()

getFileHandles

public FileHandles getFileHandles()