All Manuals > KnowledgeWorks and Prolog User Guide

Index

A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   Non-alaphanumerics

A

action   1.1.2 : Technical Overview , 3.1.1 : Overview , 3.2.5 : The Backward Chaining Interpreter

add-explanation   6.1.1.3 : A Simple Explanation Facility

Advanced Topics

main chapter   6 : Advanced Topics

agenda   3.1.5.1 : The Agenda

all-debug   function   3.1.7 : Forward Chaining Debugging

any   function   3.2.5 : The Backward Chaining Interpreter , A.6.2.1 : any, findall and findallset

append   A.12 : Built-in Predicates

arg   A.2 : Syntax , A.12 : Built-in Predicates

arity   3.2.2 : Backward Chaining Syntax , 5.1 : The KnowledgeWorks Listener

assert   3.1.2 : Forward Chaining Syntax

assert   backward chaining goal   6.4 : Logical Dependencies and Truth Maintenance

asserta   A.12 : Built-in Predicates

assertion   3.1.2 : Forward Chaining Syntax

assertz   A.12 : Built-in Predicates

atomic   A.12 : Built-in Predicates

B

backward chaining   1.1.2 : Technical Overview , 2.4.1 : Rule Browser , 3 : Rules , 3.2 : Backward Chaining , 6.2.3 : Backward Chaining

debugging   3.2.7 : Backward Chaining Debugging

definition of rules   3.2.4 : Defining Backward Chaining Rules

implementation notes   C.2 : Backward Chainer

interpreter   3.2.5 : The Backward Chaining Interpreter

syntax   3.2.2 : Backward Chaining Syntax

backward chaining goals

assert   6.4 : Logical Dependencies and Truth Maintenance

conflict-set

context

cut

erase   6.4 : Logical Dependencies and Truth Maintenance

fail

fire-rule   6.1.1 : Meta Rule Protocol

instantiation   6.1.1 : Meta Rule Protocol , 6.1.1 : Meta Rule Protocol

kw-class

not

return

standard-context

start-cycle   6.1.1 : Meta Rule Protocol

test

bagof   A.12 : Built-in Predicates

browsers   2.4 : Browsers

class   2.4.3 : Class Browser , 5.5 : The Class Browser

object   2.4.2 : Objects Browser , 2.6.2 : Single-Stepping Rules , 5.6 : The Objects Browser

rule   2.4.1 : Rule Browser , 2.6.1 : Monitoring Forward Chaining Rules , 5.7 : The Rule Browser

system   5.4 : The System Browser

C

C   1.1.1 : Background

call   A.12 : Built-in Predicates

certainty factor   6.1.1.4 : Reasoning with Certainty Factors

certainty factors   6.1.1.4 : Reasoning with Certainty Factors , 6.1.2.1 : Examples

*c-factor*   6.1.1.4 : Reasoning with Certainty Factors

chaining   1.1.2 : Technical Overview

class   def-named-kb-class

class browser   5.5 : The Class Browser

classes   2.4.3 : Class Browser

named   4.1.2 : Named Classes

named-kb-object   4.1.2 : Named Classes

relational database   4.2 : Relational Database Objects

standard-class   6.3 : Use of Meta-Classes

standard-db-object   4.2.1 : Example

standard-kb-object   4.2.1 : Example , 5.5 : The Class Browser , 6.3 : Use of Meta-Classes , def-kb-class

unnamed   4.1.1 : Unnamed Classes

clause   A.12 : Built-in Predicates

clear   5.3 : Clearing KnowledgeWorks

clear-all   function   5.3 : Clearing KnowledgeWorks , 6.5.2 : The Current Inferencing State

clear-rules   function   5.3 : Clearing KnowledgeWorks

CLOS   1.1.1 : Background , 1.1.2 : Technical Overview , 2 : Tutorial , 2.2 : Loading the Tutorial , 2.4.2 : Objects Browser , 2.7 : Lisp Integration , 3 : Rules , 3.2.1 : Overview , 5.3 : Clearing KnowledgeWorks , 6.2.1.1 : KnowledgeWorks Structures

