NextPrevTopContents

Index

Symbols

* 4

*c-factor* 64

*cycle* 80

*implic-strength* 64 , 65

+ 4

/== 130

::= 4

:meta keyword 60

<..> 4

= 130

=.. 130

== 130

@< 130

@=< 130

@> 130

@>= 130

[..] 4

| 4

A

action 3 , 21 , 30

add-explanation 63

Advanced Topics

main chapter 59

agenda 25

all-debug 28 , 75

any 30 , 76

any Prolog interface function 120

append 130

arg 113 , 130

arity 29 , 46

assert 23 , 76

asserta 130

assertion 23

assertz 130

atomic 130

B

backward chaining 2 , 10 , 21 , 28 , 71

debugging 31

definition of rules 30

implementation notes 154

interpreter 30

syntax 29

bagof 130

browsers 8

class 13 , 49

object 10 , 17 , 52

rule 9 , 15 , 53

system 48

C

C 1

call 130

certainty factor 64

certainty factors 64 , 67

*c-factor* 64

chaining 2

class browser 49

classes 13

named 34

relational database 35

unnamed 34

clause 130

clear 48

clear-all 48 , 77

clear-rules 48 , 78

CLOS 2 , 3 , 5 , 8 , 10 , 18 , 21 , 28 , 48 , 68

class categories in KnowledgeWorks 33

classes in KnowledgeWorks 33

objects in 4 , 33

CLOS mixin class 4

CLOS/SQL class 35

Common Lisp Interface 31

Common Lisp Object System (CLOS) 2 , 5

Common Prolog main chapter 111

condition 21

syntax 22

conflict resolution 14 , 22 , 26 , 66

-lex 27 , 70

lex 27

-mea 27 , 70

mea 27

optimising 70

-order 26

order 26

order of 26

-priority 26

priority 26

priority 26

-recency 26 , 70

recency 26

recency 26

-specificity 26

specificity 26

tactics 26 , 70

use of contexts 70

user definable 66

user-definable 66

conflict resolution strategy 66

conflict resolution tactic 26 , 66

conflict-set 78

context 25 , 59

context 23 , 24 , 79

context definition 28

contexts 9 , 25

control

flow of 25 , 59

creep 17 , 55

cut 72

cut 79

*cycle* 80

cycle

of forward chaining 21

D

debug 130

debugger

in Prolog 123

debugging 2 , 15 , 28 , 54

backward chaining 31

forward chaining 28

debugging 130

default-context 25 , 48 , 77 , 78

defclass 80 , 82

defclass macro in LispWorks 34

defcontext 26 , 27 , 60 , 82

defdetpred 133

defdetrel 130

defdetunipred 133

defexplain 63

defgrammar 130

Defining Contexts 28

def-kb-class 34 , 64 , 72 , 80

def-kb-struct 68 , 69 , 81

defmethod 72

def-named-kb-class 34 , 81

defrel 112 , 130

defrelmacro 128 , 130

defrel-special-form-macro 131

defrule 21 , 24 , 29 , 59 , 60 , 65 , 71 , 73 , 83

defstruct 68 , 81

deftactic 66 , 84

def-view-class in LispWorks 36

deterministic 131

dynamic conflixt resolution 70

E

Edinburgh Prolog 31

Edinburgh Syntax 128

compatible predicates 134

editor 47

editor window 9

environment

graphic environment in Prolog 129

erase 23 , 85 , 131

explanations 62

expression

syntax 23

F

fail 86 , 131

field

pattern 11 , 52

query 52

findall 30 , 86 , 120 , 131

findallset 120 , 131

fire-rule 60 , 87

forward chaining 2 , 8 , 21 , 68 , 69

cycle 21 , 59 , 60

debugging 28

history 14 , 57

implementation notes 153

interpreter 25

rule definition 24

syntax 22

functor 113 , 131

G

get-object 34 , 87

goals 3

graphical tools 2

H

halt 131

history 14

forward chaining 14 , 57

I

Implementation Notes

appendix 153

implication strength 64

*implic-strength* 64 , 65

infer 8 , 17 , 25 , 88

inference engine 3

*in-interpreter* 88

inspector

instances 50

instantiation 60 , 61 , 90

instantiations 61

inst-bindings 61 , 89

inst-rulename 61 , 89

inst-token 61 , 90

integer 131

interface functions in Prolog 120

interpreter

backward chaining 30

forward chaining 25

Introduction

main chapter 1

is 131

K

keysort 131

keyword

:backward 21

:forward 21

:name 34

:priority 14

Knowledge Based Systems (KBS) 1 , 4

KnowledgeWorks 1 , 7

backward chaining engine 28

clearing 48

CLOS objects 28 , 33

