All Manuals > KnowledgeWorks and Prolog User Guide

NextPrevTopContents

Index

Symbols

* 5

+ 5

/== 148

::= 4

<..> 4

= 148

=.. 148

== 148

@< 148

@=< 149

@> 149

@>= 149

[..] 4

| 5

A

action 3 , 25 , 35

add-explanation 69

Advanced Topics

main chapter 65

agenda 29

all-debug 32 , 83

any 34 , 84

any Prolog interface function 135

append 149

arg 129 , 149

arity 33 , 50

assert 27 , 28 , 79 , 84

asserta 149

assertion 28

assertz 149

atomic 149

B

backward chaining 2 , 11 , 25 , 33 , 77

debugging 35

definition of rules 34

implementation notes 172

interpreter 34

syntax 33

bagof 149

browsers 10

class 15 , 53

object 12 , 20 , 56

rule 10 , 18 , 58

system 52

C

C 1

call 149

certainty factor 70

certainty factors 70 , 73

*c-factor* 70

chaining 2

class browser 53

classes 15

named 38

relational database 39

unnamed 38

clause 149

clear 51

clear-all 51 , 81 , 85

clear-rules 51 , 86

CLOS 2 , 3 , 7 , 9 , 12 , 21 , 25 , 33 , 51 , 74

class categories in KnowledgeWorks 37

classes in KnowledgeWorks 37

objects in 4 , 37

CLOS mixin class 4

CLOS/SQL class 39

Common Lisp Interface 36

Common Lisp Object System (CLOS) 2 , 7

Common Prolog main chapter 127

condition 25

syntax 26

conflict resolution 17 , 26 , 30 , 72

-lex 31 , 76

lex 31

-mea 31 , 76

mea 31

optimizing 76

-order 31

order 30 , 31

-priority 30

priority 30

-recency 30 , 76

recency 30

-specificity 31

specificity 31

tactics 30 , 76

use of contexts 76

user definable 72

user-definable 72

conflict resolution strategy 72

conflict resolution tactic 30 , 72

conflict-set 86

context 29 , 65

context 27 , 28 , 87

context definition 32

contexts 10 , 30

control

flow of 29 , 65

creep 19 , 59

current-cycle 88

cut 78

cut 88

*cycle* 89

cycle

of forward chaining 26

D

DCG 144

debug 149

debugger

in Prolog 138

debugging 2 , 18 , 32 , 59

backward chaining 35

forward chaining 32

debugging 149

default-context 29 , 51 , 86

defclass 89 , 91

defclass macro in LispWorks 38

defcontext 30 , 32 , 66 , 91

defdetpred 152

defdetrel 149

defdetunipred 152

defexplain 69

defgrammar 144 , 149

Defining Contexts 32

Definite Clause Grammars 144

def-kb-class 38 , 70 , 78 , 80 , 89

def-kb-struct 74 , 75 , 90

defmethod 78

def-named-kb-class 38 , 90

defrel 128 , 149

defrelmacro 144 , 149

defrel-special-form-macro 149

defrule 25 , 28 , 33 , 65 , 66 , 71 , 77 , 79 , 80 , 81 , 93

defstruct 74 , 90

deftactic 72 , 94

def-view-class in LispWorks 40

destroy-inferencing-state 81 , 95

deterministic 149

documentation strings 25 , 30 , 72 , 92 , 93 , 95

dynamic conflict resolution 76

E

Edinburgh Prolog 35

Edinburgh Syntax 147

compatible predicates 153

editor 51

editor window 11

environment

graphic environment in Prolog 148

erase 27 , 96 , 149

explanations 68

expression

syntax 27

F

fail 96 , 149

field

pattern 13 , 57

query 57

findall 34 , 98 , 135 , 149

findallset 135 , 150

find-inferencing-state 81 , 97

fire-rule 66 , 99

forward chaining 2 , 9 , 25 , 74 , 75

cycle 26 , 65 , 66

debugging 32

history 16 , 62

implementation notes 171

interpreter 29

rule definition 29

syntax 26

functor 129 , 150

G

get-kb-object 38 , 99

goals 3

graphical tools 2

H

halt 150

history 16

forward chaining 16 , 62

I

Implementation Notes

appendix 171

implication strength 70

*implic-strength* 70 , 71

infer 9 , 19 , 29 , 81 , 100

inference engine 3

inferencing states

creating and maintaining 81

current 81 , 101

definition of 80

uses 81

*inferencing-state* 81 , 101

inferencing-state-name 101

*in-interpreter* 100

inspector

instances 54

instantiation 66 , 67 , 104

instantiations 67

inst-bindings 67 , 102

inst-rulename 67 , 103

inst-token 67 , 103

integer 150

interface functions in Prolog 135

interpreter

backward chaining 34

forward chaining 29

Introduction

main chapter 1

is 150

K

keysort 150

keyword

:backward 25

:forward 25

:meta 66

:name 38

:priority 17

Knowledge Based Systems (KBS) 1 , 4

KnowledgeWorks 1 , 9

backward chaining engine 33

