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