class categories in KnowledgeWorks   4.1 : CLOS objects

classes in KnowledgeWorks   4.1 : CLOS objects

objects in   1.1.2 : Technical Overview , 4.1 : CLOS objects

CLOS mixin class   1.1.2 : Technical Overview

CLOS/SQL class   4.2 : Relational Database Objects

Common Lisp Interface   3.3 : Common Lisp Interface

Common Lisp Object System (CLOS)   1.1.1 : Background , 2 : Tutorial

Common Prolog main chapter   Appendix A: : Common Prolog

condition   3.1.1 : Overview

syntax   3.1.2 : Forward Chaining Syntax

conflict resolution   2.4.4 : Forward Chaining History , 3.1.1 : Overview , 3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

optimizing   6.2.2 : Conflict Resolution

strategy   6.1.2 : User-definable Conflict Resolution

tactics   3.1.5.3 : Conflict Resolution , 6.1.2 : User-definable Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

use of contexts   6.2.2.1 : Use of Contexts

user definable   6.1.2 : User-definable Conflict Resolution

conflict resolution strategy   6.1.2 : User-definable Conflict Resolution

conflict resolution tactic   3.1.5.3 : Conflict Resolution , 6.1.2 : User-definable Conflict Resolution

conflict resolution tactic / functions

lex   3.1.5.3 : Conflict Resolution

-lex   3.1.5.3 : Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

mea   3.1.5.3 : Conflict Resolution

-mea   3.1.5.3 : Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

order   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

-order   3.1.5.3 : Conflict Resolution

priority   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

-priority   3.1.5.3 : Conflict Resolution

recency   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

-recency   3.1.5.3 : Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

specificity   3.1.5.3 : Conflict Resolution

-specificity   3.1.5.3 : Conflict Resolution

conflict-set   backward chaining goal

context   3.1.2 : Forward Chaining Syntax , 6.1.1 : Meta Rule Protocol

context   backward chaining goal

context definition   3.1.6.1 : Defining Contexts

contexts   2.4.1 : Rule Browser , 3.1.5.1 : The Agenda , 3.1.5.2 : Contexts

control

flow of   3.1.5 : Control Flow , 6.1 : Control Flow

creep   2.6.2 : Single-Stepping Rules , 5.8.1 : Spy Windows

current-cycle   function

cut   6.2.3.3 : Cut

cut   backward chaining goal

cycle

of forward chaining   3.1.1 : Overview

*cycle*   symbol macro

D

DCG   A.9 : Defining Definite Clause Grammars

debug   A.12 : Built-in Predicates

debugger

in Prolog   A.7 : Debugging

debugging   1.1.2 : Technical Overview , 2.6 : Debugging , 3.1.7 : Forward Chaining Debugging , 5.8 : Debugging with the Environment , A.12 : Built-in Predicates

backward chaining   3.2.7 : Backward Chaining Debugging

forward chaining   3.1.7 : Forward Chaining Debugging

default-context   3.1.4 : The Forward Chaining Interpreter , 5.3 : Clearing KnowledgeWorks , clear-all , clear-rules

defclass   macro   def-kb-class , def-named-kb-class

defclass macro in LispWorks   4.1.2 : Named Classes

defcontext   macro   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution , 3.1.6 : Examples , 6.1.1 : Meta Rule Protocol

defdetpred   A.13.1 : The defdetpred form

defdetrel   A.12 : Built-in Predicates

defdetunipred   A.13.2 : The defdetunipred form

defexplain   6.1.1.3 : A Simple Explanation Facility , 6.1.1.3 : A Simple Explanation Facility

defgrammar   A.9 : Defining Definite Clause Grammars , A.12 : Built-in Predicates

Defining Contexts   3.1.6.1 : Defining Contexts

Definite Clause Grammars   A.9 : Defining Definite Clause Grammars

