add-explanation
65
main chapter 61
agenda 25
any
Prolog interface function
132
append
145
asserta
145
assertion 24
assertz
145
atomic
145
backward chaining 2 , 9 , 21 , 29 , 73
debugging 31
definition of rules 30
implementation notes 168
interpreter 30
syntax 29
bagof
145
browsers 8
system 48
C 1
call
145
certainty factor 66
*c-factor*
66
chaining 2
class browser 49
classes 12
named 34
relational database 35
unnamed 34
clause
145
clear 47
CLOS 2 , 3 , 5 , 7 , 10 , 18 , 21 , 29 , 47 , 70
class categories in KnowledgeWorks 33
classes in KnowledgeWorks 33
CLOS mixin class 4
CLOS/SQL class 35
Common Lisp Interface 32
Common Lisp Object System (CLOS) 2 , 5
Common Prolog main chapter 123
condition 21
syntax 22
conflict resolution 14 , 22 , 26 , 68
lex
27
mea
27
optimizing 72
-order
27
-priority
26
priority
26
recency
26
-specificity
27
specificity
27
use of contexts 72
user definable 68
user-definable 68
conflict resolution strategy 68
conflict resolution tactic 26 , 68
conflict-set
82
context definition 28
current-cycle
84
cut 74
cut
84
*cycle*
85
of forward chaining 22
DCG 140
debug
145
in Prolog 135
backward chaining 31
forward chaining 28
debugging
145
defclass
macro in LispWorks
34
defdetpred
148
defdetrel
145
defdetunipred
149
defexplain
65
Defining Contexts 28
Definite Clause Grammars 140
def-kb-class
34
,
66
,
74
,
76
,
85
defmethod
74
defrel-special-form-macro
146
defrule
21
,
24
,
29
,
61
,
62
,
67
,
73
,
75
,
76
,
77
,
89
def-view-class
in LispWorks
36
destroy-inferencing-state
77
,
91
deterministic
146
documentation strings 21 , 26 , 68 , 88 , 89 , 91
dynamic conflict resolution 72
Edinburgh Prolog 31
Edinburgh Syntax 143
compatible predicates 149
editor 47
editor window 8
graphic environment in Prolog 144
explanations 64
syntax 23
query 52
find-inferencing-state
77
,
93
forward chaining 2 , 7 , 21 , 70 , 71
debugging 28
implementation notes 167
interpreter 25
rule definition 25
syntax 22
appendix 167
implication strength 66
inference engine 3
creating and maintaining 77
definition of 76
uses 77
inferencing-state-name
97
*in-interpreter*
96
instances 50
instantiations 63
integer
146
interface functions in Prolog 132
backward chaining 30
forward chaining 25
main chapter 1
is
146
keysort
146
:backward
21
:forward
21
:meta
62
:name
34
:priority
14
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 29
clearing 47
Converting Other Systems Into, 175
generic functions 51
historical perspective 1
inspector 50
instances 50
listener 46
mixin class 35
object base 29
objects 30
podium 6
rule development 45
rules in 21
running the tutorial 7
spy window 54
technical overview 2
tools 17
Use of Meta-Classes 74
kw-class
102
leash
146
leashing 135
integration of 18
accessing Lisp from Prolog 128
availability in KnowledgeWorks 45
Common Prolog Logic Listener 46
SQL interface 35
calling Prolog 130
list-all-inferencing-state
77
,
101
listing
146
loading files 7
logic
130
logic interpreter 126
logic listener 144
in Prolog 140
make-inferencing-state
77
,
104
make-instance
34
,
70
,
75
,
105
member
146
browse 12
class browser 12
Classes 12
clear 47
context 54
FC History 13
Inspect 53
Instantiations 53
Listener 7
:meta
keyword
62
Meta Object Protocol (MOP) 4
Meta Rule Protocol (MRP) 4 , 61
meta-interpreter 61
metaprotocols 2
meta-rule 61
MYCIN 66
object 30
certainty factor 66
named 33
and inferencing states 76
clearing 47
main chapter 33
uncertainty 66
object browser 10
object system 2
once
147
optimization 70
optimization of KnowledgeWorks 44
output-defrels
147
matching 73
popup 7
Preferences... command 10 , 53 , 54
*print-verbose*
111
procedural language 2
main chapter 45
accessing Lisp 128
adding built in predicates 148
built in predicates 145
calling from LispWorks 130
cut 74
debugging 135
Edinburgh Syntax 143
exiting the interpreter 128
graphic environment 144
interface functions 132
leashing 135
logic interpreter 126
logic listener 144
macros 140
main chapter 123
overview 123
predicates compatible with Edinburgh syntax 149
retrieving multiple solutions in 126
specifying multiple goals in 127
spy points 135
syntax 124
tracing 135
query 52
read-query-print
loop
126
read-term
147
recorda
147
recorded
147
recordz
147
relational database classes 35
repeat
147
retract
147
rule 21
action 21
backward chaining 30
browser 15
condition 21
definition of forward chaining 25
editing definitions 17
groups 13
implication strength 66
single-stepping 16
rule browser 53
rule preconditions 71
rulebase 35
rule-defined conflict resolution 72
main chapter 21
setof
147
*signal-kb-name-clash*
115
sort
147
spy
147
spy points 135
standard-class
74
standard-context
117
standard-db-object
36
standard-kb- object
74
standard-kb-class
74
standard-kb-object
49
,
85
,
118
start-kw
119
static conflict resolution 72
subclasses 12
backward chaining 29
expression 23
forward-condition 22
of forward chaining 22
syntax of Prolog 124
system browser 48
systems 19
var
148