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