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