* 4
*c-factor* 70
*cycle* 94
*implic- strength* 71
*implic-strength* 70
+ 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 52
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
of forward chaining 23
debug 136
in Prolog 129
backward chaining 33
forward chaining 30
debugging 136
default-context 27 , 50 , 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 49
editor window 10
graphic environment in Prolog 134
explanations 68
syntax 25
query 54
forward chaining 2 , 7 , 23 , 74 , 75
debugging 30
implementation notes 159
interpreter 27
rule definition 26
syntax 24
appendix 159
implication strength 70
*implic- strength* 71
*implic-strength* 70
inference engine 3
*in-interpreter* 94
instances 52
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 53
historical perspective 1
inspector 52
instances 52
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 57
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 56
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 54
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 52 , 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