add-explanation
73
main chapter 69
agenda 31
any
Prolog interface function
139
append
153
asserta
153
assertion 30
assertz
153
atomic
153
backward chaining 2 , 12 , 27 , 35 , 81
debugging 37
definition of rules 36
implementation notes 176
interpreter 36
syntax 35
bagof
153
browsers 10
system 55
C 1
call
153
certainty factor 74
*c-factor*
74
chaining 2
class browser 56
classes 16
named 40
relational database 41
unnamed 40
clause
153
clear 54
CLOS 2 , 3 , 7 , 9 , 13 , 23 , 27 , 35 , 54 , 78
class categories in KnowledgeWorks 39
classes in KnowledgeWorks 39
CLOS mixin class 4
CLOS/SQL class 41
Common Lisp Interface 38
Common Lisp Object System (CLOS) 2 , 7
Common Prolog main chapter 131
condition 27
syntax 28
conflict resolution 18 , 28 , 32 , 76
lex
33
mea
33
optimizing 80
-order
33
-priority
32
priority
32
recency
32
-specificity
33
specificity
33
use of contexts 80
user definable 76
user-definable 76
conflict resolution strategy 76
conflict resolution tactic 32 , 76
conflict-set
90
context definition 34
current-cycle
92
cut 82
cut
92
*cycle*
93
of forward chaining 28
DCG 148
debug
153
in Prolog 142
backward chaining 37
forward chaining 34
debugging
153
defclass
macro in LispWorks
40
defdetpred
156
defdetrel
153
defdetunipred
156
defexplain
73
Defining Contexts 34
Definite Clause Grammars 148
def-kb-class
40
,
74
,
83
,
84
,
93
defmethod
83
defrel-special-form-macro
153
defrule
27
,
30
,
35
,
69
,
70
,
75
,
81
,
83
,
84
,
85
,
97
def-view-class
in LispWorks
42
destroy-inferencing-state
85
,
99
deterministic
153
documentation strings 27 , 32 , 76 , 96 , 97 , 99
dynamic conflict resolution 80
Edinburgh Prolog 37
Edinburgh Syntax 151
compatible predicates 157
editor 54
editor window 11
graphic environment in Prolog 152
explanations 72
syntax 29
query 59
find-inferencing-state
85
,
101
forward chaining 2 , 10 , 27 , 78 , 79
debugging 34
implementation notes 175
interpreter 31
rule definition 31
syntax 28
appendix 175
implication strength 74
inference engine 3
creating and maintaining 85
definition of 84
uses 85
inferencing-state-name
105
*in-interpreter*
104
instances 57
instantiations 71
integer
154
interface functions in Prolog 139
backward chaining 36
forward chaining 31
main chapter 1
is
154
keysort
154
:backward
27
:forward
27
:kb-name
40
:meta
70
:priority
18
Knowledge Based Systems (KBS) 1 , 4
backward chaining engine 35
clearing 54
Converting Other Systems Into, 183
generic functions 58
historical perspective 1
inspector 57
instances 57
listener 53
mixin class 41
object base 35
objects 36
rule development 51
rules in 27
running the tutorial 10
spy window 62
technical overview 2
tools 21
Use of Meta-Classes 82
kw-class
110
leash
154
leashing 142
integration of 23
accessing Lisp from Prolog 136
availability in KnowledgeWorks 51
calling Prolog 137
Common Prolog Logic Listener 53
SQL interface 41
LispWorks IDE 23
list-all-inferencing-state
85
,
109
listing
154
loading files 9
logic
137
logic interpreter 134
logic listener 152
in Prolog 148
make-inferencing-state
85
,
112
make-instance
40
,
78
,
83
,
113
member
154
browse 16
class browser 16
Classes 16
clear 54
context 61
FC History 17
Inspect 60
Instantiations 60
Listener 9
:meta
keyword
70
Meta Object Protocol (MOP) 4
Meta Rule Protocol (MRP) 4 , 69
meta-interpreter 69
metaprotocols 2
meta-rule 69
MYCIN 74
object 36
certainty factor 74
named 39
and inferencing states 84
clearing 54
main chapter 39
uncertainty 74
object browser 13
object system 2
once
154
optimization 78
optimization of KnowledgeWorks 50
output-defrels
154
matching 81
popup 10
Preferences... command 14 , 60 , 62
*print-verbose*
119
procedural language 2
main chapter 51
accessing Lisp 136
adding built in predicates 156
built in predicates 152
calling from LispWorks 137
cut 82
debugging 142
Edinburgh Syntax 151
exiting the interpreter 135
graphic environment 152
interface functions 139
leashing 142
logic interpreter 134
logic listener 152
macros 148
main chapter 131
overview 131
predicates compatible with Edinburgh syntax 157
retrieving multiple solutions in 134
specifying multiple goals in 135
spy points 142
syntax 132
tracing 142
query 59
read-query-print
loop
134
read-term
154
recorda
155
recorded
155
recordz
155
relational database classes 41
repeat
155
retract
155
rule 27
action 27
backward chaining 36
browser 19
condition 27
definition of forward chaining 31
editing definitions 22
groups 17
implication strength 74
single-stepping 20
rule browser 61
rule preconditions 79
rulebase 41
rule-defined conflict resolution 80
main chapter 27
setof
155
*signal-kb-name-clash*
123
sort
155
spy
155
spy points 142
standard-class
82
standard-context
125
standard-db-object
42
standard-kb- object
82
standard-kb-class
82
standard-kb-object
57
,
93
,
126
start-kw
127
static conflict resolution 80
subclasses 16
backward chaining 35
expression 29
forward-condition 28
of forward chaining 28
syntax of Prolog 132
system browser 55
systems 24
var
155
KnowledgeWorks and Prolog User Guide (Macintosh version) - 24 Mar 2017