NextPrevTopContents

Index

Symbols

* 4

+ 4

/== 148

::= 4

<..> 4

= 148

=.. 148

== 148

@< 148

@=< 148

@> 148

@>= 148

[..] 4

| 4

A

action 3 , 25 , 34

add-explanation 71

Advanced Topics

main chapter 67

agenda 29

all-debug 32 , 85

any 34 , 86

any Prolog interface function 138

append 148

arg 131 , 148

arity 33 , 51

assert 27 , 81 , 86

asserta 148

assertion 27

assertz 148

atomic 148

B

backward chaining 2 , 10 , 25 , 32 , 79

debugging 35

definition of rules 34

implementation notes 172

interpreter 34

syntax 33

bagof 148

browsers 8

class 14 , 54

object 11 , 19 , 57

rule 9 , 17 , 59

system 53

C

C 1

call 148

certainty factor 72

certainty factors 72 , 75

*c-factor* 72

chaining 2

class browser 54

classes 14

named 38

relational database 39

unnamed 38

clause 148

clear 52

clear-all 53 , 83 , 87

clear-rules 53 , 88

CLOS 2 , 3 , 5 , 7 , 11 , 21 , 25 , 32 , 52 , 76

class categories in KnowledgeWorks 37

classes in KnowledgeWorks 37

objects in 4 , 37

CLOS mixin class 4

CLOS/SQL class 39

Common Lisp Interface 35

Common Lisp Object System (CLOS) 2 , 5

Common Prolog main chapter 129

condition 25

syntax 26

conflict resolution 16 , 26 , 30 , 74

-lex 31 , 78

lex 31

-mea 31 , 78

mea 30

optimizing 78

-order 30

order 30

-priority 30

priority 30

-recency 30 , 78

recency 30

-specificity 30

specificity 30

tactics 30 , 78

use of contexts 78

user definable 74

user-definable 74

conflict resolution strategy 74

conflict resolution tactic 30 , 74

conflict-set 88

context 29 , 67

context 27 , 89

context definition 32

contexts 9 , 29

control

flow of 29 , 67

creep 19 , 61

current-cycle 90

cut 80

cut 90

*cycle* 91

cycle

of forward chaining 26

D

debug 148

debugger

in Prolog 141

debugging 2 , 17 , 32 , 60

backward chaining 35

forward chaining 32

debugging 148

default-context 29 , 53 , 88

defclass 91 , 93

defclass macro in LispWorks 38

defcontext 29 , 30 , 31 , 68 , 93

defdetpred 151

defdetrel 148

defdetunipred 152

defexplain 71

defgrammar 148

Defining Contexts 32

def-kb-class 38 , 72 , 80 , 82 , 91

def-kb-struct 76 , 77 , 92

defmethod 80

def-named-kb-class 38 , 92

defrel 130 , 148

defrelmacro 146 , 148

defrel-special-form-macro 149

defrule 25 , 28 , 33 , 67 , 68 , 73 , 79 , 81 , 82 , 83 , 95

defstruct 76 , 92

deftactic 74 , 96

def-view-class in LispWorks 40

destroy-inferencing-state 83 , 97

deterministic 149

documentation strings 25 , 30 , 74 , 94 , 95 , 97

dynamic conflict resolution 78

E

Edinburgh Prolog 35

Edinburgh Syntax 146

compatible predicates 152

editor 52

editor window 9

environment

graphic environment in Prolog 147

erase 27 , 98 , 149

explanations 70

expression

syntax 27

F

fail 98 , 149

field

pattern 12 , 57

query 57

findall 34 , 100 , 138 , 149

findallset 138 , 149

find-inferencing-state 83 , 99

fire-rule 68 , 101

forward chaining 2 , 8 , 25 , 76 , 77

cycle 26 , 67 , 68

debugging 32

history 15 , 64

implementation notes 171

interpreter 29

rule definition 28

syntax 26

functor 131 , 149

G

get-object 38 , 101

goals 3

graphical tools 2

H

halt 149

history 15

forward chaining 15 , 64

I

Implementation Notes

appendix 171

implication strength 72

*implic-strength* 72 , 73

infer 8 , 19 , 29 , 83 , 102

inference engine 3

inferencing states

creating and maintaining 83

current 83 , 103

definition of 82

uses 83

*inferencing-state* 83 , 103

inferencing-state-name 103

*in-interpreter* 102

inspector

instances 55

instantiation 68 , 69 , 106

instantiations 69

inst-bindings 69 , 104

inst-rulename 69 , 105

inst-token 69 , 105

integer 149

interface functions in Prolog 138

interpreter

backward chaining 34

forward chaining 29

Introduction

main chapter 1

is 149

K

keysort 149

keyword

:backward 25

:forward 25

:meta 68

:name 38

:priority 16

Knowledge Based Systems (KBS) 1 , 4