def-kb-class   macro   4.1.1 : Unnamed Classes , 4.1.2 : Named Classes , 6.1.1.4 : Reasoning with Certainty Factors , 6.3.1 : Example , 6.4.1 : Example

def-kb-struct   macro   6.2.1.1 : KnowledgeWorks Structures

def-named-kb-class   macro   4.1.2 : Named Classes

defrel   A.2 : Syntax , A.12 : Built-in Predicates

defrelmacro   A.8 : Common Prolog Macros , A.12 : Built-in Predicates

defrel-special-form-macro   A.12 : Built-in Predicates

defrule   macro   3 : Rules , 3.1.2.1 : Example , 3.2.2.1 : Example , 6.1.1 : Meta Rule Protocol , 6.1.1.4 : Reasoning with Certainty Factors , 6.2.3.1 : Pattern Matching , 6.2.3.2 : Tail Recursion , 6.3.1 : Example , 6.4.1 : Example , 6.5.2 : The Current Inferencing State

defstruct   macro   6.2.1.1 : KnowledgeWorks Structures

deftactic   macro   6.1.2 : User-definable Conflict Resolution

def-view-class in LispWorks   4.2.1 : Example

destroy-inferencing-state   function   6.5.1 : Creating and Maintaining Inferencing States

deterministic   A.12 : Built-in Predicates

documentation strings   3 : Rules , 3.1.5.2 : Contexts , 6.1.2 : User-definable Conflict Resolution , defcontext , defrule , deftactic

dynamic conflict resolution   6.2.2.2 : Optimization of the Strategy

E

Edinburgh Prolog   3.2.6 : Edinburgh Prolog Translator

Edinburgh Syntax   A.10 : Edinburgh Syntax

compatible predicates   A.14 : Edinburgh Compatibility Predicates

editor   5.2 : The Editor

editor window   2.4.1 : Rule Browser

environment

graphic environment in Prolog   A.11 : Graphic Development Environment

erase   3.1.2 : Forward Chaining Syntax , A.12 : Built-in Predicates

erase   backward chaining goal   6.4 : Logical Dependencies and Truth Maintenance

explanations   6.1.1.3 : A Simple Explanation Facility

expression

syntax   3.1.2 : Forward Chaining Syntax

F

fail   A.12 : Built-in Predicates

fail   backward chaining goal

field

pattern   2.4.2 : Objects Browser , 5.6 : The Objects Browser

query   5.6 : The Objects Browser

findall   function   3.2.5 : The Backward Chaining Interpreter , A.6.2.1 : any, findall and findallset , A.12 : Built-in Predicates

findallset   function   A.6.2.1 : any, findall and findallset , A.12 : Built-in Predicates

find-inferencing-state   function   6.5.1 : Creating and Maintaining Inferencing States

fire-rule   backward chaining goal   6.1.1 : Meta Rule Protocol

forward chaining   1.1.2 : Technical Overview , 2.3 : Running the Tutorial , 3 : Rules , 6.2.1 : Forward Chaining , 6.2.1.2 : Efficient Forward Chaining Rule Preconditions

cycle   3.1.1 : Overview , 6.1.1 : Meta Rule Protocol , 6.1.1 : Meta Rule Protocol

debugging   3.1.7 : Forward Chaining Debugging

history   2.4.4 : Forward Chaining History , 5.9.1 : Forward Chaining History

implementation notes   C.1 : Forward Chainer

interpreter   3.1.4 : The Forward Chaining Interpreter

rule definition   3.1.3 : Defining Forward Chaining Rules

syntax   3.1.2 : Forward Chaining Syntax

functions

all-debug   3.1.7 : Forward Chaining Debugging

any   3.2.5 : The Backward Chaining Interpreter , A.6.2.1 : any, findall and findallset

clear-all   5.3 : Clearing KnowledgeWorks , 6.5.2 : The Current Inferencing State

clear-rules   5.3 : Clearing KnowledgeWorks

