NextPrevTopContents

Index

Symbols

* 4

*c-factor* 68

*cycle* 84

*implic-strength* 68 , 69

+ 4

/== 134

::= 4

:meta keyword 64

<..> 4

= 134

=.. 134

== 134

@< 134

@=< 134

@> 134

@>= 134

[..] 4

| 4

A

action 3 , 23 , 32

add-explanation 67

Advanced Topics

main chapter 63

agenda 27

all-debug 30 , 79

any 32 , 80

any Prolog interface function 124

append 134

arg 117 , 134

arity 31 , 48

assert 25 , 80

asserta 134

assertion 25

assertz 134

atomic 134

B

backward chaining 2 , 9 , 23 , 30 , 75

debugging 33

definition of rules 32

implementation notes 158

interpreter 32

syntax 31

bagof 134

browsers 8

class 13 , 52

object 10 , 18 , 55

rule 8 , 16 , 57

system 51

C

C 1

call 134

certainty factor 68

certainty factors 68 , 71

*c-factor* 68

chaining 2

class browser 52

classes 13

named 36

relational database 37

unnamed 36

clause 134

clear 50

clear-all 50 , 81

clear-rules 50 , 82

CLOS 2 , 3 , 5 , 7 , 10 , 19 , 23 , 30 , 50 , 72

class categories in KnowledgeWorks 35

classes in KnowledgeWorks 35

objects in 4 , 35

CLOS mixin class 4

CLOS/SQL class 37

Common Lisp Interface 33

Common Lisp Object System (CLOS) 2 , 5

Common Prolog main chapter 115

condition 23

syntax 24

conflict resolution 15 , 24 , 28 , 70

-lex 29 , 74

lex 29

-mea 29 , 74

mea 29

optimising 74

-order 28

order 28

order of 28

-priority 28

priority 28

priority 28

-recency 28 , 74

recency 28

recency 28

-specificity 28

specificity 28

tactics 28 , 74

use of contexts 74

user definable 70

user-definable 70

conflict resolution strategy 70

conflict resolution tactic 28 , 70

conflict-set 82

context 27 , 63

context 25 , 26 , 83

context definition 30

contexts 8 , 27

control

flow of 27 , 63

creep 17 , 59

cut 76

cut 83

*cycle* 84

cycle

of forward chaining 23

D

debug 134

debugger

in Prolog 127

debugging 2 , 16 , 30 , 58

backward chaining 33

forward chaining 30

debugging 134

default-context 27 , 50 , 81 , 82

defclass 84 , 86

defclass macro in LispWorks 36

defcontext 28 , 29 , 64 , 86

defdetpred 137

defdetrel 134

defdetunipred 137

defexplain 67

defgrammar 134

Defining Contexts 30

def-kb-class 36 , 68 , 76 , 84

def-kb-struct 72 , 73 , 85

defmethod 76

def-named-kb-class 36 , 85

defrel 116 , 134

defrelmacro 132 , 134

defrel-special-form-macro 135

defrule 23 , 26 , 31 , 63 , 64 , 69 , 75 , 77 , 87

defstruct 72 , 85

deftactic 70 , 88

def-view-class in LispWorks 38

deterministic 135

dynamic conflixt resolution 74

E

Edinburgh Prolog 33

Edinburgh Syntax 132

compatible predicates 138

editor 49

editor window 9

environment

graphic environment in Prolog 133

erase 25 , 89 , 135

explanations 66

expression

syntax 25

F

fail 90 , 135

field

pattern 11 , 56

query 56

findall 32 , 90 , 124 , 135

findallset 124 , 135

fire-rule 64 , 91

forward chaining 2 , 7 , 23 , 72 , 73

cycle 23 , 63 , 64

debugging 30

history 14 , 61

implementation notes 157

interpreter 27

rule definition 26

syntax 24

functor 117 , 135

G

get-object 36 , 91

goals 3

graphical tools 2

H

halt 135

history 14

forward chaining 14 , 61

I

Implementation Notes

appendix 157

implication strength 68

*implic-strength* 68 , 69

infer 7 , 17 , 27 , 92

inference engine 3

*in-interpreter* 92

inspector

instances 53

instantiation 64 , 65 , 94

instantiations 65

inst-bindings 65 , 93

inst-rulename 65 , 93

inst-token 65 , 94

integer 135

interface functions in Prolog 124

interpreter

backward chaining 32

forward chaining 27

Introduction

main chapter 1

is 135

K

keysort 135

keyword

:backward 23

:forward 23

:name 36

:priority 15

Knowledge Based Systems (KBS) 1 , 4

KnowledgeWorks 1 , 7

backward chaining engine 30

clearing 50

CLOS objects 30 , 35

Converting Other Systems Into, 165

Gc-monitor 6

generic functions 54

historical perspective 1

