change-kb [Function]

Purpose

The change-kb function resets the current knowledge base.

Syntax

change-kb knowledgeBase &key no-checking-p

Arguments

The knowledgeBase argument is a knowledge base, or a symbol or string that names a knowledge base. This function operates in a package-independent manner, so it is not necessary to specify the package in which a knowledge base name resides.

If the no-checking-p argument is t, knowledgeBase is assumed to be an object and no error checking is performed.

Value

The change-kb function returns the knowledge base corresponding to \mboxknowledgeBase.

Remarks

In contrast to in-kb, which should only be called at top-level, the change-kb function can be invoked from within other functions.

Examples

(change-kb "USER-KB") ==> |K|USER-KB 
(change-kb 'bottom-kb) ==> |K|BOTTOM-KB 
(change-kb (find-kb 'user-kb) :no-checking-p t) ==> |K|USER-KB