current-cycle

destroy-inferencing-state   6.5.1 : Creating and Maintaining Inferencing States

findall   3.2.5 : The Backward Chaining Interpreter , A.6.2.1 : any, findall and findallset , A.12 : Built-in Predicates

findallset   A.6.2.1 : any, findall and findallset , A.12 : Built-in Predicates

find-inferencing-state   6.5.1 : Creating and Maintaining Inferencing States

get-kb-object   4.1.2 : Named Classes

infer   2.3 : Running the Tutorial , 2.6.2 : Single-Stepping Rules , 3.1.4 : The Forward Chaining Interpreter , 6.5.2 : The Current Inferencing State

inferencing-state-name

inst-bindings   6.1.1.1 : Functions defined on Instantiations

inst-rulename   6.1.1.1 : Functions defined on Instantiations

inst-token   6.1.1.1 : Functions defined on Instantiations

list-all-inferencing-states   6.5.1 : Creating and Maintaining Inferencing States

make-inferencing-state   6.5.1 : Creating and Maintaining Inferencing States

no-debug   3.1.7 : Forward Chaining Debugging

reset   5.3 : Clearing KnowledgeWorks , 6.5.2 : The Current Inferencing State

start-kw

functor   A.2 : Syntax , A.12 : Built-in Predicates

G

generic functions

kb-name   4.1.2 : Named Classes

make-instance   4.1 : CLOS objects , 4.1.1 : Unnamed Classes , 4.1.2 : Named Classes , 6.2.1.1 : KnowledgeWorks Structures , 6.4 : Logical Dependencies and Truth Maintenance

validate-superclass   6.3 : Use of Meta-Classes

get-kb-object   function   4.1.2 : Named Classes

goals   1.1.2 : Technical Overview

graphical tools   1.1.2 : Technical Overview

H

halt   A.12 : Built-in Predicates

history   2.4.4 : Forward Chaining History

forward chaining   2.4.4 : Forward Chaining History , 5.9.1 : Forward Chaining History

I

Implementation Notes

appendix   Appendix C: : Implementation Notes

implication strength   6.1.1.4 : Reasoning with Certainty Factors

*implic-strength*   6.1.1.4 : Reasoning with Certainty Factors , 6.1.1.4 : Reasoning with Certainty Factors

infer   function   2.3 : Running the Tutorial , 2.6.2 : Single-Stepping Rules , 3.1.4 : The Forward Chaining Interpreter , 6.5.2 : The Current Inferencing State

inference engine   1.1.2 : Technical Overview

*inferencing-state*   variable   6.5.2 : The Current Inferencing State

inferencing-state-name   function

inferencing states

creating and maintaining   6.5.1 : Creating and Maintaining Inferencing States

current   6.5.2 : The Current Inferencing State , *inferencing-state*

definition of   6.5 : Inferencing States

interleaved   6.5.3.2 : Interleaved in a Single Thread

multiple threads   6.5.3.1 : Multiple threads

uses   6.5.3 : Uses of Inferencing States

*in-interpreter*   variable

inspector

instances   5.5 : The Class Browser

instantiation   backward chaining goal   6.1.1 : Meta Rule Protocol , 6.1.1 : Meta Rule Protocol

instantiations   6.1.1.1 : Functions defined on Instantiations

inst-bindings   function   6.1.1.1 : Functions defined on Instantiations

inst-rulename   function   6.1.1.1 : Functions defined on Instantiations

inst-token   function   6.1.1.1 : Functions defined on Instantiations

integer   A.12 : Built-in Predicates

interface functions in Prolog   A.6.2 : Interface Functions

interpreter

backward chaining   3.2.5 : The Backward Chaining Interpreter

forward chaining   3.1.4 : The Forward Chaining Interpreter

Introduction

main chapter   1 : Introduction

is   A.12 : Built-in Predicates

K

kb-name   generic function   4.1.2 : Named Classes

