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