NextPrevTopContentsIndex

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

cut

*cycle*

def-kb-class

def-kb-struct

def-named-kb-class

defcontext

defrule

deftactic

erase

fail

findall

fire-rule

get-kb-object

*in-interpreter*

infer

inst-bindings

inst-rulename

inst-token

instantiation

kb-name

kw-class

-lex

lex

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 - 4 Apr 2005

NextPrevTopContentsIndex