clearing 51

CLOS objects 33 , 37

Converting Other Systems Into, 179

generic functions 55

historical perspective 1

inspector 54

instances 54

listener 50

mixin class 39

object base 33

objects 34

podium 8

rule development 49

rule monitor 58 , 60

rules in 25

running the tutorial 9

spy window 58

structures 48 , 74

technical overview 2

tools 20

Use of Meta-Classes 78

kw-class 106

L

leap 20 , 59

leash 150

leashing 138

-lex 31 , 76 , 107

lex 31 , 107

Lisp 1 , 7 , 27 , 36 , 37

integration of 21

LispWorks 1 , 7 , 22 , 33

accessing Lisp from Prolog 132

availability in KnowledgeWorks 49

calling Prolog 133

Common Prolog Logic Listener 50

SQL interface 39

LispWorks IDE 21

list-all-inferencing-state 81 , 105

listener 9 , 50

listing 150

loading files 9

logic 133

logic interpreter 130

logic listener 148

logical 27 , 79

M

macro

in Prolog 144

make-inferencing-state 81 , 108

make-instance 38 , 74 , 79 , 109

-mea 31 , 76 , 110

mea 31 , 110

member 150

menu button

creep 19 , 59

leap 20 , 59

menu item

browse 15

class browser 15

Classes 15

clear 51

context 58

FC History 16

Inspect 57

Instantiations 57

KnowledgeWorks 9 , 15 , 16

Listener 9

Objects 12 , 57

Rules 10 , 58

:meta keyword 66

Meta Object Protocol (MOP) 4

Meta Rule Protocol (MRP) 4 , 65

meta-interpreter 65

metaprotocols 2

meta-rule 65

mixin 4 , 38

monitor window 18 , 60

MYCIN 70

N

name 38 , 105

named classes 38

named-kb-object 38 , 91 , 111

node 11

no-debug 32 , 112

nodebug 150

nonvar 150

nospy 150

not 27 , 112 , 150

notrace 150

O

object 34

browser 20 , 56

certainty factor 70

named 37

object base 19 , 48

and inferencing states 80

clearing 51

main chapter 37

uncertainty 70

object browser 12

object system 2

once 150

OPS5 75 , 179

optimization 74

optimization of KnowledgeWorks 48

-order 31 , 113

order 30 , 31 , 114

output-defrels 150

P

pattern 13 , 57

matching 77

popup 9

Preferences... command 13 , 57 , 59

*print-verbose* 115

-priority 30 , 115

priority 30 , 116

procedural language 2

programming environment

main chapter 49

Prolog 33 , 35 , 182

accessing Lisp 132

adding built in predicates 152

built in predicates 148

calling from LispWorks 133

cut 78

debugging 138

Edinburgh Syntax 147

exiting the interpreter 131

graphic environment 148

interface functions 135

leashing 138

logic interpreter 130

logic listener 148

macros 144

main chapter 127

overview 127

predicates compatible with Edinburgh syntax 153

retrieving multiple solutions in 130

specifying multiple goals in 131

spy points 138

syntax 128

tracing 138

Q

query 57

R

read-query-print loop 130

read-term 150

-recency 30 , 76 , 116

recency 30 , 117

recorda 151

recorded 151

recordz 151

relational database classes 39

repeat 151

reset 51 , 81 , 118

retract 151

return 27 , 28 , 30 , 119

rule 25

action 25

backward chaining 34

browser 18

condition 25

definition of forward chaining 29

editing definitions 20

groups 16

implication strength 70

single-stepping 19

rule browser 58

rule monitor 58 , 60

rule preconditions 75

rulebase 39

rule-defined conflict resolution 76

Rules

main chapter 25

S

setof 151

*signal-kb-name-clash* 119

sort 151

-specificity 31 , 120

specificity 31 , 120

spy 151

spy points 138

spy window 19 , 58 , 59

standard- kb-object 40 , 78

standard-class 78

standard-context 121

standard-db-object 40

standard-kb- object 78

standard-kb-class 78

standard-kb-object 53 , 89 , 122

start-cycle 66 , 122

start-kw 123

static conflict resolution 76

structures 48 , 51 , 74

subclasses 15

syntax

backward chaining 33

expression 27

forward-condition 26

of forward chaining 26

syntax of Prolog 128

system browser 52

systems 22

T

tactic 30 , 72 , 94

Tail Recursion 77

test 123

Tools menu

Preferences... 13 , 57 , 59

trace

in Prolog 138

trace 151

translate-vars 151

true 151

truth maintenance 27 , 79

Tutorial

main chapter 7

U

undefcontext 32 , 124

undefrule 29 , 124

unleash 151

unnamed classes 38

V

var 151

W

window

browser 10

editor 11 , 51

listener 9 , 10 , 50 , 58

monitor 18 , 60

podium 8

popup 9

spy 19 , 58 , 59

subclasses 15

with-prolog 137

with-rule-actions 125


KnowledgeWorks and Prolog User Guide (Windows version) - 26 Feb 2015

NextPrevTopContents