7 Reference Guide

The symbols documented in the following pages are all external in the KW package unless stated otherwise. They are listed in alphabetical order.

all-debug

any

assert

clear-all

clear-rules

conflict-set

context

current-cycle

cut

*cycle*

defcontext

def-kb-class

def-kb-struct

def-named-kb-class

defrule

deftactic

destroy-inferencing-state

erase

fail

findall

findallset

find-inferencing-state

fire-rule

get-kb-object

infer

*inferencing-state*

inferencing-state-name

*in-interpreter*

instantiation

inst-bindings

inst-rulename

inst-token

kb-name

kw-class

lex

-lex

list-all-inferencing-states

make-inferencing-state

make-instance

mea

-mea

named-kb-object

no-debug

not

order

-order

*print-verbose*

priority

-priority

recency

-recency

reset

return

*signal-kb-name-clash*

specificity

-specificity

standard-context

standard-kb-object

start-cycle

start-kw

test

undefcontext

undefrule

with-rule-actions