add-explanation
65
main chapter 61
agenda 25
any
Prolog interface function
132
append
142
asserta
142
assertion 23
assertz
142
atomic
142
backward chaining 2 , 9 , 21 , 28 , 73
debugging 31
definition of rules 30
implementation notes 166
interpreter 30
syntax 29
bagof
142
browsers 8
system 48
C 1
call
142
certainty factor 66
*c-factor*
66
chaining 2
class browser 49
classes 12
named 34
relational database 35
unnamed 34
clause
142
clear 47
CLOS 2 , 3 , 5 , 7 , 10 , 18 , 21 , 28 , 47 , 70
class categories in KnowledgeWorks 33
classes in KnowledgeWorks 33
CLOS mixin class 4
CLOS/SQL class 35
Common Lisp Interface 31
Common Lisp Object System (CLOS) 2 , 5
Common Prolog main chapter 123
condition 21
syntax 22
conflict resolution 14 , 22 , 26 , 68
lex
27
mea
26
optimizing 72
-order
26
order
26
-priority
26
priority
26
recency
26
-specificity
26
specificity
26
use of contexts 72
user definable 68
user-definable 68
conflict resolution strategy 68
conflict resolution tactic 26 , 68
conflict-set
82
context definition 28
current-cycle
84
cut 74
cut
84
*cycle*
85
of forward chaining 22
debug
142
in Prolog 135
backward chaining 31
forward chaining 28
debugging
142
defclass
macro in LispWorks
34
defcontext
25
,
26
,
27
,
62
,
87
defdetpred
145
defdetrel
142
defdetunipred
146
defexplain
65
defgrammar
142
Defining Contexts 28
def-kb-class
34
,
66
,
74
,
76
,
85
defmethod
74
defrel-special-form-macro
143
defrule
21
,
24
,
29
,
61
,
62
,
67
,
73
,
75
,
76
,
77
,
89
def-view-class
in LispWorks
36
destroy-inferencing-state
77
,
91
deterministic
143
documentation strings 21 , 26 , 68 , 88 , 89 , 91
dynamic conflict resolution 72
Edinburgh Prolog 31
Edinburgh Syntax 140
compatible predicates 146
editor 47
editor window 8
graphic environment in Prolog 141
explanations 64
syntax 23
query 52
find-inferencing-state
77
,
93
forward chaining 2 , 7 , 21 , 70 , 71
debugging 28
implementation notes 165
interpreter 25
rule definition 24
syntax 22
appendix 165
implication strength 66
inference engine 3
creating and maintaining 77
definition of 76
uses 77
inferencing-state-name
97
*in-interpreter*
96
instances 50
instantiations 63
integer
143
interface functions in Prolog 132
backward chaining 30
forward chaining 25
main chapter 1
is
143
keysort
143
:backward
21
:forward
21
:meta
62
:name
34
:priority
14
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 28
clearing 47
Converting Other Systems Into, 173
generic functions 51
historical perspective 1
inspector 50
instances 50
listener 46
mixin class 35
object base 28
objects 29
podium 6
rule development 45
rules in 21
running the tutorial 7
spy window 54
technical overview 2
tools 17
Use of Meta-Classes 74
kw-class
102
leash
143
leashing 135
integration of 18
accessing Lisp from Prolog 128
availability in KnowledgeWorks 45
Common Prolog Logic Listener 46
SQL interface 35
calling Prolog 130
list-all-inferencing-state
77
,
101
listing
143
loading files 7
logic
130
logic interpreter 126
logic listener 141
in Prolog 140
make-inferencing-state
77
,
104
make-instance
34
,
70
,
75
,
105
member
143
browse 12
class browser 12
Classes 12
clear 47
context 54
FC History 13
Inspect 53
Instantiations 53
Listener 7
:meta
keyword
62
Meta Object Protocol (MOP) 4
Meta Rule Protocol (MRP) 4 , 61
meta-interpreter 61
metaprotocols 2
meta-rule 61
MYCIN 66
object 29
certainty factor 66
named 33
and inferencing states 76
clearing 47
main chapter 33
uncertainty 66
object browser 10
object system 2
once
144
optimization 70
optimization of KnowledgeWorks 44
output-defrels
144
matching 73
popup 7
Preferences... command 10 , 53 , 54
*print-verbose*
111
procedural language 2
main chapter 45
accessing Lisp 128
adding built in predicates 145
built in predicates 142
calling from LispWorks 130
cut 74
debugging 135
Edinburgh Syntax 140
exiting the interpreter 128
graphic environment 141
interface functions 132
leashing 135
logic interpreter 126
logic listener 141
macros 140
main chapter 123
overview 123
predicates compatible with Edinburgh syntax 146
retrieving multiple solutions in 126
specifying multiple goals in 127
spy points 135
syntax 124
tracing 135
query 52
read-query-print
loop
126
read-term
144
recorda
144
recorded
144
recordz
144
relational database classes 35
repeat
144
retract
144
rule 21
action 21
backward chaining 30
browser 15
condition 21
definition of forward chaining 24
editing definitions 17
groups 13
implication strength 66
single-stepping 16
rule browser 53
rule preconditions 71
rulebase 35
rule-defined conflict resolution 72
main chapter 21
setof
144
*signal-kb-name-clash*
115
sort
144
spy
144
spy points 135
standard-class
74
standard-context
117
standard-db-object
36
standard-kb- object
74
standard-kb-class
74
standard-kb-object
49
,
85
,
118
start-kw
119
static conflict resolution 72
subclasses 12
backward chaining 29
expression 23
forward-condition 22
of forward chaining 22
syntax of Prolog 124
system browser 48
systems 19
var
145