add-explanation
71
main chapter 67
agenda 29
any
Prolog interface function
138
append
152
asserta
152
assertion 28
assertz
152
atomic
152
backward chaining 2 , 11 , 25 , 33 , 79
debugging 35
definition of rules 34
implementation notes 176
interpreter 34
syntax 33
bagof
152
browsers 10
system 52
C 1
call
152
certainty factor 72
*c-factor*
72
chaining 2
class browser 54
classes 15
named 38
relational database 39
unnamed 38
clause
152
clear 51
CLOS 2 , 3 , 7 , 9 , 12 , 22 , 25 , 33 , 51 , 76
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 129
condition 25
syntax 26
conflict resolution 17 , 26 , 30 , 74
lex
31
mea
31
optimizing 78
-order
31
-priority
30
priority
30
recency
30
-specificity
31
specificity
31
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
DCG 147
debug
152
in Prolog 141
backward chaining 35
forward chaining 32
debugging
152
defclass
macro in LispWorks
38
defdetpred
155
defdetrel
152
defdetunipred
156
defexplain
71
Defining Contexts 32
Definite Clause Grammars 147
def-kb-class
38
,
72
,
80
,
82
,
91
defmethod
80
defrel-special-form-macro
153
defrule
25
,
28
,
33
,
67
,
68
,
73
,
79
,
81
,
82
,
83
,
95
def-view-class
in LispWorks
40
destroy-inferencing-state
83
,
97
deterministic
153
documentation strings 25 , 30 , 74 , 94 , 95 , 97
dynamic conflict resolution 78
Edinburgh Prolog 35
Edinburgh Syntax 150
compatible predicates 156
editor 51
editor window 11
graphic environment in Prolog 151
explanations 70
syntax 27
query 57
find-inferencing-state
83
,
99
forward chaining 2 , 9 , 25 , 76 , 77
debugging 32
implementation notes 175
interpreter 29
rule definition 29
syntax 26
appendix 175
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
153
interface functions in Prolog 138
backward chaining 34
forward chaining 29
main chapter 1
is
153
keysort
153
:backward
25
:forward
25
:meta
68
:name
38
:priority
17
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 33
clearing 51
Converting Other Systems Into, 183
generic functions 56
historical perspective 1
inspector 55
instances 55
listener 50
mixin class 39
object base 33
objects 34
podium 8
rule development 49
rules in 25
running the tutorial 9
spy window 60
technical overview 2
tools 20
Use of Meta-Classes 80
kw-class
108
leash
153
leashing 141
integration of 22
accessing Lisp from Prolog 134
availability in KnowledgeWorks 49
Common Prolog Logic Listener 50
SQL interface 39
calling Prolog 136
LispWorks IDE 22
list-all-inferencing-state
83
,
107
listing
153
loading files 9
logic
136
logic interpreter 132
logic listener 151
in Prolog 147
make-inferencing-state
83
,
110
make-instance
38
,
76
,
81
,
111
member
153
browse 15
class browser 15
Classes 15
clear 51
context 59
FC History 16
Inspect 58
Instantiations 58
KnowledgeWorks 8 , 10 , 12 , 15 , 16 , 57 , 59
Listener 8
: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 34
certainty factor 72
named 37
and inferencing states 82
clearing 51
main chapter 37
uncertainty 72
object browser 12
object system 2
once
154
optimization 76
optimization of KnowledgeWorks 48
output-defrels
154
matching 79
popup 9
Preferences... command 13 , 58 , 60
*print-verbose*
116
procedural language 2
main chapter 49
accessing Lisp 134
adding built in predicates 155
built in predicates 152
calling from LispWorks 136
cut 80
debugging 141
Edinburgh Syntax 150
exiting the interpreter 134
graphic environment 151
interface functions 138
leashing 141
logic interpreter 132
logic listener 151
macros 147
main chapter 129
overview 129
predicates compatible with Edinburgh syntax 156
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
154
recorda
154
recorded
154
recordz
154
relational database classes 39
repeat
154
retract
154
rule 25
action 25
backward chaining 34
browser 18
condition 25
definition of forward chaining 29
editing definitions 21
groups 16
implication strength 72
single-stepping 19
rule browser 59
rule preconditions 77
rulebase 39
rule-defined conflict resolution 78
main chapter 25
setof
154
*signal-kb-name-clash*
121
sort
154
spy
154
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 15
backward chaining 33
expression 27
forward-condition 26
of forward chaining 26
syntax of Prolog 130
system browser 52
systems 23
var
155