:kb-name   initarg   4.1.2 : Named Classes , named-kb-object

keysort   A.12 : Built-in Predicates

keyword

:backward   3 : Rules

:forward   3 : Rules

:meta   6.1.1 : Meta Rule Protocol

:priority   2.4.4 : Forward Chaining History

Knowledge Based Systems (KBS)   1.1.1 : Background , 1.1.2 : Technical Overview

KnowledgeWorks   1.1 : KnowledgeWorks

backward chaining engine   3.2.1 : Overview

clearing   5.3 : Clearing KnowledgeWorks

CLOS objects   3.2.1 : Overview , 4 : Objects

Converting Other Systems Into,   Appendix E: : Converting Other Systems

generic functions   5.5 : The Class Browser

historical perspective   1.1.1 : Background

inspector   5.5 : The Class Browser

instances   5.5 : The Class Browser

listener   5.1 : The KnowledgeWorks Listener

loading files   2.2 : Loading the Tutorial

mixin class   4.2 : Relational Database Objects

object base   3.2.1 : Overview

objects   3.2.3 : Objects

rule development   5 : The Programming Environment

rule monitor   5.7 : The Rule Browser , 5.9 : Monitor Windows

rules in   3 : Rules

running the tutorial   2.3 : Running the Tutorial

spy window   5.7 : The Rule Browser

structures   4.3 : KnowledgeWorks Structures , 6.2.1.1 : KnowledgeWorks Structures

technical overview   1.1.2 : Technical Overview

tools   2.6.2 : Single-Stepping Rules

Use of Meta-Classes   6.3 : Use of Meta-Classes

kw-class   backward chaining goal

L

leap   2.6.2 : Single-Stepping Rules , 5.8.1 : Spy Windows

leash   A.12 : Built-in Predicates

leashing   A.7 : Debugging

lex   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution

-lex   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

Lisp   1.1.1 : Background , 2 : Tutorial , 3.1.2 : Forward Chaining Syntax , 3.3 : Common Lisp Interface , 4 : Objects

integration of   2.7 : Lisp Integration

LispWorks   1.1 : KnowledgeWorks , 2 : Tutorial , 2.8 : Systems , 3.2.1 : Overview

accessing Lisp from Prolog   A.5 : Accessing Lisp From Common Prolog

availability in KnowledgeWorks   5 : The Programming Environment

calling Prolog   A.6 : Calling Prolog From Lisp

Common Prolog Logic Listener   5.1 : The KnowledgeWorks Listener

SQL interface   4.2 : Relational Database Objects

LispWorks IDE   2.7.1 : The LispWorks IDE

list-all-inferencing-states   function   6.5.1 : Creating and Maintaining Inferencing States

listener   2.3 : Running the Tutorial , 5.1 : The KnowledgeWorks Listener

listing   A.12 : Built-in Predicates

loading files   2.2 : Loading the Tutorial

logic   A.6 : Calling Prolog From Lisp

logical   3.1.2 : Forward Chaining Syntax , 6.4 : Logical Dependencies and Truth Maintenance

logic interpreter   A.4 : Using The Logic Interpreter

logic listener   A.11 : Graphic Development Environment

M

macro

in Prolog   A.8 : Common Prolog Macros

macros

defclass   def-kb-class , def-named-kb-class

defcontext   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution , 3.1.6 : Examples , 6.1.1 : Meta Rule Protocol

def-kb-class   4.1.1 : Unnamed Classes , 4.1.2 : Named Classes , 6.1.1.4 : Reasoning with Certainty Factors , 6.3.1 : Example , 6.4.1 : Example

def-kb-struct   6.2.1.1 : KnowledgeWorks Structures

def-named-kb-class   4.1.2 : Named Classes

defrule   3 : Rules , 3.1.2.1 : Example , 3.2.2.1 : Example , 6.1.1 : Meta Rule Protocol , 6.1.1.4 : Reasoning with Certainty Factors , 6.2.3.1 : Pattern Matching , 6.2.3.2 : Tail Recursion , 6.3.1 : Example , 6.4.1 : Example , 6.5.2 : The Current Inferencing State