Converting Other Systems Into, 161

generic functions 51

historical perspective 1

inspector 50

instances 50

listener 46

mixin class 35

object base 28

objects 29

podium 6

rule development 45

rule monitor 54 , 56

rules in 21

running the tutorial 8

spy window 54

structures 44 , 68

technical overview 2

tools 17

Use of Meta-Classes 72

kw-class 92

L

leap 17 , 55

leash 131

leashing 123

-lex 27 , 70

-lex 94

lex 27

lex 93

Lisp 1 , 5 , 22 , 31 , 33

integration of 18

LispWorks 1 , 5 , 19 , 28

accessing Lisp from Prolog 116

availability in KnowledgeWorks 45

Common Prolog Logic Listener 46

SQL interface 35

Lispworks

calling Prolog 118

listener 8 , 46

listing 131

loading files 7

logic 118

logic interpreter 114

logic listener 129

logical 23

M

macro

in Prolog 128

make-instance 23 , 34 , 68 , 94

-mea 27 , 70

-mea 94

mea 27

mea 95

member 131

menu button

creep 17 , 55

leap 17 , 55

menu item

browse 13

class browser 13

Classes 13

clear 48

context 54

FC History 14

Inspect 53

Instantiations 53

KnowledgeWorks 7 , 13 , 14

Listener 7

Objects 10 , 52

Rules 9 , 53

Meta Object Protocol (MOP) 4

Meta Rule Protocol (MRP) 4 , 59

meta-interpreter 59

metaprotocols 2

meta-rule 59

mixin 4 , 34

monitor window 15 , 56

MYCIN 64

N

name 34 , 91

named classes 34

named-kb-object 34 , 82 , 96

node 9

no-debug 28 , 96

nodebug 131

nonvar 131

nospy 131

not 23 , 96 , 131

notrace 132

O

object 29

browser 17 , 52

certainty factor 64

named 33

object base 16 , 44

clearing 48

main chapter 33

uncertainty 64

object browser 10

object system 2

once 132

OPS5 69 , 161

optimisation 68

optimisation of KnowledgeWorks 44

-order 100

order 26

order 26 , 98

output-defrels 132

P

pattern 11 , 52

matching 71

popup 8

Preferences... command 11 , 53 , 54

*print-verbose* 94

-priority 26

-priority 100

priority 26

priority 26 , 99

procedural language 2

programming environment

main chapter 45

Prolog 28 , 31 , 164

accessing Lisp 116

adding built in predicates 133

built in predicates 130

calling from LispWorks 118

cut 72

debugging 123

Edinburgh Syntax 128

exiting the interpreter 116

graphic environment 129

interface functions 120

leashing 123

logic interpreter 114

logic listener 129

macros 128

main chapter 111

overview 111

predicates compatible with Edinburgh syntax 134

retrieving multiple solutions in 114

specifying multiple goals in 115

spy points 123

syntax 112

tracing 123

Q

query 52

R

read-query-print loop 114

read-term 132

-recency 26 , 70

-recency 100

recency 26

recency 26 , 101

recorda 132

recorded 132

recordz 132

relational database classes 35

repeat 132

reset 48 , 102

retract 132

return 23 , 24 , 26 , 102

rule 21

action 21

backward chaining 30

browser 15

condition 21

definition of forward chaining 24

editing definitions 17

groups 14

implication strength 64

single-stepping 16

rule browser 53

rule monitor 54 , 56

rule preconditions 69

rulebase 35

rule-defined conflict resolution 70

Rules

main chapter 21

S

setof 132

sort 132

-specificity 26

-specificity 103

specificity 26

specificity 104

spy 132

spy points 123

spy window 16 , 54

standard- kb-object 36 , 72

standard-class 72

standard-context 105

standard-db-object 36

standard-kb- object 72

standard-kb-class 72

standard-kb-object 49 , 80 , 105

start-cycle 60 , 106

start-kw 106

static conflict resolution 70

structures 44 , 48 , 68

subclasses 13

syntax

backward chaining 29

expression 23

forward-condition 22

of forward chaining 22

syntax of Prolog 112

system browser 48

systems 19

T

tactic 26 , 66

Tail Recursion 71

test 107

Tools menu

Preferences... 11 , 54

trace

in Prolog 123

trace 132

translate-vars 132

true 133

Tutorial

main chapter 5

U

undefcontext 28 , 107

undefrule 25 , 107

unleash 133

unnamed classes 34

V

var 133

W

window

browser 8

editor 9 , 47

listener 7 , 8 , 9 , 46 , 53

monitor 15 , 56

podium 6

popup 8

spy 16 , 54

subclasses 13

with-prolog 122

with-rule-actions 108


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevTopContents