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