add-explanation
69
main chapter 65
agenda 27
any
Prolog interface function
136
append
149
asserta
149
assertion 26
assertz
149
atomic
149
backward chaining 2 , 9 , 23 , 31 , 77
debugging 33
definition of rules 32
implementation notes 172
interpreter 32
syntax 31
bagof
149
browsers 8
system 50
C 1
call
149
certainty factor 70
*c-factor*
70
chaining 2
class browser 52
classes 13
named 36
relational database 37
unnamed 36
clause
149
clear 50
CLOS 2 , 3 , 5 , 7 , 10 , 20 , 23 , 31 , 50 , 74
class categories in KnowledgeWorks 35
classes in KnowledgeWorks 35
CLOS mixin class 4
CLOS/SQL class 37
Common Lisp Interface 34
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
29
optimizing 76
-order
29
-priority
28
priority
28
recency
28
-specificity
29
specificity
29
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
DCG 144
debug
149
in Prolog 139
backward chaining 33
forward chaining 30
debugging
149
defclass
macro in LispWorks
36
defdetpred
152
defdetrel
149
defdetunipred
153
defexplain
69
Defining Contexts 30
Definite Clause Grammars 144
def-kb-class
36
,
70
,
78
,
80
,
89
defmethod
78
defrel-special-form-macro
150
defrule
23
,
26
,
31
,
65
,
66
,
71
,
77
,
79
,
80
,
81
,
93
def-view-class
in LispWorks
38
destroy-inferencing-state
81
,
95
deterministic
150
documentation strings 23 , 28 , 72 , 92 , 93 , 95
dynamic conflict resolution 76
Edinburgh Prolog 33
Edinburgh Syntax 147
compatible predicates 153
editor 49
editor window 8
graphic environment in Prolog 148
explanations 68
syntax 25
query 56
find-inferencing-state
81
,
97
forward chaining 2 , 7 , 23 , 74 , 75
debugging 30
implementation notes 171
interpreter 27
rule definition 27
syntax 24
appendix 171
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
150
interface functions in Prolog 136
backward chaining 32
forward chaining 27
main chapter 1
is
150
keysort
150
:backward
23
:forward
23
:meta
66
:name
36
:priority
15
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 31
clearing 50
Converting Other Systems Into, 179
Gc-monitor 6
generic functions 55
historical perspective 1
inspector 53
instances 53
Lisp Monitor 6
listener 48
mixin class 37
object base 31
objects 32
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
150
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
150
loading files 7
logic
134
logic interpreter 130
logic listener 148
in Prolog 144
make-inferencing-state
81
,
108
make-instance
36
,
74
,
79
,
109
member
150
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 32
certainty factor 70
named 35
and inferencing states 80
clearing 50
main chapter 35
uncertainty 70
object browser 10
object system 2
once
151
optimization 74
optimization of KnowledgeWorks 46
output-defrels
151
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 152
built in predicates 149
calling from LispWorks 134
cut 78
debugging 139
Edinburgh Syntax 147
exiting the interpreter 132
graphic environment 148
interface functions 136
leashing 139
logic interpreter 130
logic listener 148
macros 144
main chapter 127
overview 127
predicates compatible with Edinburgh syntax 153
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
151
recorda
151
recorded
151
recordz
151
relational database classes 37
repeat
151
retract
151
rule 23
action 23
backward chaining 32
browser 16
condition 23
definition of forward chaining 27
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
151
*signal-kb-name-clash*
119
sort
151
spy
151
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
152