Next Prev Top Contents

Index

Symbols

* 4

*c-factor* 70

*cycle* 94

*implic- strength* 71

*implic-strength* 70

+ 4

/== 136

::= 4

:meta keyword 66

<..> 4

= 136

=.. 136

== 136

@< 136

@=< 136

@> 136

@>= 136

[..] 4

| 4

A

action 3 , 23 , 32

add-explanation 69

Advanced Topics

main chapter 65

agenda 27

all-debug 30 , 81

any 32 , 82

any Prolog interface function 126

append 136

arg 119 , 136

arity 31 , 48

assert 25 , 82

asserta 136

assertion 25

assertz 136

atomic 136

B

backward chaining 2 , 10 , 23 , 30 , 77

debugging 33

definition of rules 31

implementation notes 160

interpreter 32

syntax 30

bagof 136

browsers 8

class 13 , 52

object 11 , 19 , 54

rule 9 , 16 , 56 , 58 , 60

system 51

C

C 1

call 136

certainty factor 70

certainty factors 70 , 73

*c-factor* 70

chaining 2

class browser 52

classes 13

named 36

relational database 37

unnamed 36

clause 136

clear 50

clear-all 50 , 83

clear-rules 50 , 83

CLOS 2 , 3 , 5 , 7 , 11 , 20 , 23 , 30 , 50 , 74

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 117

condition 23

syntax 24

conflict resolution 15 , 24 , 27 , 28 , 72

-lex 29 , 76

lex 28

-mea 28 , 76

mea 28

optimising 76

-order 28

order 27

order of 28

-priority 28

priority 28

priority 27

-recency 28 , 76

recency 28

recency 27

-specificity 28

specificity 28

tactics 28 , 76

use of contexts 76

user definable 72

user-definable 72

conflict resolution strategy 72

conflict resolution tactic 28 , 72

conflict-set 84

context 27 , 65

context 25 , 84

context definition 29

contexts 9 , 27

control

flow of 27 , 65

creep 18 , 59

cut 78

cut 85

*cycle* 87 , 94

cycle

of forward chaining 23

D

debug 136

debugger

in Prolog 129

debugging 2 , 16 , 30 , 58

backward chaining 33

forward chaining 30

debugging 136

default-context 27 , 50 , 83 , 84

defclass 86 , 87

defclass macro in LispWorks 36

defcontext 27 , 28 , 29 , 66 , 88

defdetpred 139

defdetrel 136

defdetunipred 139

defexplain 69

defgrammar 136

Defining Contexts 29

def-kb-class 36 , 70 , 78 , 86

def-kb-struct 74 , 75 , 87

defmethod 78

def-named-kb-class 36 , 87

defrel 118 , 136

defrelmacro 134 , 136

defrel-special-form-macro 137

defrule 23 , 26 , 31 , 65 , 66 , 71 , 77 , 79 , 89

defstruct 74 , 87

deftactic 72 , 90

def-view-class in LispWorks 38

deterministic 137

dynamic conflixt resolution 76

E

Edinburgh Prolog 32

Edinburgh Syntax 134

compatible predicates 140

editor 49

editor window 10

environment

graphic environment in Prolog 134

erase 25 , 91 , 137

explanations 68

expression

syntax 25

F

fail 92 , 137

field

pattern 12 , 55

query 54

findall 32 , 92 , 126 , 137

findallset 126 , 137

fire-rule 66 , 93

forward chaining 2 , 7 , 23 , 74 , 75

cycle 23 , 65 , 66

debugging 30

history 14 , 62

implementation notes 159

interpreter 27

rule definition 26

syntax 24

functor 119 , 137

G

gentemp 88

get-object 36 , 93

goals 3

graphical tools 2

H

halt 137

history 14

forward chaining 14 , 62

I

Implementation Notes

appendix 159

implication strength 70

*implic- strength* 71

*implic-strength* 70

infer 7 , 18 , 27 , 94

inference engine 3

*in-interpreter* 94

inspector

instances 52

instantiation 66 , 67 , 96

instantiations 67

inst-bindings 67 , 95

inst-rulename 67 , 95

inst-token 67 , 96

integer 137

interface functions in Prolog 126

interpreter

backward chaining 32

forward chaining 27

Introduction

main chapter 1

is 137

K

keysort 137

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, 167

Gc-monitor 5

generic functions 53

historical perspective 1

inspector 52

instances 52

listener 48

mixin class 37

object base 30

objects 31