KnowledgeWorks 1 , 7

backward chaining engine 32

clearing 52

CLOS objects 32 , 37

Converting Other Systems Into, 179

generic functions 56

historical perspective 1

inspector 55

instances 55

listener 51

mixin class 39

object base 32

objects 33

rule development 49

rule monitor 60 , 62

rules in 25

running the tutorial 8

spy window 60

structures 48 , 76

technical overview 2

tools 19

Use of Meta-Classes 80

kw-class 108

L

leap 19 , 61

leash 149

leashing 141

-lex 31 , 78 , 109

lex 31 , 109

Lisp 1 , 5 , 26 , 35 , 37

integration of 21

LispWorks 1 , 5 , 22 , 32

accessing Lisp from Prolog 134

availability in KnowledgeWorks 49

Common Prolog Logic Listener 51

SQL interface 39

Lispworks

calling Prolog 136

list-all-inferencing-state 83 , 107

listener 8 , 51

listing 149

loading files 7

logic 136

logic interpreter 132

logic listener 147

logical 27 , 81

M

macro

in Prolog 146

make-inferencing-state 83 , 110

make-instance 38 , 76 , 81 , 111

-mea 31 , 78 , 112

mea 30 , 113

member 149

menu button

creep 19 , 61

leap 19 , 61

menu item

browse 14

class browser 14

Classes 14

clear 52

context 59

FC History 15

Inspect 58

Instantiations 58

KnowledgeWorks 7 , 14 , 15

Listener 7

Objects 11 , 57

Rules 9 , 59

:meta keyword 68

Meta Object Protocol (MOP) 4

Meta Rule Protocol (MRP) 4 , 67

meta-interpreter 67

metaprotocols 2

meta-rule 67

mixin 4 , 38

monitor window 17 , 62

MYCIN 72

N

name 38 , 107

named classes 38

named-kb-object 38 , 93 , 113

node 9

no-debug 32 , 114

nodebug 149

nonvar 149

nospy 149

not 27 , 114 , 149

notrace 150

O

object 33

browser 19 , 57

certainty factor 72

named 37

object base 18 , 48

and inferencing states 82

clearing 52

main chapter 37

uncertainty 72

object browser 11

object system 2

once 150

OPS5 77 , 179

optimization 76

optimization of KnowledgeWorks 48

-order 30 , 115

order 30 , 116

output-defrels 150

P

pattern 12 , 57

matching 79

popup 8

*print-verbose* 117

-priority 30 , 117

priority 30 , 118

procedural language 2

programming environment

main chapter 49

Prolog 32 , 35 , 182

accessing Lisp 134

adding built in predicates 151

built in predicates 148

calling from LispWorks 136

cut 80

debugging 141

Edinburgh Syntax 146

exiting the interpreter 134

graphic environment 147

interface functions 138

leashing 141

logic interpreter 132

logic listener 147

macros 146

main chapter 129

overview 129

predicates compatible with Edinburgh syntax 152

retrieving multiple solutions in 132

specifying multiple goals in 133

spy points 141

syntax 130

tracing 141

Q

query 57

R

read-query-print loop 132

read-term 150

-recency 30 , 78 , 118

recency 30 , 119

recorda 150

recorded 150

recordz 150

relational database classes 39

repeat 150

reset 52 , 83 , 120

retract 150

return 27 , 30 , 121

rule 25

action 25

backward chaining 34

browser 17

condition 25

definition of forward chaining 28

editing definitions 20

groups 15

implication strength 72

single-stepping 18

rule browser 59

rule monitor 60 , 62

rule preconditions 77

rulebase 39

rule-defined conflict resolution 78

Rules

main chapter 25

S

setof 150

*signal-kb-name-clash* 121

sort 150

-specificity 30 , 122

specificity 30 , 122

spy 150

spy points 141

spy window 18 , 60

standard- kb-object 40 , 80

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-cycle 68 , 124

start-kw 125

static conflict resolution 78

structures 48 , 52 , 76

subclasses 14

syntax

backward chaining 33

expression 27

forward-condition 26

of forward chaining 26

syntax of Prolog 130

system browser 53

systems 22

T

tactic 30 , 74 , 96

Tail Recursion 79

test 125

trace

in Prolog 141

trace 150

translate-vars 150

true 151

truth maintenance 27 , 81

Tutorial

main chapter 5

U

undefcontext 32 , 126

undefrule 28 , 126

unleash 151

unnamed classes 38

V

var 151

W

window

browser 8

editor 9 , 52

listener 7 , 8 , 51

monitor 17 , 62

popup 8

spy 18 , 60

subclasses 14

Window menu

Window Preferences... 12 , 58 , 60

Window Preferences... command 12 , 58 , 60

with-prolog 140

with-rule-actions 127


KnowledgeWorks and Prolog User Guide (Macintosh version) - 11 Jul 2006

NextPrevTopContents