inspector 53

instances 53

Lisp Monitor 6

listener 48

mixin class 37

object base 30

objects 31

podium 6

rule development 47

rule monitor 57 , 59

rules in 23

running the tutorial 7

spy window 57

structures 46 , 72

technical overview 2

tools 18

Use of Meta-Classes 76

kw-class 96

L

leap 18 , 59

leash 135

leashing 127

-lex 29 , 74

-lex 98

lex 29

lex 97

Lisp 1 , 5 , 24 , 33 , 35

integration of 19

LispWorks 1 , 5 , 20 , 30

accessing Lisp from Prolog 120

availability in KnowledgeWorks 47

Common Prolog Logic Listener 48

SQL interface 37

Lispworks

calling Prolog 122

listener 7 , 48

listing 135

loading files 7

logic 122

logic interpreter 118

logic listener 133

logical 25

M

macro

in Prolog 132

make-instance 25 , 36 , 72 , 98

-mea 29 , 74

-mea 98

mea 29

mea 99

member 135

menu button

creep 17 , 59

leap 18 , 59

menu item

browse 13

class browser 13

Classes 13

clear 50

context 57

FC History 14

Inspect 56

Instantiations 56

KnowledgeWorks 7 , 8 , 10 , 13 , 14 , 56 , 57

Listener 7

Objects 10 , 56

Rules 8 , 57

Meta Object Protocol (MOP) 4

Meta Rule Protocol (MRP) 4 , 63

meta-interpreter 63

metaprotocols 2

meta-rule 63

mixin 4 , 36

monitor window 16 , 59

MYCIN 68

N

name 36 , 95

named classes 36

named-kb-object 36 , 86 , 100

node 9

no-debug 30 , 100

nodebug 135

nonvar 135

nospy 135

not 25 , 100 , 135

notrace 136

O

object 31

browser 18 , 55

certainty factor 68

named 35

object base 17 , 46

clearing 50

main chapter 35

uncertainty 68

object browser 10

object system 2

once 136

OPS5 73 , 165

optimisation 72

optimisation of KnowledgeWorks 46

-order 104

order 28

order 28 , 102

output-defrels 136

P

pattern 11 , 56

matching 75

popup 7

Preferences... command 11 , 56 , 58

*print-verbose* 98

-priority 28

-priority 104

priority 28

priority 28 , 103

procedural language 2

programming environment

main chapter 47

Prolog 30 , 33 , 168

accessing Lisp 120

adding built in predicates 137

built in predicates 134

calling from LispWorks 122

cut 76

debugging 127

Edinburgh Syntax 132

exiting the interpreter 120

graphic environment 133

interface functions 124

leashing 127

logic interpreter 118

logic listener 133

macros 132

main chapter 115

overview 115

predicates compatible with Edinburgh syntax 138

retrieving multiple solutions in 118

specifying multiple goals in 119

spy points 127

syntax 116

tracing 127

Q

query 56

R

read-query-print loop 118

read-term 136

-recency 28 , 74

-recency 104

recency 28

recency 28 , 105

recorda 136

recorded 136

recordz 136

relational database classes 37

repeat 136

reset 50 , 106

retract 136

return 25 , 26 , 28 , 106

rule 23

action 23

backward chaining 32

browser 16

condition 23

definition of forward chaining 26

editing definitions 18

groups 14

implication strength 68

single-stepping 17

rule browser 57

rule monitor 57 , 59

rule preconditions 73

rulebase 37

rule-defined conflict resolution 74

Rules

main chapter 23

S

setof 136

sort 136

-specificity 28

-specificity 107

specificity 28

specificity 108

spy 136

spy points 127

spy window 17 , 57 , 58

standard- kb-object 38 , 76

standard-class 76

standard-context 109

standard-db-object 38

standard-kb- object 76

standard-kb-class 76

standard-kb-object 52 , 84 , 109

start-cycle 64 , 110

start-kw 110

static conflict resolution 74

structures 46 , 50 , 72

subclasses 13

syntax

backward chaining 31

expression 25

forward-condition 24

of forward chaining 24

syntax of Prolog 116

system browser 51

systems 20

T

tactic 28 , 70

Tail Recursion 75

test 111

Tools menu

Preferences... 11 , 56 , 58

trace

in Prolog 127

trace 136

translate-vars 136

true 137

Tutorial

main chapter 5

U

undefcontext 30 , 111

undefrule 27 , 111

unleash 137

unnamed classes 36

V

var 137

W

window

browser 8

editor 9 , 49

listener 7 , 48

monitor 16 , 59

podium 6

popup 7

spy 17 , 57 , 58

subclasses 13

with-prolog 126

with-rule-actions 112


KnowledgeWorks and Prolog User Guide (Unix version) - 4 Apr 2005

NextPrevTopContents