podium 5 , 7 , 9 , 11 , 13 , 14 , 21

rule development 47

rule monitor 57 , 60

rules in 23

running the tutorial 7

spy window 57

structures 46 , 74

technical overview 2

tools 19

Use of Meta-Classes 78

kw-class 98

L

leap 19 , 59

leash 137

leashing 129

-lex 29 , 76

-lex 100

lex 28

lex 99

Lisp 1 , 5 , 24 , 33 , 35

integration of 20

LispWorks 1 , 5 , 21 , 30

accessing Lisp from Prolog 122

availability in KnowledgeWorks 47

Common Prolog Logic Listener 48

SQL interface 37

Lispworks

calling Prolog 124

listener 7 , 48

listing 137

loading files 7

logic 124

logic interpreter 120

logic listener 135

M

macro

in Prolog 134

make-instance 36 , 74 , 100

-mea 28 , 76

-mea 100

mea 28

mea 101

member 137

menu button

creep 18 , 59

leap 19 , 59

menu item

browse 13

class browser 13

clear 50

context 56

KnowledgeWorks 7

Listener 7

Meta Object Protocol (MOP) 4

Meta Rule Protocol (MRP) 4 , 65

meta-interpreter 65

metaprotocols 2

meta-rule 65

mixin 4 , 36

monitor window 16 , 60

MYCIN 70

N

name 36 , 97

named classes 36

named- kb-object 87

named-kb-object 36 , 87 , 102

node 10

no-debug 30 , 102

nodebug 137

nonvar 137

nospy 137

not 102 , 137

notrace 138

O

object 31

browser 19 , 54

certainty factor 70

named 35

object base 17 , 46

clearing 50

main chapter 35

uncertainty 70

object browser 11

object system 2

once 138

OPS5 75 , 167

optimisation 74

optimisation of KnowledgeWorks 46

-order 106

order 28

order 27 , 104

output-defrels 138

P

pattern 12 , 55

matching 77

popup 7

*print-verbose* 100

-priority 28

-priority 106

priority 28

priority 27 , 105

procedural language 2

programming environment

main chapter 47

Prolog 30 , 32 , 170

accessing Lisp 122

adding built in predicates 139

built in predicates 136

calling from LispWorks 124

cut 78

debugging 129

Edinburgh Syntax 134

exiting the interpreter 122

graphic environment 134

interface functions 126

leashing 129

logic interpreter 120

logic listener 135

macros 134

main chapter 117

overview 117

predicates compatible with Edinburgh syntax 140

retrieving multiple solutions in 120

specifying multiple goals in 121

spy points 129

syntax 118

tracing 129

Q

query 54

R

read-query-print loop 120

read-term 138

-recency 28 , 76

-recency 106

recency 28

recency 27 , 107

recorda 138

recorded 138

recordz 138

relational database classes 37

repeat 138

reset 50 , 108

retract 138

return 25 , 28 , 108

rule 23

action 23

backward chaining 31

browser 16

condition 23

definition of forward chaining 26

editing definitions 19

groups 14

implication strength 70

single-stepping 18

rule browser 56 , 58 , 60

rule monitor 57 , 60

rule preconditions 75

rulebase 37

rule-defined conflict resolution 76

Rules

main chapter 23

S

setof 138

sort 138

-specificity 28

-specificity 109

specificity 28

specificity 110

spy 138

spy points 129

spy window 18 , 57 , 58

standard- kb-object 38 , 78

standard-class 78

standard-context 111

standard-db-object 38

standard-kb- object 78

standard-kb-class 78

standard-kb-object 52 , 86 , 111

start-cycle 66 , 112

start-kw 112

static conflict resolution 76

structures 46 , 50 , 74

subclasses 13

syntax

backward chaining 30

expression 25

forward-condition 24

of forward chaining 24

syntax of Prolog 118

system browser 51

systems 21

T

tactic 28 , 72

Tail Recursion 77

test 113

trace

in Prolog 129

trace 138

translate-vars 138

true 139

Tutorial

main chapter 5

U

undefcontext 29 , 113

undefrule 26 , 114

unleash 139

unnamed classes 36

V

var 139

W

window

browser 8

editor 10 , 49

listener 7 , 48

monitor 16 , 60

podium 5 , 7 , 9 , 11 , 13 , 14 , 21

popup 7

spy 18 , 57 , 58

subclasses 13

with-prolog 128

with-rule-actions 114


LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001

Next Prev Top Contents