defstruct   6.2.1.1 : KnowledgeWorks Structures

deftactic   6.1.2 : User-definable Conflict Resolution

undefcontext   3.1.6.1 : Defining Contexts

undefrule   3.1.3 : Defining Forward Chaining Rules

with-rule-actions

make-inferencing-state   function   6.5.1 : Creating and Maintaining Inferencing States

make-instance   generic function   4.1 : CLOS objects , 4.1.1 : Unnamed Classes , 4.1.2 : Named Classes , 6.2.1.1 : KnowledgeWorks Structures , 6.4 : Logical Dependencies and Truth Maintenance

mea   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution

-mea   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

member   A.12 : Built-in Predicates

menu button

creep   2.6.2 : Single-Stepping Rules , 5.8.1 : Spy Windows

leap   2.6.2 : Single-Stepping Rules , 5.8.1 : Spy Windows

menu item

browse   2.4.3 : Class Browser

class browser   2.4.3 : Class Browser

Classes   2.4.3 : Class Browser

clear   5.3 : Clearing KnowledgeWorks

context   5.7 : The Rule Browser

FC History   2.4.4 : Forward Chaining History

Inspect   5.6 : The Objects Browser

Instantiations   5.6 : The Objects Browser

KnowledgeWorks   2.2 : Loading the Tutorial , 2.4.2 : Objects Browser , 2.4.3 : Class Browser , 2.4.4 : Forward Chaining History , 5.6 : The Objects Browser , 5.7 : The Rule Browser

Listener   2.2 : Loading the Tutorial

Objects   2.4.2 : Objects Browser , 5.6 : The Objects Browser

Rules   2.4.1 : Rule Browser , 5.7 : The Rule Browser

:meta   keyword   6.1.1 : Meta Rule Protocol

meta-interpreter   6.1.1 : Meta Rule Protocol

Meta Object Protocol (MOP)   1.1.2 : Technical Overview

metaprotocols   1.1.2 : Technical Overview

meta-rule   6.1.1 : Meta Rule Protocol

Meta Rule Protocol (MRP)   1.1.2 : Technical Overview , 6.1.1 : Meta Rule Protocol

mixin   1.1.2 : Technical Overview , 4.1.1 : Unnamed Classes , 4.1.2 : Named Classes

monitor window   2.6.1 : Monitoring Forward Chaining Rules , 5.9 : Monitor Windows

MYCIN   6.1.1.4 : Reasoning with Certainty Factors

N

named classes   4.1.2 : Named Classes

named-kb-object   class   4.1.2 : Named Classes

node   2.4.1 : Rule Browser

nodebug   A.12 : Built-in Predicates

no-debug   function   3.1.7 : Forward Chaining Debugging

nonvar   A.12 : Built-in Predicates

nospy   A.12 : Built-in Predicates

not   3.1.2 : Forward Chaining Syntax , A.12 : Built-in Predicates

not   backward chaining goal

notrace   A.12 : Built-in Predicates

O

object   3.2.3 : Objects

browser   2.6.2 : Single-Stepping Rules , 5.6 : The Objects Browser

certainty factor   6.1.1.4 : Reasoning with Certainty Factors

named   4.1 : CLOS objects

object base   2.6.1 : Monitoring Forward Chaining Rules , 4.3 : KnowledgeWorks Structures

and inferencing states   6.5 : Inferencing States

clearing   5.3 : Clearing KnowledgeWorks

main chapter   4 : Objects

uncertainty   6.1.1.4 : Reasoning with Certainty Factors , 6.1.1.4 : Reasoning with Certainty Factors

object browser   2.4.2 : Objects Browser

object system   1.1.2 : Technical Overview

once   A.12 : Built-in Predicates

OPS5   6.2.1.1 : KnowledgeWorks Structures , E.1 : OPS5

