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
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
erase 6.4 : Logical Dependencies and Truth Maintenance
fire-rule 6.1.1 : Meta Rule Protocol
instantiation 6.1.1 : Meta Rule Protocol , 6.1.1 : Meta Rule Protocol
start-cycle 6.1.1 : Meta Rule Protocol
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
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
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
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
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
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
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
functor A.2 : Syntax , A.12 : Built-in Predicates
generic functions
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
validate-superclass generic function 6.3 : Use of Meta-Classes
var A.12 : Built-in Predicates
variables
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
/== A.12 : Built-in Predicates
=.. A.2 : Syntax , A.12 : Built-in Predicates
@=< A.12 : Built-in Predicates
KnowledgeWorks and Prolog User Guide (Macintosh version) - 01 Dec 2021 19:35:33