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