ubc.cs.JLog.Terms
Interface iConsultable

All Known Subinterfaces:

iList, iTerm

All Known Implementing Classes:

iPredicate, jAbs, jACos, jAdd, jAfter, jAfterEqual, jAppendArray, jArg, jASin, jAssert, jAsserta, jAssertz, jATan, jATan2, jAtom, jBefore, jBeforeEqual, jBinaryBuiltinPredicate, jBitwiseConjunction, jBitwiseDisjunction, jBitwiseExclusiveDisjunction, jBitwiseLeftShift, jBitwiseNegation, jBitwiseRightShift, jBuiltinPredicate, jBuiltinRule, jCall, jCallN, jCeiling, jClause, jCommand, jCompare, jCompoundTerm, jConjunctTerm, jCons, jConvertArray, jCopyTerm, jCos, jCreateArray, jCurrentOpList, jCut, jDCG, jDynamic, jEnumerateVariablesArray, jEqual, jEquivalence, jEquivalent, jExists, jExp, jExpandTerm, jFail, jFloor, jFunctor, jGetArrayElement, jGreaterThan, jGreaterThanEqual, jIf, jInteger, jIntegerArithmetic, jIntegerDivide, jIntegerOnlyArithmetic, jIntersectArray, jIs, jIsAtom, jIsAtomic, jIsCallable, jIsCompound, jIsGround, jIsInteger, jIsList, jIsNonVariable, jIsNumber, jIsReal, jIsSimple, jIsType, jIsVariable, jKeysort, jLessThan, jLessThanEqual, jList, jListPair, jLoadLibrary, jLog, jLog10, jLog2, jLogBase, jMax, jMin, jMinus, jMod, jMultiply, jName, jNaryBuiltinPredicate, jNotEqual, jNotEquivalence, jNotEquivalent, jNotUnify, jNullList, jNumericComparison, jObject, jOp, jOperator, jOr, jOrPredicate, jPlus, jPow, jPredicate, jPredicateTerms, jQuadaryBuiltinPredicate, jRandom, jRead, jReal, jRealArithmetic, jRealDivide, jRealUnaryArithmetic, jRepeat, jRetract, jRound, jRule, jSetArrayElement, jSin, jSort, jSqrt, jSubtract, jSubtractArray, jTan, jTerm, jTermToList, jTime, jTrinaryBuiltinPredicate, jTrue, jTruncate, jUnaryArithmetic, jUnaryBuiltinPredicate, jUnaryOperator, jUnify, jUnionArray, jVariable, jWrite

public interface iConsultable

iConsultable is the interface for classes that may need to access the knowledge base before any proof attempts are made. Usually such consulting is done after the knowledge base changes, such as when a prolog source is consulted. The usual purpose of such consulting is to prefetch and cache the knowledge base entries so that a search of the knowledge base during the proof phase is not required.

Version:

%I%, %G%

Author:

Glendon Holst

Method Summary

void	consult(jKnowledgeBase kb) Consult the given jKnowledgeBase and cache any invariant values (those which would not change until the next time the jKnowledgeBase changes).
void	consultReset() Called when the jKnowledgeBase changes.
boolean	isConsultNeeded() Determine if cached values already exist and hence if consulting is required.

Method Detail

consult

void consult(jKnowledgeBase kb)

Consult the given jKnowledgeBase and cache any invariant values (those which would not change until the next time the jKnowledgeBase changes). Where possible, consultable objects should minimize computation and assume that any cached values are still accurate.

Parameters:

kb - the knowledge base which attempted proofs are based upon.

consultReset

void consultReset()

Called when the jKnowledgeBase changes. Should set all cached values to dirty so that a following call to consult would perform a full lookup as required.

isConsultNeeded

boolean isConsultNeeded()

Determine if cached values already exist and hence if consulting is required. If object does not knowimmediatly whether consulting is needed, then assuming it is required.

Returns:

false if cached values are valid, true otherwise, if consult should be called.