optimization   6.2 : Optimization

optimization of KnowledgeWorks   4.3 : KnowledgeWorks Structures

order   conflict resolution tactic / function   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

-order   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution

output-defrels   A.12 : Built-in Predicates

P

pattern   2.4.2 : Objects Browser , 5.6 : The Objects Browser

matching   6.2.3.1 : Pattern Matching

phrase   A.12 : Built-in Predicates

popup   2.3 : Running the Tutorial

Preferences... command   2.4.2 : Objects Browser , 5.6 : The Objects Browser , 5.7 : The Rule Browser

*print-verbose*   variable

priority   conflict resolution tactic / function   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

-priority   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution

procedural language   1.1.2 : Technical Overview

programming environment

main chapter   5 : The Programming Environment

Prolog   3.2.1 : Overview , 3.2.6 : Edinburgh Prolog Translator , E.2 : Prolog

accessing Lisp   A.5 : Accessing Lisp From Common Prolog

adding built in predicates   A.13 : Adding Built-in Predicates

built in predicates   A.12 : Built-in Predicates

calling from LispWorks   A.6 : Calling Prolog From Lisp

cut   6.2.3.3 : Cut

debugging   A.7 : Debugging

Edinburgh Syntax   A.10 : Edinburgh Syntax

exiting the interpreter   A.4.4 : Exiting the Interpreter

graphic environment   A.11 : Graphic Development Environment

interface functions   A.6.2 : Interface Functions

leashing   A.7 : Debugging

logic interpreter   A.4 : Using The Logic Interpreter

logic listener   A.11 : Graphic Development Environment

macros   A.8 : Common Prolog Macros

main chapter   Appendix A: : Common Prolog

overview   A.1.1 : Overview

predicates compatible with Edinburgh syntax   A.14 : Edinburgh Compatibility Predicates

retrieving multiple solutions in   A.4.1 : Multiple Solutions

specifying multiple goals in   A.4.2 : Multiple Goals

spy points   A.7 : Debugging

syntax   A.2 : Syntax

tracing   A.7 : Debugging

Q

query   5.6 : The Objects Browser

R

read-query-print loop   A.4 : Using The Logic Interpreter

read-term   A.12 : Built-in Predicates

recency   conflict resolution tactic / function   3.1.5.2 : Contexts , 3.1.5.3 : Conflict Resolution

-recency   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution , 6.2.2.2 : Optimization of the Strategy

recorda   A.12 : Built-in Predicates

recorded   A.12 : Built-in Predicates

recordz   A.12 : Built-in Predicates

relational database classes   4.2 : Relational Database Objects

repeat   A.12 : Built-in Predicates

reset   function   5.3 : Clearing KnowledgeWorks , 6.5.2 : The Current Inferencing State

retract   A.12 : Built-in Predicates

return   3.1.2 : Forward Chaining Syntax , 3.1.5.2 : Contexts

return   backward chaining goal

rule   3 : Rules

action   3.1.1 : Overview

backward chaining   3.2.4 : Defining Backward Chaining Rules

browser   2.6.1 : Monitoring Forward Chaining Rules

condition   3.1.1 : Overview

definition of forward chaining   3.1.3 : Defining Forward Chaining Rules

editing definitions   2.6.3 : Editing Rule Definitions

groups   2.4.4 : Forward Chaining History

implication strength   6.1.1.4 : Reasoning with Certainty Factors

single-stepping   2.6.2 : Single-Stepping Rules

rulebase   4.2 : Relational Database Objects

rule browser   5.7 : The Rule Browser

rule-defined conflict resolution   6.2.2.2 : Optimization of the Strategy

rule monitor   5.7 : The Rule Browser , 5.9 : Monitor Windows

rule preconditions   6.2.1.2 : Efficient Forward Chaining Rule Preconditions

Rules

main chapter   3 : Rules

S

setof   A.12 : Built-in Predicates

