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