add-explanation
71
main chapter 67
agenda 29
any
Prolog interface function
138
append
151
asserta
151
assertion 28
assertz
151
atomic
151
backward chaining 2 , 10 , 25 , 33 , 79
debugging 35
definition of rules 34
implementation notes 174
interpreter 34
syntax 33
bagof
151
browsers 8
system 53
C 1
call
151
certainty factor 72
*c-factor*
72
chaining 2
class browser 54
classes 14
named 38
relational database 39
unnamed 38
clause
151
clear 52
CLOS 2 , 3 , 5 , 7 , 11 , 21 , 25 , 33 , 52 , 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 , 5
Common Prolog main chapter 129
condition 25
syntax 26
conflict resolution 16 , 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 146
debug
151
in Prolog 141
backward chaining 35
forward chaining 32
debugging
151
defclass
macro in LispWorks
38
defdetpred
154
defdetrel
151
defdetunipred
155
defexplain
71
Defining Contexts 32
Definite Clause Grammars 146
def-kb-class
38
,
72
,
80
,
82
,
91
defmethod
80
defrel-special-form-macro
152
defrule
25
,
28
,
33
,
67
,
68
,
73
,
79
,
81
,
82
,
83
,
95
def-view-class
in LispWorks
40
destroy-inferencing-state
83
,
97
deterministic
152
documentation strings 25 , 30 , 74 , 94 , 95 , 97
dynamic conflict resolution 78
Edinburgh Prolog 35
Edinburgh Syntax 149
compatible predicates 155
editor 52
editor window 9
graphic environment in Prolog 150
explanations 70
syntax 27
query 57
find-inferencing-state
83
,
99
forward chaining 2 , 8 , 25 , 76 , 77
debugging 32
implementation notes 173
interpreter 29
rule definition 29
syntax 26
appendix 173
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
152
interface functions in Prolog 138
backward chaining 34
forward chaining 29
main chapter 1
is
152
keysort
152
:backward
25
:forward
25
:meta
68
:name
38
:priority
16
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 33
clearing 52
Converting Other Systems Into, 181
generic functions 56
historical perspective 1
inspector 55
instances 55
listener 51
mixin class 39
object base 33
objects 34
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
152
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
152
loading files 7
logic
136
logic interpreter 132
logic listener 150
in Prolog 146
make-inferencing-state
83
,
110
make-instance
38
,
76
,
81
,
111
member
152
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 34
certainty factor 72
named 37
and inferencing states 82
clearing 52
main chapter 37
uncertainty 72
object browser 11
object system 2
once
153
optimization 76
optimization of KnowledgeWorks 48
output-defrels
153
matching 79
popup 8
*print-verbose*
117
procedural language 2
main chapter 49
accessing Lisp 134
adding built in predicates 154
built in predicates 151
calling from LispWorks 136
cut 80
debugging 141
Edinburgh Syntax 149
exiting the interpreter 134
graphic environment 150
interface functions 138
leashing 141
logic interpreter 132
logic listener 150
macros 146
main chapter 129
overview 129
predicates compatible with Edinburgh syntax 155
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
153
recorda
153
recorded
153
recordz
153
relational database classes 39
repeat
153
retract
153
rule 25
action 25
backward chaining 34
browser 17
condition 25
definition of forward chaining 29
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
153
*signal-kb-name-clash*
121
sort
153
spy
153
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
154
browser 8
popup 8
subclasses 14
Window Preferences... 12 , 58 , 60
Window Preferences... command 12 , 58 , 60
with-prolog
140
with-rule-actions
127