*signal-kb-name-clash*   variable

sort   A.12 : Built-in Predicates

specificity   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution

-specificity   conflict resolution tactic / function   3.1.5.3 : Conflict Resolution

spy   A.12 : Built-in Predicates

spy points   A.7 : Debugging

spy window   2.6.2 : Single-Stepping Rules , 5.7 : The Rule Browser , 5.8.1 : Spy Windows

standard-class   class   6.3 : Use of Meta-Classes

standard-context   backward chaining goal

standard-db-object   class   4.2.1 : Example

standard-kb-class   6.3.1 : Example

standard-kb-object   class   4.2.1 : Example , 5.5 : The Class Browser , 6.3 : Use of Meta-Classes , def-kb-class

start-cycle   backward chaining goal   6.1.1 : Meta Rule Protocol

start-kw   function

static conflict resolution   6.2.2.2 : Optimization of the Strategy

structures   4.3 : KnowledgeWorks Structures , 5.3 : Clearing KnowledgeWorks , 6.2.1.1 : KnowledgeWorks Structures

subclasses   2.4.3 : Class Browser

symbol macros

*cycle*

syntax

backward chaining   3.2.2 : Backward Chaining Syntax

expression   3.1.2 : Forward Chaining Syntax

forward-condition   3.1.2 : Forward Chaining Syntax

of forward chaining   3.1.2 : Forward Chaining Syntax

syntax of Prolog   A.2 : Syntax

system browser   5.4 : The System Browser

systems   2.8 : Systems

T

tactic   3.1.5.3 : Conflict Resolution , deftactic

Tail Recursion   6.2.3.2 : Tail Recursion

test   backward chaining goal

trace   A.12 : Built-in Predicates

in Prolog   A.7 : Debugging

translate-vars   A.12 : Built-in Predicates

true   A.12 : Built-in Predicates

truth maintenance   3.1.2 : Forward Chaining Syntax , 6.4 : Logical Dependencies and Truth Maintenance

Tutorial

main chapter   2 : Tutorial

U

undefcontext   macro   3.1.6.1 : Defining Contexts

undefrule   macro   3.1.3 : Defining Forward Chaining Rules

unleash   A.12 : Built-in Predicates

unnamed classes   4.1.1 : Unnamed Classes

V

validate-superclass   generic function   6.3 : Use of Meta-Classes

var   A.12 : Built-in Predicates

variables

*inferencing-state*   6.5.2 : The Current Inferencing State

*in-interpreter*

*print-verbose*

*signal-kb-name-clash*

W

window

browser   2.4 : Browsers

editor   2.4.1 : Rule Browser , 5.2 : The Editor

listener   2.2 : Loading the Tutorial , 2.3 : Running the Tutorial , 5.1 : The KnowledgeWorks Listener

monitor   2.6.1 : Monitoring Forward Chaining Rules , 5.9 : Monitor Windows

popup   2.3 : Running the Tutorial

spy   2.6.2 : Single-Stepping Rules , 5.7 : The Rule Browser , 5.8.1 : Spy Windows

subclasses   2.4.3 : Class Browser

with-prolog   A.6.2.3 : with-prolog

with-rule-actions   macro

Non-alaphanumerics

*   1.2.1 : Prolog syntax

+   1.2.1 : Prolog syntax

/==   A.12 : Built-in Predicates

<..>   1.2.1 : Prolog syntax

=   A.12 : Built-in Predicates

=..   A.2 : Syntax , A.12 : Built-in Predicates

::=   1.2.1 : Prolog syntax

==   A.12 : Built-in Predicates

@<   A.12 : Built-in Predicates

@=<   A.12 : Built-in Predicates

@>   A.12 : Built-in Predicates

@>=   A.12 : Built-in Predicates

[..]   1.2.1 : Prolog syntax

|   1.2.1 : Prolog syntax


KnowledgeWorks and Prolog User Guide (Macintosh version) - 01 Dec 2021 19:35:33