* 4
*c-factor* 72
*cycle* 96
*implic- strength* 73
*implic-strength* 72
+ 4
/== 138
::= 4
:meta keyword 68
<..> 4
= 138
=.. 138
== 138
@< 138
@=< 138
@> 138
@>= 138
[..] 4
| 4
add-explanation 71
main chapter 67
agenda 29
any Prolog interface function 128
append 138
asserta 138
assertion 27
assertz 138
atomic 138
backward chaining 2 , 10 , 25 , 32 , 79
debugging 35
definition of rules 33
implementation notes 162
interpreter 34
syntax 32
bagof 138
browsers 8
system 54
C 1
call 138
certainty factor 72
*c-factor* 72
chaining 2
class browser 55
classes 13
named 38
relational database 39
unnamed 38
clause 138
clear 53
CLOS 2 , 3 , 5 , 7 , 11 , 21 , 25 , 32 , 53 , 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 119
condition 25
syntax 26
conflict resolution 15 , 26 , 29 , 30 , 74
lex 30
mea 30
optimising 78
-order 30
order 29
order of 30
-priority 30
priority 30
priority 29
recency 30
recency 29
-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 86
context definition 31
cut 80
cut 87
of forward chaining 25
debug 138
in Prolog 131
backward chaining 35
forward chaining 32
debugging 138
default-context 29 , 53 , 85 , 86
defclass macro in LispWorks 38
defcontext 29 , 30 , 31 , 68 , 90
defdetpred 141
defdetrel 138
defdetunipred 141
defexplain 71
defgrammar 138
Defining Contexts 31
def-kb-class 38 , 72 , 80 , 88
defmethod 80
defrel-special-form-macro 139
defrule 25 , 28 , 33 , 67 , 68 , 73 , 79 , 81 , 91
def-view-class in LispWorks 40
deterministic 139
dynamic conflixt resolution 78
Edinburgh Prolog 34
Edinburgh Syntax 136
compatible predicates 142
editor 52
editor window 10
graphic environment in Prolog 136
explanations 70
syntax 27
query 58
forward chaining 2 , 7 , 25 , 76 , 77
debugging 32
implementation notes 161
interpreter 29
rule definition 28
syntax 26
appendix 161
implication strength 72
*implic- strength* 73
*implic-strength* 72
inference engine 3
*in-interpreter* 96
instances 56
instantiations 69
integer 139
interface functions in Prolog 128
backward chaining 34
forward chaining 29
main chapter 1
is 139
keysort 139
:backward 25
:forward 25
:name 38
:priority 15
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 32
clearing 53
Converting Other Systems Into, 169
generic functions 57
historical perspective 1
inspector 56
instances 56
listener 50
mixin class 39
object base 32
objects 33
podium 5 , 7 , 9 , 11 , 13 , 14 , 22
rule development 49
rules in 25
running the tutorial 7
spy window 60
technical overview 2
tools 19
Use of Meta-Classes 80
kw-class 100
leash 139
leashing 131
-lex 102
lex 30
lex 101
integration of 21
accessing Lisp from Prolog 124
availability in KnowledgeWorks 49
Common Prolog Logic Listener 50
SQL interface 39
calling Prolog 126
listing 139
loading files 7
logic 126
logic interpreter 122
logic listener 137
in Prolog 136
-mea 102
mea 30
mea 103
member 139
browse 13
class browser 13
clear 53
context 60
KnowledgeWorks 7
Listener 7
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
clearing 53
main chapter 37
uncertainty 72
object browser 11
object system 2
once 140
optimisation 76
optimisation of KnowledgeWorks 48
-order 108
order 30
output-defrels 140
matching 79
popup 7
*print-verbose* 102
-priority 30
-priority 108
priority 30
procedural language 2
main chapter 49
accessing Lisp 124
adding built in predicates 141
built in predicates 138
calling from LispWorks 126
cut 80
debugging 131
Edinburgh Syntax 136
exiting the interpreter 124
graphic environment 136
interface functions 128
leashing 131
logic interpreter 122
logic listener 137
macros 136
main chapter 119
overview 119
predicates compatible with Edinburgh syntax 142
retrieving multiple solutions in 122
specifying multiple goals in 123
spy points 131
syntax 120
tracing 131
query 58
read-query-print loop 122
read-term 140
-recency 108
recency 30
recorda 140
recorded 140
recordz 140
relational database classes 39
repeat 140
retract 140
rule 25
action 25
backward chaining 33
browser 16
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 140
sort 140
-specificity 30
-specificity 111
specificity 30
specificity 112
spy 140
spy points 131
standard-class 80
standard-context 113
standard-db-object 40
standard-kb- object 80
standard-kb-class 80
standard-kb-object 56 , 88 , 113
start-kw 114
static conflict resolution 78
subclasses 13
backward chaining 32
expression 27
forward-condition 26
of forward chaining 26
syntax of Prolog 120
system browser 54
systems 22
var 141
browser 8
podium 5 , 7 , 9 , 11 , 13 , 14 , 22
popup 7
subclasses 13
with-prolog 130
with-rule-actions 116