*
4
*c-factor*
70
*cycle*
86
+
4
/==
136
::=
4
:meta
keyword
66
<..>
4
=
136
=..
136
==
136
@<
136
@=<
136
@>
136
@>=
136
[..]
4
|
4
add-explanation
69
main chapter 65
agenda 27
any
Prolog interface function
126
append
136
asserta
136
assertion 25
assertz
136
atomic
136
backward chaining 2 , 10 , 23 , 30 , 77
debugging 33
definition of rules 31
implementation notes 160
interpreter 32
syntax 30
bagof
136
browsers 8
system 51
C 1
call
136
certainty factor 70
*c-factor*
70
chaining 2
class browser 53
classes 13
named 36
relational database 37
unnamed 36
clause
136
clear 50
CLOS 2 , 3 , 5 , 7 , 11 , 20 , 23 , 30 , 50 , 74
class categories in KnowledgeWorks 35
classes in KnowledgeWorks 35
CLOS mixin class 4
CLOS/SQL class 37
Common Lisp Interface 33
Common Lisp Object System (CLOS) 2 , 5
Common Prolog main chapter 117
condition 23
syntax 24
conflict resolution 15 , 24 , 27 , 28 , 72
lex 28
mea 28
optimising 76
-order 28
order
27
order of 28
-priority 28
priority 28
priority
27
recency 28
recency
27
-specificity 28
specificity 28
use of contexts 76
user definable 72
user-definable 72
conflict resolution strategy 72
conflict resolution tactic 28 , 72
conflict-set
84
context definition 29
cut 78
cut
85
*cycle*
86
of forward chaining 23
debug
136
in Prolog 129
backward chaining 33
forward chaining 30
debugging
136
default-context
27
,
51
,
83
,
84
defclass
macro in LispWorks
36
defcontext
27
,
28
,
29
,
66
,
88
defdetpred
139
defdetrel
136
defdetunipred
139
defexplain
69
defgrammar
136
Defining Contexts 29
def-kb-class
36
,
70
,
78
,
86
defmethod
78
defrel-special-form-macro 137
defrule
23
,
26
,
31
,
65
,
66
,
71
,
77
,
79
,
89
def-view-class
in LispWorks
38
deterministic
137
dynamic conflixt resolution 76
Edinburgh Prolog 32
Edinburgh Syntax 134
compatible predicates 140
editor 50
editor window 10
graphic environment in Prolog 134
explanations 68
syntax 25
query 55
forward chaining 2 , 7 , 23 , 74 , 75
debugging 30
implementation notes 159
interpreter 27
rule definition 26
syntax 24
appendix 159
implication strength 70
inference engine 3
*in-interpreter*
94
instances 53
instantiations 67
integer
137
interface functions in Prolog 126
backward chaining 32
forward chaining 27
main chapter 1
is
137
keysort
137
:backward
23
:forward
23
:name
36
:priority
15
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 30
clearing 50
Converting Other Systems Into, 167
Gc-monitor 5
generic functions 54
historical perspective 1
inspector 53
instances 53
listener 48
mixin class 37
object base 30
objects 31
podium 5 , 7 , 9 , 11 , 13 , 14 , 21
rule development 47
rules in 23
running the tutorial 7
spy window 58
technical overview 2
tools 19
Use of Meta-Classes 78
kw-class
98
leash
137
leashing 129
-lex
100
lex 28
lex
99
integration of 20
accessing Lisp from Prolog 122
availability in KnowledgeWorks 47
Common Prolog Logic Listener 48
SQL interface 37
calling Prolog 124
listing
137
loading files 7
logic
124
logic interpreter 120
logic listener 135
in Prolog 134
-mea
100
mea 28
mea
101
member
137
browse 13
class browser 13
clear 50
context 57
KnowledgeWorks 7
Listener 7
Meta Object Protocol (MOP) 4
Meta Rule Protocol (MRP) 4 , 65
meta-interpreter 65
metaprotocols 2
meta-rule 65
MYCIN 70
object 31
certainty factor 70
named 35
clearing 50
main chapter 35
uncertainty 70
object browser 11
object system 2
once
138
optimisation 74
optimisation of KnowledgeWorks 46
-order
106
order 28
output-defrels
138
matching 77
popup 7
*print-verbose*
100
-priority 28
-priority
106
priority 28
procedural language 2
main chapter 47
accessing Lisp 122
adding built in predicates 139
built in predicates 136
calling from LispWorks 124
cut 78
debugging 129
Edinburgh Syntax 134
exiting the interpreter 122
graphic environment 134
interface functions 126
leashing 129
logic interpreter 120
logic listener 135
macros 134
main chapter 117
overview 117
predicates compatible with Edinburgh syntax 140
retrieving multiple solutions in 120
specifying multiple goals in 121
spy points 129
syntax 118
tracing 129
query 55
read-query-print
loop
120
read-term
138
-recency
106
recency 28
recorda
138
recorded
138
recordz
138
relational database classes 37
repeat
138
retract
138
rule 23
action 23
backward chaining 31
browser 16
condition 23
definition of forward chaining 26
editing definitions 19
groups 14
implication strength 70
single-stepping 18
rule preconditions 75
rulebase 37
rule-defined conflict resolution 76
main chapter 23
setof
138
sort
138
-specificity 28
-specificity
109
specificity 28
specificity
110
spy
138
spy points 129
standard-class
78
standard-context
111
standard-db-object
38
standard-kb- object
78
standard-kb-class
78
standard-kb-object
53
,
86
,
111
start-kw
112
static conflict resolution 76
subclasses 13
backward chaining 30
expression 25
forward-condition 24
of forward chaining 24
syntax of Prolog 118
system browser 51
systems 21
var
139
browser 8
podium 5 , 7 , 9 , 11 , 13 , 14 , 21
popup 7
subclasses 13
with-prolog
128
with-rule-actions
114