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*

def-kb-class

def-kb-struct

def-named-kb-class

defcontext

defrule

deftactic

destroy-inferencing-state

erase

fail

find-inferencing-state

findall

fire-rule

get-kb-object

*in-interpreter*

infer

*inferencing-state*

inferencing-state-name

inst-bindings

inst-rulename

inst-token

instantiation

list-all-inferencing-states

kb-name

kw-class

-lex

lex

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

KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011