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