Package org.projog.core.kb

Class KnowledgeBase

java.lang.Object

org.projog.core.kb.KnowledgeBase

public final class KnowledgeBase
extends java.lang.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 PredicateKey	ADD_PREDICATE_KEY	Represents the pj_add_predicate/2 predicate hard-coded in every KnowledgeBase.
private ArithmeticOperators	arithmeticOperators
private FileHandles	fileHandles
private Operands	operands
private Predicates	predicates
private ProjogListeners	projogListeners
private ProjogProperties	projogProperties
private SpyPoints	spyPoints
private 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 java.lang.Object

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

Field Detail

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 Detail

KnowledgeBase

KnowledgeBase(ProjogProperties projogProperties)

See Also:

KnowledgeBaseUtils.createKnowledgeBase(), KnowledgeBaseUtils.createKnowledgeBase(ProjogProperties)

Method Detail

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()