The lisa Reference Manual

This is the lisa Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 16:54:42 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 lisa

The Lisa expert system shell

Maintainer

David E. Young

Author

David E. Young

License

LGPL

Source

lisa.asd.

Child Component

src (module).


3 Modules

Modules are listed depth-first from the system components tree.


3.1 lisa/src

Source

lisa.asd.

Parent Component

lisa (system).

Child Components

3.2 lisa/src/packages

Source

lisa.asd.

Parent Component

src (module).

Child Component

pkgdecl.lisp (file).


3.3 lisa/src/utils

Dependency

packages (module).

Source

lisa.asd.

Parent Component

src (module).

Child Components

3.4 lisa/src/belief-systems

Dependency

utils (module).

Source

lisa.asd.

Parent Component

src (module).

Child Components

3.5 lisa/src/reflect

Dependency

belief-systems (module).

Source

lisa.asd.

Parent Component

src (module).

Child Component

reflect.lisp (file).


3.6 lisa/src/core

Dependency

reflect (module).

Source

lisa.asd.

Parent Component

src (module).

Child Components

3.7 lisa/src/implementations

Dependency

core (module).

Source

lisa.asd.

Parent Component

src (module).

Child Component

workarounds.lisp (file).


3.8 lisa/src/rete

Dependency

implementations (module).

Source

lisa.asd.

Parent Component

src (module).

Child Components

3.9 lisa/src/config

Dependency

rete (module).

Source

lisa.asd.

Parent Component

src (module).

Child Components

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


4.1 Lisp


4.1.1 lisa/lisa.asd

Source

lisa.asd.

Parent Component

lisa (system).

ASDF Systems

lisa.

Packages

lisa-system.

Internals

4.1.2 lisa/src/packages/pkgdecl.lisp

Source

lisa.asd.

Parent Component

packages (module).

Packages

4.1.3 lisa/src/utils/compose.lisp

Source

lisa.asd.

Parent Component

utils (module).

Internals

4.1.4 lisa/src/utils/utils.lisp

Dependency

compose.lisp (file).

Source

lisa.asd.

Parent Component

utils (module).

Public Interface
Internals

4.1.5 lisa/src/belief-systems/belief.lisp

Source

lisa.asd.

Parent Component

belief-systems (module).

Public Interface

4.1.6 lisa/src/belief-systems/certainty-factors.lisp

Dependency

belief.lisp (file).

Source

lisa.asd.

Parent Component

belief-systems (module).

Public Interface
Internals

4.1.7 lisa/src/reflect/reflect.lisp

Source

lisa.asd.

Parent Component

reflect (module).

Public Interface
Internals

4.1.8 lisa/src/core/preamble.lisp

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.9 lisa/src/core/conditions.lisp

Dependency

preamble.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.10 lisa/src/core/deffacts.lisp

Dependency

conditions.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.11 lisa/src/core/fact.lisp

Dependency

deffacts.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.12 lisa/src/core/watches.lisp

Dependency

fact.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.13 lisa/src/core/activation.lisp

Dependency

watches.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.14 lisa/src/core/heap.lisp

Dependency

activation.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.15 lisa/src/core/conflict-resolution-strategies.lisp

Dependency

heap.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.16 lisa/src/core/context.lisp

Dependency

conflict-resolution-strategies.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.17 lisa/src/core/rule.lisp

Dependency

context.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.18 lisa/src/core/pattern.lisp

Dependency

rule.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.19 lisa/src/core/rule-parser.lisp

Dependency

pattern.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.20 lisa/src/core/fact-parser.lisp

Dependency

rule-parser.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.21 lisa/src/core/language.lisp

Dependency

fact-parser.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

expand-slots (function).


4.1.22 lisa/src/core/tms-support.lisp

Dependency

language.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.23 lisa/src/core/rete.lisp

Dependency

tms-support.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.24 lisa/src/core/belief-interface.lisp

Dependency

rete.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

4.1.25 lisa/src/core/meta.lisp

Dependency

belief-interface.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.26 lisa/src/core/binding.lisp

Dependency

meta.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

4.1.27 lisa/src/core/token.lisp

Dependency

binding.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

token (class).

Internals

4.1.28 lisa/src/core/retrieve.lisp

Dependency

token.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface
Internals

4.1.29 lisa/src/implementations/workarounds.lisp

Source

lisa.asd.

Parent Component

implementations (module).


4.1.30 lisa/src/rete/node-tests.lisp

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.31 lisa/src/rete/shared-node.lisp

Dependency

node-tests.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.32 lisa/src/rete/successor.lisp

Dependency

shared-node.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.33 lisa/src/rete/node-pair.lisp

Dependency

successor.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.34 lisa/src/rete/terminal-node.lisp

Dependency

node-pair.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

print-object (method).

Internals

4.1.35 lisa/src/rete/node1.lisp

Dependency

terminal-node.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

print-object (method).

Internals

4.1.36 lisa/src/rete/join-node.lisp

Dependency

node1.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

print-object (method).

Internals

4.1.37 lisa/src/rete/node2.lisp

Dependency

join-node.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.38 lisa/src/rete/node2-not.lisp

Dependency

node2.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.39 lisa/src/rete/node2-test.lisp

Dependency

node2-not.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.40 lisa/src/rete/node2-exists.lisp

Dependency

node2-test.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.41 lisa/src/rete/rete-compiler.lisp

Dependency

node2-exists.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

rete-network (class).

Internals

4.1.42 lisa/src/rete/tms.lisp

Dependency

rete-compiler.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

pass-tokens-to-successor (method).


4.1.43 lisa/src/rete/network-ops.lisp

Dependency

tms.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

4.1.44 lisa/src/rete/network-crawler.lisp

Dependency

network-ops.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

show-network (function).


4.1.45 lisa/src/config/config.lisp

Source

lisa.asd.

Parent Component

config (module).


4.1.46 lisa/src/config/epilogue.lisp

Dependency

config.lisp (file).

Source

lisa.asd.

Parent Component

config (module).

Packages

lisa-lisp.

Public Interface

initial-fact (class).

Internals

5 Packages

Packages are listed by definition order.


5.1 lisa-lisp

Source

epilogue.lisp.

Use List

common-lisp.


5.2 lisa.utils

Source

pkgdecl.lisp.

Nickname

utils

Use List

common-lisp.

Public Interface
Internals

5.3 lisa-system

Source

lisa.asd.

Use List
  • asdf/interface.
  • common-lisp.
Internals

5.4 lisa

Source

pkgdecl.lisp.

Use List

common-lisp.

Public Interface
Internals

5.5 lisa.belief

Source

pkgdecl.lisp.

Nickname

belief

Use List

common-lisp.

Public Interface
Internals

5.6 lisa.heap

Source

pkgdecl.lisp.

Nickname

heap

Use List

common-lisp.

Public Interface
Internals

5.7 lisa.reflect

Source

pkgdecl.lisp.

Nickname

reflect

Use List

common-lisp.

Public Interface
Internals

5.8 lisa-user

Source

pkgdecl.lisp.

Use List

common-lisp.


6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


6.1 Public Interface


6.1.1 Macros

Macro: assert ((name &body body) &key belief)
Package

lisa.

Source

language.lisp.

Macro: compose (&rest functions)

Macro: compose functions or macros of 1 argument into a lambda. E.g., (compose abs (dl-val zz) ’key) ==>
(lambda (yy) (abs (funcall (dl-val zz) (funcall key yy))))

Package

lisa.utils.

Source

utils.lisp.

Macro: defcontext (context-name &optional strategy)
Package

lisa.

Source

language.lisp.

Macro: deffacts (name (&key &allow-other-keys) &body body)
Package

lisa.

Source

language.lisp.

Macro: defrule (name (&key salience context belief auto-focus) &body body)
Package

lisa.

Source

language.lisp.

Macro: deftemplate (name (&key) &body body)
Package

lisa.

Source

language.lisp.

Macro: map-in (fn seq &rest seqs)

‘map-into’ the first sequence, evaluating it once. (map-in F S) == (map-into S F S)

Package

lisa.utils.

Source

utils.lisp.

Macro: modify (fact &body body)
Package

lisa.

Source

language.lisp.

Macro: retrieve ((&rest varlist) &body body)
Package

lisa.

Source

retrieve.lisp.

Macro: undefcontext (context-name)
Package

lisa.

Source

language.lisp.

Macro: with-inference-engine ((engine) &body body)

Evaluates BODY within the context of the inference engine ENGINE. This macro is MP-safe.

Package

lisa.

Source

preamble.lisp.

Macro: with-simple-query ((var value) query &body body)

For each variable/instance pair in a query result, invoke BODY with VAR bound to the query variable and VALUE bound to the instance.

Package

lisa.

Source

retrieve.lisp.


6.1.2 Ordinary functions

Function: active-rule ()
Package

lisa.

Source

preamble.lisp.

Function: agenda (&optional context-name)
Package

lisa.

Source

language.lisp.

Function: allow-duplicate-facts ()
Setf Expander: (setf allow-duplicate-facts) ()
Package

lisa.

Source

preamble.lisp.

Function: assert-instance (instance)
Package

lisa.

Source

language.lisp.

Function: auto-focus-p (rule)
Package

lisa.

Source

rule.lisp.

Function: class-all-superclasses (class-or-symbol)
Package

lisa.reflect.

Source

reflect.lisp.

Function: class-slot-list (class &optional all)

Return the list of slots of a CLASS.
CLASS can be a symbol, a class object (as returned by ‘class-of’) or an instance of a class.
If the second optional argument ALL is non-NIL (default),
all slots are returned, otherwise only the slots with :allocation type :instance are returned.

Package

lisa.reflect.

Source

reflect.lisp.

Function: clear ()
Package

lisa.

Source

language.lisp.

Function: collect (predicate list)
Package

lisa.utils.

Source

utils.lisp.

Function: consider-taxonomy ()
Setf Expander: (setf consider-taxonomy) ()
Package

lisa.

Source

preamble.lisp.

Function: contexts ()
Package

lisa.

Source

language.lisp.

Function: create-heap (less-fn &key order initial-contents)
Package

lisa.heap.

Source

heap.lisp.

Function: current-engine (&optional errorp)

Returns the currently-active inference engine. Usually only invoked by code running within the context of WITH-INFERENCE-ENGINE.

Package

lisa.

Source

preamble.lisp.

Function: dependencies ()
Package

lisa.

Source

language.lisp.

Function: engine ()
Package

lisa.

Source

language.lisp.

Function: facts ()
Package

lisa.

Source

language.lisp.

Function: false-p (cf)
Package

lisa.belief.

Source

certainty-factors.lisp.

Function: find-after (item sequence &key test)

Returns that portion of SEQUENCE that occurs after ITEM, or NIL otherwise.

Package

lisa.utils.

Source

utils.lisp.

Function: find-before (item sequence &key test)

Returns both that portion of SEQUENCE that occurs before ITEM and the rest of SEQUENCE anchored at ITEM, or NIL otherwise.

Package

lisa.utils.

Source

utils.lisp.

Function: find-context (rete defined-name &optional errorp)
Package

lisa.

Source

rete.lisp.

Function: find-direct-superclasses (class)
Package

lisa.reflect.

Source

reflect.lisp.

Function: find-fact-by-id (rete fact-id)
Package

lisa.

Source

rete.lisp.

Function: find-fact-by-name (rete fact-name)
Package

lisa.

Source

rete.lisp.

Function: find-if-after (predicate sequence)
Package

lisa.utils.

Source

utils.lisp.

Function: find-rule (rete rule-name)
Package

lisa.

Source

rete.lisp.

Function: flatten (x)
Package

lisa.utils.

Source

utils.lisp.

Function: focus (&rest args)
Package

lisa.

Source

language.lisp.

Function: focus-stack ()
Package

lisa.

Source

language.lisp.

Function: halt ()
Package

lisa.

Source

language.lisp.

Function: heap-clear (heap)

Remove all elements from the heap, leaving it empty. Faster (& more convenient) than calling HEAP-REMOVE until the heap is empty.

Package

lisa.heap.

Source

heap.lisp.

Function: heap-collect (heap &optional fn)
Package

lisa.heap.

Source

heap.lisp.

Function: heap-count (heap)
Package

lisa.heap.

Source

heap.lisp.

Function: heap-empty-p (heap)

Returns non-NIL if & only if the heap contains no items.

Package

lisa.heap.

Source

heap.lisp.

Function: heap-find (heap &optional fn)
Package

lisa.heap.

Source

heap.lisp.

Function: heap-insert (heap x)

Insert a new element into the heap. Return the element (which probably
isn’t very useful).

Package

lisa.heap.

Source

heap.lisp.

Function: heap-peek (heap)

Return the first element in the heap, but don’t remove it. It’ll be an error if the heap is empty. (Should that be an error?)

Package

lisa.heap.

Source

heap.lisp.

Function: heap-remove (heap &optional fn)

Remove the minimum (first) element in the heap & return it. It’s an error if the heap is already empty. (Should that be an error?)

Package

lisa.heap.

Source

heap.lisp.

Function: in-rule-firing-p ()
Package

lisa.

Source

preamble.lisp.

Function: inference-engine (&rest args)
Package

lisa.

Source

preamble.lisp.

Function: lsthash (func ht)

Applies FUNC to each entry in hashtable HT and, if FUNC so indicates, appends the object to a LIST. If NIL is an acceptable object, then FUNC should return two values; NIL and T.

Package

lisa.utils.

Source

utils.lisp.

Function: make-inference-engine ()
Package

lisa.

Source

rete.lisp.

Function: mark-instance-as-changed (instance &key slot-id)
Package

lisa.

Source

language.lisp.

Function: refocus ()
Package

lisa.

Source

language.lisp.

Function: reset ()
Package

lisa.

Source

language.lisp.

Function: retract-instance (instance)
Package

lisa.

Source

language.lisp.

Function: rule ()
Package

lisa.

Source

language.lisp.

Function: rule-default-name (rule)
Package

lisa.

Source

rule.lisp.

Function: rules (&optional context-name)
Package

lisa.

Source

language.lisp.

Function: run (&optional contexts)
Package

lisa.

Source

language.lisp.

Function: show-network (rete-network &optional strm)
Package

lisa.

Source

network-crawler.lisp.

Function: string-tokens (string &key start max)

Read from STRING repeatedly, starting with START, up to MAX tokens. Return the list of objects read and the final index in STRING. Binds ‘*package*’ to the keyword package,
so that the bare symbols are read as keywords.

Package

lisa.utils.

Source

utils.lisp.

Function: true-p (cf)
Package

lisa.belief.

Source

certainty-factors.lisp.

Function: undefrule (rule-name)
Package

lisa.

Source

language.lisp.

Function: unknown-p (cf)
Package

lisa.belief.

Source

certainty-factors.lisp.

Function: unwatch (event)
Package

lisa.

Source

language.lisp.

Function: use-default-engine ()
Package

lisa.

Source

preamble.lisp.

Function: use-fancy-assert ()
Setf Expander: (setf use-fancy-assert) ()
Package

lisa.

Source

preamble.lisp.

Function: walk (&optional step)
Package

lisa.

Source

language.lisp.

Function: watch (event)
Package

lisa.

Source

language.lisp.

Function: watching ()
Package

lisa.

Source

language.lisp.


6.1.3 Generic functions

Generic Function: adjust-belief (objects rule-belief &optional old-belief)
Package

lisa.belief.

Source

belief.lisp.

Methods
Method: adjust-belief (objects rule-belief &optional old-belief)
Source

certainty-factors.lisp.

Method: adjust-belief (objects (rule-belief number) &optional old-belief)
Source

certainty-factors.lisp.

Generic Function: belief->english (belief-factor)
Package

lisa.belief.

Source

belief.lisp.

Methods
Method: belief->english ((cf number))
Source

certainty-factors.lisp.

Generic Function: belief-factor (obj)
Package

lisa.belief.

Source

belief.lisp.

Methods
Method: belief-factor ((self rule))
Source

belief-interface.lisp.

Method: belief-factor ((self fact))
Source

belief-interface.lisp.

Generic Reader: context-name (object)
Package

lisa.

Methods
Reader Method: context-name ((context context))

automatically generated reader method

Source

context.lisp.

Target Slot

name.

Generic Reader: fact-id (object)
Package

lisa.

Methods
Reader Method: fact-id ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

id.

Generic Writer: (setf fact-id) (object)
Package

lisa.

Methods
Writer Method: (setf fact-id) ((fact fact))

automatically generated writer method

Source

fact.lisp.

Target Slot

id.

Generic Reader: fact-name (object)
Package

lisa.

Methods
Reader Method: fact-name ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

name.

Generic Reader: rete-network (object)
Package

lisa.

Methods
Reader Method: rete-network ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

rete-network.

Generic Function: retract (fact-object)
Package

lisa.

Methods
Method: retract (fact-object)
Source

language.lisp.

Method: retract ((fact-object number))
Source

language.lisp.

Method: retract ((fact-object fact))
Source

language.lisp.

Generic Reader: rule-comment (object)
Package

lisa.

Methods
Reader Method: rule-comment ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

comment.

Generic Reader: rule-context (object)
Package

lisa.

Methods
Reader Method: rule-context ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

context.

Generic Reader: rule-name (condition)
Package

lisa.

Methods
Reader Method: rule-name ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

qualified-name.

Reader Method: rule-name ((condition rule-parsing-error))
Source

conditions.lisp.

Target Slot

rule-name.

Generic Reader: rule-salience (object)
Package

lisa.

Methods
Reader Method: rule-salience ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

salience.

Generic Reader: rule-short-name (object)
Package

lisa.

Methods
Reader Method: rule-short-name ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

short-name.

Generic Function: slot-value-of-instance (object slot-name)
Package

lisa.

Source

preamble.lisp.

Methods
Method: slot-value-of-instance (object slot-name)
Source

fact.lisp.

Generic Function: (setf slot-value-of-instance) (object slot-name)
Package

lisa.

Source

preamble.lisp.

Methods
Method: (setf slot-value-of-instance) (object slot-name)
Source

fact.lisp.


6.1.4 Standalone methods

Method: initialize-instance :after ((self fact) &key slots instance)

Initializes a FACT instance. SLOTS is a list of slot name / value pairs, where (FIRST SLOTS) is a symbol and (SECOND SLOT) is the slot’s
value. INSTANCE is the CLOS instance to be associated with this FACT; if INSTANCE is NIL then FACT is associated with a template and a suitable instance must be created; otherwise FACT is bound to a user-defined class.

Source

fact.lisp.

Method: initialize-instance :after ((self rule) &rest initargs)
Source

rule.lisp.

Method: initialize-instance :after ((self rete) &rest initargs)
Source

rete.lisp.

Method: print-object ((self fact) strm)
Source

fact.lisp.

Method: print-object ((self activation) strm)
Source

activation.lisp.

Method: print-object ((self context) strm)
Source

context.lisp.

Method: print-object ((self rule) strm)
Source

rule.lisp.

Method: print-object ((self deffacts) strm)
Source

deffacts.lisp.

Method: print-object ((self join-node) strm)
Source

join-node.lisp.

Method: print-object ((self terminal-node) strm)
Source

terminal-node.lisp.

Method: print-object ((self node1) strm)
Source

node1.lisp.


6.1.5 Conditions

Condition: duplicate-fact
Package

lisa.

Source

conditions.lisp.

Direct superclasses

error.

Direct methods

duplicate-fact-existing-fact.

Direct slots
Slot: existing-fact
Initargs

:existing-fact

Readers

duplicate-fact-existing-fact.

Writers

This slot is read-only.


6.1.6 Classes

Class: activation

Represents a rule activation.

Package

lisa.

Source

activation.lisp.

Direct methods
Direct slots
Slot: rule
Initargs

:rule

Readers

activation-rule.

Writers

This slot is read-only.

Slot: tokens
Initargs

:tokens

Readers

activation-tokens.

Writers

This slot is read-only.

Slot: timestamp
Initform

(incf lisa::*activation-timestamp*)

Readers

activation-timestamp.

Writers

This slot is read-only.

Slot: eligible
Initform

t

Readers

activation-eligible.

Writers

(setf activation-eligible).

Class: context
Package

lisa.

Source

context.lisp.

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

context-name.

Writers

This slot is read-only.

Slot: rules
Initform

(make-hash-table :test (function equal))

Readers

context-rules.

Writers

This slot is read-only.

Slot: strategy
Initargs

:strategy

Readers

context-strategy.

Writers

This slot is read-only.

Class: deffacts

This class represents ’autoloaded’ facts that are asserted automatically as part of an inference engine reset.

Package

lisa.

Source

deffacts.lisp.

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

deffacts-name.

Writers

This slot is read-only.

Slot: fact-list
Initargs

:fact-list

Readers

deffacts-fact-list.

Writers

This slot is read-only.

Class: fact

This class represents all facts in the knowledge base.

Package

lisa.

Source

fact.lisp.

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

fact-name.

Writers

This slot is read-only.

Slot: id
Initform

-1

Readers

fact-id.

Writers

(setf fact-id).

Slot: slot-table
Initform

(make-hash-table :test (function equal))

Readers

fact-slot-table.

Writers

This slot is read-only.

Slot: belief
Initargs

:belief

Readers

belief-factor.

Writers

(setf belief-factor).

Slot: clos-instance
Readers

fact-clos-instance.

Writers

This slot is read-only.

Slot: shadows
Readers

fact-shadowsp.

Writers

This slot is read-only.

Slot: meta-data
Readers

fact-meta-data.

Writers

This slot is read-only.

Class: initial-fact
Package

lisa.

Source

epilogue.lisp.

Direct superclasses

inference-engine-object.

Class: rete
Package

lisa.

Source

rete.lisp.

Direct methods
Direct slots
Slot: fact-table
Initform

(make-hash-table :test (function equalp))

Readers

rete-fact-table.

Writers

(setf rete-fact-table).

Slot: fact-id-table
Initform

(make-hash-table)

Readers

fact-id-table.

Writers

(setf fact-id-table).

Slot: instance-table
Initform

(make-hash-table)

Readers

rete-instance-table.

Writers

This slot is read-only.

Slot: rete-network
Initform

(lisa::make-rete-network)

Readers

rete-network.

Writers

This slot is read-only.

Slot: next-fact-id
Initform

-1

Readers

rete-next-fact-id.

Writers

(setf rete-next-fact-id).

Slot: autofacts
Initform

(list)

Readers

rete-autofacts.

Writers

(setf rete-autofacts).

Slot: meta-data
Initform

(make-hash-table)

Readers

rete-meta-data.

Writers

This slot is read-only.

Slot: dependency-table
Initform

(make-hash-table :test (function equal))

Readers

rete-dependency-table.

Writers

(setf rete-dependency-table).

Slot: contexts
Initform

(make-hash-table :test (function equal))

Readers

rete-contexts.

Writers

This slot is read-only.

Slot: focus-stack
Initform

(list)

Readers

rete-focus-stack.

Writers

(setf rete-focus-stack).

Slot: halted
Readers

rete-halted.

Writers

(setf rete-halted).

Slot: firing-count
Initform

0

Readers

rete-firing-count.

Writers

(setf rete-firing-count).

Class: rete-network
Package

lisa.

Source

rete-compiler.lisp.

Direct methods
Direct slots
Slot: root-nodes
Initform

(make-hash-table)

Initargs

:root-nodes

Readers

rete-roots.

Writers

This slot is read-only.

Slot: node-test-cache
Initform

(make-hash-table :test (function equal))

Initargs

:node-test-cache

Readers

node-test-cache.

Writers

This slot is read-only.

Class: rule

Represents production rules after they’ve been analysed by the language parser.

Package

lisa.

Source

rule.lisp.

Direct methods
Direct slots
Slot: short-name
Initargs

:short-name

Readers

rule-short-name.

Writers

This slot is read-only.

Slot: qualified-name
Readers

rule-name.

Writers

This slot is read-only.

Slot: comment
Initargs

:comment

Readers

rule-comment.

Writers

This slot is read-only.

Slot: salience
Initform

0

Initargs

:salience

Readers

rule-salience.

Writers

This slot is read-only.

Slot: context
Initargs

:context

Readers

rule-context.

Writers

This slot is read-only.

Slot: auto-focus
Initargs

:auto-focus

Readers

rule-auto-focus.

Writers

This slot is read-only.

Slot: behavior
Initargs

:behavior

Readers

rule-behavior.

Writers

(setf rule-behavior).

Slot: binding-set
Initargs

:binding-set

Readers

rule-binding-set.

Writers

This slot is read-only.

Slot: node-list
Readers

rule-node-list.

Writers

This slot is read-only.

Slot: activations
Initform

(make-hash-table :test (function equal))

Readers

rule-activations.

Writers

(setf rule-activations).

Slot: patterns
Initform

(list)

Initargs

:patterns

Readers

rule-patterns.

Writers

This slot is read-only.

Slot: actions
Initargs

:actions

Readers

rule-actions.

Writers

This slot is read-only.

Slot: logical-marker
Initargs

:logical-marker

Readers

rule-logical-marker.

Writers

This slot is read-only.

Slot: belief-factor
Initargs

:belief

Readers

belief-factor.

Writers

This slot is read-only.

Slot: active-dependencies
Initform

(make-hash-table :test (function equal))

Readers

rule-active-dependencies.

Writers

This slot is read-only.

Slot: engine
Initargs

:engine

Readers

rule-engine.

Writers

This slot is read-only.

Class: token
Package

lisa.

Source

token.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: facts
Initform

(make-array 0 :adjustable t :fill-pointer t)

Readers

token-facts.

Writers

(setf token-facts).

Slot: not-counter
Initform

0

Readers

token-not-counter.

Writers

(setf token-not-counter).

Slot: exists-counter
Initform

0

Readers

token-exists-counter.

Writers

(setf token-exists-counter).

Slot: hash-code
Initform

(list)

Readers

token-hash-code.

Writers

(setf token-hash-code).

Slot: contents
Readers

token-contents.

Writers

This slot is read-only.


6.2 Internals


6.2.1 Constants

Constant: *rule-separator*
Package

lisa.

Source

rule-parser.lisp.

Constant: +false+
Package

lisa.belief.

Source

certainty-factors.lisp.

Constant: +true+
Package

lisa.belief.

Source

certainty-factors.lisp.

Constant: +unknown+
Package

lisa.belief.

Source

certainty-factors.lisp.


6.2.2 Special variables

Special Variable: *activation-timestamp*
Package

lisa.

Source

activation.lisp.

Special Variable: *active-context*
Package

lisa.

Source

preamble.lisp.

Special Variable: *active-engine*
Package

lisa.

Source

preamble.lisp.

Special Variable: *active-rule*
Package

lisa.

Source

preamble.lisp.

Special Variable: *active-tokens*
Package

lisa.

Source

preamble.lisp.

Special Variable: *allow-duplicate-facts*
Package

lisa.

Source

preamble.lisp.

Special Variable: *assert-fact*
Package

lisa.

Source

watches.lisp.

Special Variable: *binding-table*
Package

lisa.

Source

rule-parser.lisp.

Special Variable: *clear-handlers*
Package

lisa.

Source

preamble.lisp.

Special Variable: *conditional-elements-table*
Package

lisa.

Source

rule-parser.lisp.

Special Variable: *consider-taxonomy-when-reasoning*
Package

lisa.

Source

preamble.lisp.

Special Variable: *current-defrule*
Package

lisa.

Source

rule-parser.lisp.

Special Variable: *current-defrule-pattern-location*
Package

lisa.

Source

rule-parser.lisp.

Special Variable: *disable-activation*
Package

lisa.

Source

watches.lisp.

Special Variable: *enable-activation*
Package

lisa.

Source

watches.lisp.

Special Variable: *fire-rule*
Package

lisa.

Source

watches.lisp.

Special Variable: *heap*
Package

lisa.heap.

Source

heap.lisp.

Special Variable: *ignore-this-instance*
Package

lisa.

Source

preamble.lisp.

Special Variable: *in-logical-pattern-p*
Package

lisa.

Source

rule-parser.lisp.

Special Variable: *leaf-nodes*
Package

lisa.

Source

rete-compiler.lisp.

Special Variable: *lisa-root-pathname*
Package

lisa-system.

Source

lisa.asd.

Special Variable: *logical-block-marker*
Package

lisa.

Source

rete-compiler.lisp.

Special Variable: *node-set*
Package

lisa.

Source

network-ops.lisp.

Special Variable: *node-test-table*
Package

lisa.

Source

node-tests.lisp.

Special Variable: *query-result*

Holds the results of query firings.

Package

lisa.

Source

retrieve.lisp.

Special Variable: *retract-fact*
Package

lisa.

Source

watches.lisp.

Special Variable: *root-nodes*
Package

lisa.

Source

rete-compiler.lisp.

Special Variable: *rule-specific-nodes*
Package

lisa.

Source

rete-compiler.lisp.

Special Variable: *scheduled-dependencies*
Package

lisa.

Source

tms-support.lisp.

Special Variable: *special-initial-elements*
Package

lisa.

Source

rule-parser.lisp.

Special Variable: *use-fancy-assert*
Package

lisa.

Source

preamble.lisp.

Special Variable: *watches*
Package

lisa.

Source

watches.lisp.

Special Variable: +eof+

*The end-of-file object.
To be passed as the third arg to ‘read’ and checked against using ‘eq’.

Package

lisa.utils.

Source

utils.lisp.


6.2.3 Symbol macros

Symbol Macro: scheduled-dependencies
Package

lisa.

Source

tms-support.lisp.


6.2.4 Macros

Macro: compile-function (forms)

Build and compile an anonymous function, using the body provided in FORMS.

Package

lisa.

Source

compose.lisp.

Macro: constraintp (constraint)
Package

lisa.

Source

preamble.lisp.

Macro: defconst (name type init doc)

Define a typed constant.

Package

lisa.utils.

Source

utils.lisp.

Macro: defcustom (name type init doc)

Define a typed global variable.

Package

lisa.utils.

Source

utils.lisp.

Macro: define-lisa-lisp ()
Package

lisa.

Source

epilogue.lisp.

Macro: defquery (name &body body)

Defines a new query identified by the symbol NAME.

Package

lisa.

Source

retrieve.lisp.

Macro: defsubst (name arglist &body body)

Declare an inline defun.

Package

lisa.utils.

Source

utils.lisp.

Macro: ensure-fact-is-unique (rete fact)
Package

lisa.

Source

rete.lisp.

Macro: literalp (sym)
Package

lisa.

Source

preamble.lisp.

Macro: mk-arr (type init &optional len)

Make array with elements of TYPE, initializing.

Package

lisa.utils.

Source

utils.lisp.

Macro: multifieldp (val)
Package

lisa.

Source

preamble.lisp.

Macro: quotablep (obj)
Package

lisa.

Source

preamble.lisp.

Macro: register-clear-handler (tag func)
Package

lisa.

Source

preamble.lisp.

Macro: slot-valuep (val)
Package

lisa.

Source

preamble.lisp.

Macro: starts-with-? (sym)
Package

lisa.

Source

preamble.lisp.

Macro: trace-assert (fact)
Package

lisa.

Source

watches.lisp.

Macro: trace-disable-activation (activation)
Package

lisa.

Source

watches.lisp.

Macro: trace-enable-activation (activation)
Package

lisa.

Source

watches.lisp.

Macro: trace-firing (activation)
Package

lisa.

Source

watches.lisp.

Macro: trace-retract (fact)
Package

lisa.

Source

watches.lisp.

Macro: variablep (sym)
Package

lisa.

Source

preamble.lisp.

Macro: with-auto-notify ((var instance) &body body)
Package

lisa.

Source

preamble.lisp.

Macro: with-context (context &body body)
Package

lisa.

Source

context.lisp.

Macro: with-gensyms (syms &body body)

Bind symbols to gensyms. First sym is a string - ‘gensym’ prefix. Inspired by Paul Graham, <On Lisp>, p. 145.

Package

lisa.utils.

Source

utils.lisp.

Macro: with-rule-components (((doc-string lhs rhs) rule-form) &body body)
Package

lisa.

Source

rule-parser.lisp.

Macro: with-rule-name-parts ((context short-name long-name) symbolic-name &body body)
Package

lisa.

Source

context.lisp.

Macro: with-slot-components ((slot-name slot-value constraint) form &body body)
Package

lisa.

Source

rule-parser.lisp.

Macro: with-truth-maintenance ((rete) &body body)
Package

lisa.

Source

tms-support.lisp.

Macro: with-unique-fact ((rete fact) &body body)
Package

lisa.

Source

rete.lisp.


6.2.5 Ordinary functions

Function: %make-binding (&key variable address slot-name)
Package

lisa.

Source

binding.lisp.

Function: acquire-meta-data (actual-name)
Package

lisa.

Source

meta.lisp.

Function: activation-fact-list (activation &key detailp)
Package

lisa.

Source

activation.lisp.

Function: active-context ()
Package

lisa.

Source

preamble.lisp.

Function: active-engine ()
Package

lisa.

Source

preamble.lisp.

Function: active-tokens ()
Package

lisa.

Source

preamble.lisp.

Function: add-autofact (rete deffact)
Package

lisa.

Source

rete.lisp.

Function: add-fact-to-network (rete-network fact)
Package

lisa.

Source

network-ops.lisp.

Function: add-inter-pattern-nodes (patterns)

The beta memory nodes and tests

Package

lisa.

Source

rete-compiler.lisp.

Function: add-intra-pattern-nodes (patterns)

The alpha memory nodes and tests

Package

lisa.

Source

rete-compiler.lisp.

Function: add-join-node-tests (join-node pattern)
Package

lisa.

Source

rete-compiler.lisp.

Function: add-logical-dependency (rete fact dependency-set)
Package

lisa.

Source

tms-support.lisp.

Function: add-rule-to-context (context rule)
Package

lisa.

Source

context.lisp.

Function: add-rule-to-network (rete rule patterns)
Package

lisa.

Source

rete.lisp.

Function: add-terminal-node (rule)
Package

lisa.

Source

rete-compiler.lisp.

Function: add-token-to-network (rete-network token-ctor)
Package

lisa.

Source

network-ops.lisp.

Function: add-token-to-right-memory (join-node token)
Package

lisa.

Source

join-node.lisp.

Function: add-tokens-to-left-memory (join-node tokens)
Package

lisa.

Source

join-node.lisp.

Function: assert-autofacts (rete)
Package

lisa.

Source

rete.lisp.

Function: attach-rule-nodes (rule nodes)
Package

lisa.

Source

rule.lisp.

Function: bind-logical-dependencies (fact)
Package

lisa.

Source

fact-parser.lisp.

Function: bind-rule-activation (rule activation tokens)
Package

lisa.

Source

rule.lisp.

Function: binding-address (structure)
Package

lisa.

Source

binding.lisp.

Function: (setf binding-address) (structure)
Package

lisa.

Source

binding.lisp.

Function: binding-slot-name (structure)
Package

lisa.

Source

binding.lisp.

Function: (setf binding-slot-name) (structure)
Package

lisa.

Source

binding.lisp.

Function: binding-variable (structure)
Package

lisa.

Source

binding.lisp.

Function: (setf binding-variable) (structure)
Package

lisa.

Source

binding.lisp.

Function: bound-pattern-p (parsed-pattern)
Package

lisa.

Source

pattern.lisp.

Function: build-lambda-expression (forms)
Package

lisa.

Source

compose.lisp.

Function: call-successor (successor &rest args)
Package

lisa.

Source

successor.lisp.

Function: certainty-factor-p (number)
Package

lisa.belief.

Source

certainty-factors.lisp.

Function: cf->english (cf)
Package

lisa.belief.

Source

certainty-factors.lisp.

Function: cf-combine (a b)
Package

lisa.belief.

Source

certainty-factors.lisp.

Function: class-slot-initargs (class &optional all)

Return the list of initargs of a CLASS.
CLASS can be a symbol, a class object (as returned by ‘class-of’) or an instance of a class.
If the second optional argument ALL is non-NIL (default), initargs for all slots are returned, otherwise only the slots with :allocation type :instance are returned.

Package

lisa.reflect.

Source

reflect.lisp.

Function: clear-activation-bindings (rule)
Package

lisa.

Source

rule.lisp.

Function: clear-activations (context)
Package

lisa.

Source

context.lisp.

Function: clear-context (context)
Package

lisa.

Source

context.lisp.

Function: clear-contexts (rete)
Package

lisa.

Source

rete.lisp.

Function: clear-environment-handlers ()
Package

lisa.

Source

preamble.lisp.

Function: clear-focus-stack (rete)
Package

lisa.

Source

rete.lisp.

Function: clear-node-test-table ()
Package

lisa.

Source

node-tests.lisp.

Function: clear-system-environment ()
Package

lisa.

Source

preamble.lisp.

Function: collect-bindings (forms &key errorp)
Package

lisa.

Source

rule-parser.lisp.

Function: collect-constraint-bindings (constraint)
Package

lisa.

Source

rule-parser.lisp.

Function: compile-rule (rule patterns actions)
Package

lisa.

Source

rule.lisp.

Function: compile-rule-behavior (rule actions)
Package

lisa.

Source

rule.lisp.

Function: compile-rule-into-network (rete-network patterns rule)
Package

lisa.

Source

rete-compiler.lisp.

Function: compound-pattern-p (parsed-pattern)
Package

lisa.

Source

pattern.lisp.

Function: conjunct-cf (objects)

Combines the certainty factors of objects matched within a single rule.

Package

lisa.belief.

Source

certainty-factors.lisp.

Function: constrained-slot-p (pattern-slot)
Package

lisa.

Source

pattern.lisp.

Function: context-activation-list (context)
Package

lisa.

Source

context.lisp.

Function: context-rule-list (context)
Package

lisa.

Source

context.lisp.

Function: copy-binding (sequence)

Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.

Package

lisa.

Alias for

copy-seq.

Function: copy-fact-meta-object (instance)
Package

lisa.

Source

rete.lisp.

Function: copy-heap (instance)
Package

lisa.heap.

Source

heap.lisp.

Function: copy-network (engine)
Package

lisa.

Source

rete.lisp.

Function: copy-node-test-table (src)
Package

lisa.

Source

rete-compiler.lisp.

Function: copy-parsed-pattern (instance)
Package

lisa.

Source

pattern.lisp.

Function: copy-pattern-slot (instance)
Package

lisa.

Source

pattern.lisp.

Function: copy-rule (rule engine)
Package

lisa.

Source

rule.lisp.

Function: copy-rule-actions (instance)
Package

lisa.

Source

pattern.lisp.

Function: create-template-class-slots (class-name slot-list)
Package

lisa.

Source

fact-parser.lisp.

Function: current-context (rete)
Package

lisa.

Source

rete.lisp.

Function: default-search-predicate (heap obj)
Package

lisa.heap.

Source

heap.lisp.

Function: define-rule (name body &key salience context auto-focus belief)
Package

lisa.

Source

rule-parser.lisp.

Function: distribute-token (rete-network token)
Package

lisa.

Source

rete-compiler.lisp.

Function: duplicate-fact-p (rete fact)
Package

lisa.

Source

rete.lisp.

Function: eligible-p (activation)
Package

lisa.

Source

activation.lisp.

Function: ensure-meta-data-exists (class-name)
Package

lisa.

Source

meta.lisp.

Function: enter-join-network-from-left (node2 tokens)
Package

lisa.

Source

rete-compiler.lisp.

Function: enter-join-network-from-right (node2 token)
Package

lisa.

Source

rete-compiler.lisp.

Function: eof-p (stream)

Return T if the stream has no more data in it.

Package

lisa.utils.

Source

utils.lisp.

Function: existential-pattern-p (pattern)
Package

lisa.

Source

pattern.lisp.

Function: expand-slots (body)
Package

lisa.

Source

language.lisp.

Function: extract-rule-headers (body)
Package

lisa.

Source

rule-parser.lisp.

Reader: fact-meta-object-class-name (instance)
Writer: (setf fact-meta-object-class-name) (instance)
Package

lisa.

Source

rete.lisp.

Target Slot

class-name.

Function: fact-meta-object-p (object)
Package

lisa.

Source

rete.lisp.

Reader: fact-meta-object-slot-list (instance)
Writer: (setf fact-meta-object-slot-list) (instance)
Package

lisa.

Source

rete.lisp.

Target Slot

slot-list.

Reader: fact-meta-object-superclasses (instance)
Writer: (setf fact-meta-object-superclasses) (instance)
Package

lisa.

Source

rete.lisp.

Target Slot

superclasses.

Function: fact-symbolic-id (fact)
Package

lisa.

Source

fact.lisp.

Function: find-activation-binding (rule tokens)
Package

lisa.

Source

rule.lisp.

Function: find-any-logical-boundaries (patterns)
Package

lisa.

Source

rule.lisp.

Function: find-conditional-element-parser (symbol)
Package

lisa.

Source

rule-parser.lisp.

Function: find-fact-using-instance (rete instance)
Package

lisa.

Source

rete.lisp.

Function: find-instance-of-fact (fact)

Retrieves the CLOS instance associated with a fact. FACT is a FACT instance.

Package

lisa.

Source

fact.lisp.

Function: find-logical-dependencies (rete dependency-set)
Package

lisa.

Source

tms-support.lisp.

Function: find-meta-fact (symbolic-name &optional errorp)

Locates the META-FACT instance associated with SYMBOLIC-NAME. If ERRORP is non-nil, signals an error if no binding is found.

Package

lisa.

Source

meta.lisp.

Function: find-meta-object (rete symbolic-name)
Package

lisa.

Source

rete.lisp.

Function: find-or-set-slot-binding (var slot-name location)

Given a variable, either retrieve the binding object for it or create a new one.

Package

lisa.

Source

rule-parser.lisp.

Function: find-slot-binding (var &key errorp)

Given a variable, retrieve the binding object for it.

Package

lisa.

Source

rule-parser.lisp.

Function: find-test (key constructor)
Package

lisa.

Source

node-tests.lisp.

Function: fixup-runtime-bindings (patterns)

Supports the parsing of embedded DEFRULE forms.

Package

lisa.

Source

rule-parser.lisp.

Function: forget-all-facts (rete)
Package

lisa.

Source

rete.lisp.

Function: forget-clos-instance (rete instance)
Package

lisa.

Source

rete.lisp.

Function: forget-clos-instances (rete)
Package

lisa.

Source

rete.lisp.

Function: forget-context (rete context-name)
Package

lisa.

Source

rete.lisp.

Function: forget-fact (rete fact)
Package

lisa.

Source

rete.lisp.

Function: forget-token (memory token)
Package

lisa.

Source

join-node.lisp.

Function: gc ()

Invoke the garbage collector.

Package

lisa.utils.

Source

utils.lisp.

Function: generic-pattern-p (pattern)
Package

lisa.

Source

pattern.lisp.

Function: get-activation-list (rete &optional context-name)
Package

lisa.

Source

rete.lisp.

Function: get-class-name (meta-object)
Package

lisa.

Source

meta.lisp.

Function: get-fact-list (rete)
Package

lisa.

Source

rete.lisp.

Function: get-rule-list (rete &optional context-name)
Package

lisa.

Source

rete.lisp.

Function: get-slot-list (meta-object)
Package

lisa.

Source

meta.lisp.

Function: get-slot-values (fact)

Returns a list of slot name / value pairs for every slot in a fact. FACT is a fact instance.

Package

lisa.

Source

fact.lisp.

Function: get-superclasses (meta-object)
Package

lisa.

Source

meta.lisp.

Function: halt-engine (rete)
Package

lisa.

Source

rete.lisp.

Function: has-superclass (fact symbolic-name)
Package

lisa.

Source

fact.lisp.

Reader: heap-a (instance)
Writer: (setf heap-a) (instance)
Package

lisa.heap.

Source

heap.lisp.

Target Slot

a.

Function: heap-find-idx (heap fnp)

Return the index of the element which satisfies the predicate FNP. If there is no such element, return the fill pointer of HEAP’s array A.

Package

lisa.heap.

Source

heap.lisp.

Function: heap-init (heap less-fn &key order initial-contents)

Initialize the indicated heap. If INITIAL-CONTENTS is a non-empty list, the heap’s contents are intiailized to the values in that list; they are ordered according to LESS-FN. INITIAL-CONTENTS must be a list or NIL.

Package

lisa.heap.

Source

heap.lisp.

Reader: heap-less-fn (instance)
Writer: (setf heap-less-fn) (instance)
Package

lisa.heap.

Source

heap.lisp.

Target Slot

less-fn.

Reader: heap-max-count (instance)
Writer: (setf heap-max-count) (instance)
Package

lisa.heap.

Source

heap.lisp.

Target Slot

max-count.

Reader: heap-order (instance)
Writer: (setf heap-order) (instance)
Package

lisa.heap.

Source

heap.lisp.

Target Slot

order.

Function: heap-p (object)
Package

lisa.heap.

Source

heap.lisp.

Function: import-class-specification (class-name)
Package

lisa.

Source

meta.lisp.

Function: inactive-p (activation)
Package

lisa.

Source

activation.lisp.

Function: initial-context (rete)
Package

lisa.

Source

rete.lisp.

Function: initial-context-p (context)
Package

lisa.

Source

context.lisp.

Function: initialize-fact-from-instance (fact instance meta-data)

Initializes a fact associated with a user-created CLOS instance. The fact’s slot values are taken from the CLOS instance. FACT is a FACT instance; INSTANCE is the CLOS instance associated with this fact.

Package

lisa.

Source

fact.lisp.

Function: initialize-fact-from-template (fact slots meta-data)

Initializes a template-bound FACT. An instance of the FACT’s associated class is created and the slots of both are synchronized from the SLOTS list. FACT is a FACT instance; SLOTS is a list of symbol/value pairs.

Package

lisa.

Source

fact.lisp.

Function: initialize-slot-value (fact slot-name value)

Sets the value of a slot in a fact’s slot table. FACT is a FACT instance; SLOT-NAME is a symbol; VALUE is the slot’s new value.

Package

lisa.

Source

fact.lisp.

Function: intra-pattern-bindings-p (bindings location)

Is every variable in a pattern ’local’; i.e. does not reference a binding in a previous pattern?

Package

lisa.

Source

rule-parser.lisp.

Function: intra-pattern-slot-p (pattern-slot)
Package

lisa.

Source

pattern.lisp.

Function: is-standard-classp (class)
Package

lisa.reflect.

Source

reflect.lisp.

Function: leaf-node ()
Package

lisa.

Source

rete-compiler.lisp.

Function: left-input (address)
Package

lisa.

Source

rete-compiler.lisp.

Function: left-memory-count (join-node)
Package

lisa.

Source

join-node.lisp.

Function: lesser-child (heap parent)

Return the index of the lesser child. If there’s one child, return its index. If there are no children, return (FILL-POINTER (HEAP-A HEAP)).

Package

lisa.heap.

Source

heap.lisp.

Function: lisa-debugger ()
Package

lisa-system.

Source

lisa.asd.

Function: logical-block-marker ()
Package

lisa.

Source

rete-compiler.lisp.

Function: logical-block-p (join-node)
Package

lisa.

Source

join-node.lisp.

Function: logical-element-p (pattern)
Package

lisa.

Source

rule-parser.lisp.

Function: logical-pattern-p (parsed-pattern)
Package

lisa.

Source

pattern.lisp.

Function: logical-rule-p (rule)
Package

lisa.

Source

rule.lisp.

Function: make-activation (rule tokens)
Package

lisa.

Source

activation.lisp.

Function: make-behavior (function bindings)
Package

lisa.

Source

node-tests.lisp.

Function: make-binding (var address slot-name)
Package

lisa.

Source

binding.lisp.

Function: make-binding-set ()
Package

lisa.

Source

rule-parser.lisp.

Function: make-breadth-first-strategy ()
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Function: make-class-test (class)
Package

lisa.

Source

node-tests.lisp.

Function: make-context (name &key strategy)
Package

lisa.

Source

context.lisp.

Function: make-context-name (defined-name)
Package

lisa.

Source

context.lisp.

Function: make-default-inference-engine ()
Package

lisa.

Source

preamble.lisp.

Function: make-deffacts (name facts)
Package

lisa.

Source

deffacts.lisp.

Function: make-dependency-set (tokens marker)
Package

lisa.

Source

tms-support.lisp.

Function: make-depth-first-strategy ()
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Function: make-fact (name &rest slots)

The default constructor for class FACT. NAME is the symbolic fact name as used in rules; SLOTS is a list of symbol/value pairs.

Package

lisa.

Source

fact.lisp.

Function: make-fact-from-instance (name clos-instance)

A constructor for class FACT that creates an instance bound to a user-defined CLOS instance. NAME is the symbolic fact name; CLOS-INSTANCE is a user-supplied CLOS object.

Package

lisa.

Source

fact.lisp.

Function: make-fact-from-template (fact)

Creates a FACT instance using another FACT instance as a
template. Basically a clone operation useful for such things as asserting DEFFACTS.

Package

lisa.

Source

fact.lisp.

Function: make-fact-meta-object (&key class-name slot-list superclasses)
Package

lisa.

Source

rete.lisp.

Function: make-heap (&key less-fn order a max-count)
Package

lisa.heap.

Source

heap.lisp.

Function: make-inter-pattern-test (slot)
Package

lisa.

Source

node-tests.lisp.

Function: make-intra-pattern-constraint-test (slot)
Package

lisa.

Source

node-tests.lisp.

Function: make-intra-pattern-node (slot)
Package

lisa.

Source

rete-compiler.lisp.

Function: make-intra-pattern-predicate (forms bindings negated-p)
Package

lisa.

Source

node-tests.lisp.

Function: make-intra-pattern-test (slot)
Package

lisa.

Source

node-tests.lisp.

Function: make-join-node (pattern)
Package

lisa.

Source

rete-compiler.lisp.

Function: make-left-join-connection (join-node node)
Package

lisa.

Source

rete-compiler.lisp.

Function: make-lisa-path (relative-path)
Package

lisa-system.

Source

lisa.asd.

Function: make-node-pair (child parent)
Package

lisa.

Source

node-pair.lisp.

Function: make-node1 (test)
Package

lisa.

Source

node1.lisp.

Function: make-node2 ()
Package

lisa.

Source

node2.lisp.

Function: make-node2-exists ()
Package

lisa.

Source

node2-exists.lisp.

Function: make-node2-not ()
Package

lisa.

Source

node2-not.lisp.

Function: make-node2-test ()
Package

lisa.

Source

node2-test.lisp.

Function: make-parsed-pattern (&key class slots address pattern-binding test-bindings binding-set logical sub-patterns type)
Package

lisa.

Source

pattern.lisp.

Function: make-pattern-slot (&key name value slot-binding negated intra-pattern-bindings constraint constraint-bindings)
Package

lisa.

Source

pattern.lisp.

Function: make-predicate-test (forms bindings &optional negated-p)
Package

lisa.

Source

node-tests.lisp.

Function: make-query-engine (source-rete)
Package

lisa.

Source

rete.lisp.

Function: make-rete ()
Package

lisa.

Source

rete.lisp.

Function: make-right-join-connection (join-node node)
Package

lisa.

Source

rete-compiler.lisp.

Function: make-root-node (class)
Package

lisa.

Source

rete-compiler.lisp.

Function: make-rule (name engine patterns actions &key doc-string salience context auto-focus belief compiled-behavior)
Package

lisa.

Source

rule.lisp.

Function: make-rule-actions (&key bindings actions)
Package

lisa.

Source

pattern.lisp.

Function: make-simple-slot-test (slot)
Package

lisa.

Source

node-tests.lisp.

Function: make-simple-slot-test-aux (slot-name value negated-p)
Package

lisa.

Source

node-tests.lisp.

Function: make-successor (node connector)
Package

lisa.

Source

successor.lisp.

Function: make-terminal-node (rule)
Package

lisa.

Source

terminal-node.lisp.

Function: mark-as-logical-block (join-node marker)
Package

lisa.

Source

join-node.lisp.

Function: merge-networks (from-rete to-rete)
Package

lisa.

Source

network-ops.lisp.

Function: merge-rule-into-network (to-network patterns rule &key loader)
Package

lisa.

Source

rete-compiler.lisp.

Function: negated-pattern-p (pattern)
Package

lisa.

Source

pattern.lisp.

Function: negated-slot-p (pattern-slot)
Package

lisa.

Source

pattern.lisp.

Function: next-context (rete)
Package

lisa.

Source

rete.lisp.

Function: next-fact-id (rete)
Package

lisa.

Source

rete.lisp.

Function: node-pair-child (node-pair)
Package

lisa.

Source

node-pair.lisp.

Function: node-pair-parent (node-pair)
Package

lisa.

Source

node-pair.lisp.

Function: parse-and-insert-deffacts (name body)
Package

lisa.

Source

fact-parser.lisp.

Function: parse-and-insert-instance (instance &key belief)
Package

lisa.

Source

fact-parser.lisp.

Function: parse-and-retract-instance (instance engine)
Package

lisa.

Source

fact-parser.lisp.

Function: parse-exists-pattern (pattern location)
Package

lisa.

Source

rule-parser.lisp.

Function: parse-generic-pattern (pattern location &optional pattern-binding)
Package

lisa.

Source

rule-parser.lisp.

Function: parse-not-pattern (pattern location)
Package

lisa.

Source

rule-parser.lisp.

Function: parse-one-slot (form location)

Parses a single raw pattern slot

Package

lisa.

Source

rule-parser.lisp.

Function: parse-one-slot-constraint (var constraint-form)

Parses a single slot constraint, eg. (slot-name ?var 1) or (slot-name ?var (equal ?var 1))

Package

lisa.

Source

rule-parser.lisp.

Function: parse-rule-body (body)
Package

lisa.

Source

rule-parser.lisp.

Function: parse-test-pattern (pattern location)
Package

lisa.

Source

rule-parser.lisp.

Reader: parsed-pattern-address (instance)
Writer: (setf parsed-pattern-address) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

address.

Reader: parsed-pattern-binding-set (instance)
Writer: (setf parsed-pattern-binding-set) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

binding-set.

Reader: parsed-pattern-class (instance)
Writer: (setf parsed-pattern-class) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

class.

Reader: parsed-pattern-logical (instance)
Writer: (setf parsed-pattern-logical) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

logical.

Function: parsed-pattern-p (object)
Package

lisa.

Source

pattern.lisp.

Reader: parsed-pattern-pattern-binding (instance)
Writer: (setf parsed-pattern-pattern-binding) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

pattern-binding.

Reader: parsed-pattern-slots (instance)
Writer: (setf parsed-pattern-slots) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

slots.

Reader: parsed-pattern-sub-patterns (instance)
Writer: (setf parsed-pattern-sub-patterns) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

sub-patterns.

Reader: parsed-pattern-test-bindings (instance)
Writer: (setf parsed-pattern-test-bindings) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

test-bindings.

Function: parsed-pattern-test-forms (pattern)
Package

lisa.

Source

pattern.lisp.

Reader: parsed-pattern-type (instance)
Writer: (setf parsed-pattern-type) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

type.

Function: pass-token (node token)
Package

lisa.

Source

rete-compiler.lisp.

Function: pass-token-on-right (node2 token)
Package

lisa.

Source

rete-compiler.lisp.

Function: pass-tokens-on-left (node2 tokens)
Package

lisa.

Source

rete-compiler.lisp.

Function: pattern-binding-p (binding)
Package

lisa.

Source

binding.lisp.

Reader: pattern-slot-constraint (instance)
Writer: (setf pattern-slot-constraint) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

constraint.

Reader: pattern-slot-constraint-bindings (instance)
Writer: (setf pattern-slot-constraint-bindings) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

constraint-bindings.

Reader: pattern-slot-intra-pattern-bindings (instance)
Writer: (setf pattern-slot-intra-pattern-bindings) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

intra-pattern-bindings.

Reader: pattern-slot-name (instance)
Writer: (setf pattern-slot-name) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

name.

Reader: pattern-slot-negated (instance)
Writer: (setf pattern-slot-negated) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

negated.

Function: pattern-slot-p (object)
Package

lisa.

Source

pattern.lisp.

Reader: pattern-slot-slot-binding (instance)
Writer: (setf pattern-slot-slot-binding) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

slot-binding.

Reader: pattern-slot-value (instance)
Writer: (setf pattern-slot-value) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

value.

Function: percolate-down (heap hole x)

Private. Move the HOLE down until it’s in a location suitable for X. Return the new index of the hole.

Package

lisa.heap.

Source

heap.lisp.

Function: percolate-up (heap hole x)

Private. Moves the HOLE until it’s in a location suitable for holding X. Does not actually bind X to the HOLE. Returns the new
index of the HOLE. The hole itself percolates down; it’s the X that percolates up.

Package

lisa.heap.

Source

heap.lisp.

Function: pop-context (rete)
Package

lisa.

Source

rete.lisp.

Function: preprocess-left-side (lhs)
Package

lisa.

Source

rule-parser.lisp.

Function: push-context (rete context)
Package

lisa.

Source

rete.lisp.

Function: quit (&optional code)
Package

lisa.utils.

Source

utils.lisp.

Function: reconstruct-fact (fact)
Package

lisa.

Source

fact.lisp.

Function: record-node (node parent)
Package

lisa.

Source

rete-compiler.lisp.

Function: redefine-defrule (name body &key salience context belief auto-focus)
Package

lisa.

Source

rule-parser.lisp.

Function: redefine-deftemplate (class-name body)
Package

lisa.

Source

fact-parser.lisp.

Function: register-clos-instance (rete instance fact)
Package

lisa.

Source

rete.lisp.

Function: register-meta-object (rete key meta-object)
Package

lisa.

Source

rete.lisp.

Function: register-new-context (rete context)
Package

lisa.

Source

rete.lisp.

Function: remember-fact (rete fact)
Package

lisa.

Source

rete.lisp.

Function: remember-token (memory token)
Package

lisa.

Source

join-node.lisp.

Function: remove-autofacts (rete)
Package

lisa.

Source

rete.lisp.

Function: remove-fact-from-network (rete-network fact)
Package

lisa.

Source

network-ops.lisp.

Function: remove-rule-from-network (rete-network rule)
Package

lisa.

Source

network-ops.lisp.

Function: remove-token-from-right-memory (join-node token)
Package

lisa.

Source

join-node.lisp.

Function: remove-tokens-from-left-memory (join-node tokens)
Package

lisa.

Source

join-node.lisp.

Function: replicate-token (token &key token-class)
Package

lisa.

Source

token.lisp.

Function: required-argument ()

A useful default for required arguments and DEFSTRUCT slots.

Package

lisa.utils.

Source

utils.lisp.

Function: reset-focus-stack (rete)
Package

lisa.

Source

rete.lisp.

Function: reset-network (rete-network)
Package

lisa.

Source

network-ops.lisp.

Function: rete-fact-count (rete)
Package

lisa.

Source

rete.lisp.

Function: retrieve-contexts (rete)
Package

lisa.

Source

rete.lisp.

Function: right-input (address)
Package

lisa.

Source

rete-compiler.lisp.

Function: right-memory-count (join-node)
Package

lisa.

Source

join-node.lisp.

Reader: rule-actions-actions (instance)
Writer: (setf rule-actions-actions) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

actions.

Reader: rule-actions-bindings (instance)
Writer: (setf rule-actions-bindings) (instance)
Package

lisa.

Source

pattern.lisp.

Target Slot

bindings.

Function: rule-actions-p (object)
Package

lisa.

Source

pattern.lisp.

Function: run-query (query-rule)

Runs a query (RULE instance), and returns both the value of *QUERY-RESULT* and the query name itself.

Package

lisa.

Source

retrieve.lisp.

Function: schedule-dependency-removal (dependency-set)
Package

lisa.

Source

tms-support.lisp.

Function: set-initial-state (rete)
Package

lisa.

Source

rete.lisp.

Function: set-leaf-node (node address)
Package

lisa.

Source

rete-compiler.lisp.

Function: set-pattern-binding (var location)
Package

lisa.

Source

rule-parser.lisp.

Function: set-slot-from-instance (fact instance slot-name)

Assigns to a slot the value from the corresponding slot in the fact’s CLOS instance. FACT is a FACT instance; META-FACT is a META-FACT instance; INSTANCE is the fact’s CLOS instance; SLOT-NAME is a symbol representing the affected slot.

Package

lisa.

Source

fact.lisp.

Function: set-slot-value (fact slot-name value)

Assigns a new value to a slot in a fact and its associated CLOS instance. SLOT-NAME is a symbol; VALUE is the new value for the slot.

Package

lisa.

Source

fact.lisp.

Function: shared-node-all-successors (shared-node)
Package

lisa.

Source

shared-node.lisp.

Function: shared-node-successor-nodes (shared-node)
Package

lisa.

Source

shared-node.lisp.

Function: show-deffacts (deffact)
Package

lisa.

Source

fact-parser.lisp.

Function: simple-bound-slot-p (pattern-slot)
Package

lisa.

Source

pattern.lisp.

Function: simple-slot-p (pattern-slot)
Package

lisa.

Source

pattern.lisp.

Function: slot-value-is-atom-p (value)

Is the slot value a simple constraint?

Package

lisa.

Source

rule-parser.lisp.

Function: slot-value-is-negated-atom-p (value)

Is the slot value a simple negated constraint?

Package

lisa.

Source

rule-parser.lisp.

Function: slot-value-is-negated-variable-p (value)
Package

lisa.

Source

rule-parser.lisp.

Function: slot-value-is-variable-p (value)

Is the slot value a Lisa variable?

Package

lisa.

Source

rule-parser.lisp.

Function: starting-context (rete)
Package

lisa.

Source

rete.lisp.

Function: successor-connector (successor)
Package

lisa.

Source

successor.lisp.

Function: successor-node (successor)
Package

lisa.

Source

successor.lisp.

Function: synchronize-with-instance (fact &optional effective-slot)

Makes a fact’s slot values and its CLOS instance’s slot values match. If a slot identifier is provided then only that slot is synchronized. FACT is a FACT instance; EFFECTIVE-SLOT, if supplied, is a symbol representing the CLOS instance’s slot.

Package

lisa.

Source

fact.lisp.

Function: test-pattern-p (pattern)
Package

lisa.

Source

pattern.lisp.

Function: test-pattern-predicate (pattern)
Package

lisa.

Source

pattern.lisp.

Function: token-decrement-exists-counter (token)
Package

lisa.

Source

token.lisp.

Function: token-decrement-not-counter (token)
Package

lisa.

Source

token.lisp.

Function: token-fact-count (token)
Package

lisa.

Source

token.lisp.

Function: token-find-fact (token address)
Package

lisa.

Source

token.lisp.

Function: token-increment-exists-counter (token)
Package

lisa.

Source

token.lisp.

Function: token-increment-not-counter (token)
Package

lisa.

Source

token.lisp.

Function: token-make-fact-list (token &key detailp debugp)
Package

lisa.

Source

token.lisp.

Function: token-negated-p (token)
Package

lisa.

Source

token.lisp.

Function: token-pop-fact (token)
Package

lisa.

Source

token.lisp.

Function: token-push-fact (token fact)
Package

lisa.

Source

token.lisp.

Function: token-top-fact (token)
Package

lisa.

Source

token.lisp.

Function: unbind-rule-activation (rule tokens)
Package

lisa.

Source

rule.lisp.

Function: unwatch-event (event)
Package

lisa.

Source

watches.lisp.

Function: variable-p (obj)
Package

lisa.

Source

preamble.lisp.

Function: watch-activation-detail (activation direction)
Package

lisa.

Source

watches.lisp.

Function: watch-assert (fact)
Package

lisa.

Source

watches.lisp.

Function: watch-disable-activation (activation)
Package

lisa.

Source

watches.lisp.

Function: watch-enable-activation (activation)
Package

lisa.

Source

watches.lisp.

Function: watch-event (event)
Package

lisa.

Source

watches.lisp.

Function: watch-fact-detail (fact direction)
Package

lisa.

Source

watches.lisp.

Function: watch-retract (fact)
Package

lisa.

Source

watches.lisp.

Function: watch-rule-firing (activation)
Package

lisa.

Source

watches.lisp.

Function: watches ()
Package

lisa.

Source

watches.lisp.


6.2.6 Generic functions

Generic Function: accept-token (self tokens)
Package

lisa.

Methods
Method: accept-token ((self node1) (token reset-token))
Source

node1.lisp.

Method: accept-token ((self node1) token)
Source

node1.lisp.

Method: accept-token ((self terminal-node) (token reset-token))
Source

terminal-node.lisp.

Method: accept-token ((self terminal-node) (tokens remove-token))
Source

terminal-node.lisp.

Method: accept-token ((self terminal-node) (tokens add-token))
Source

terminal-node.lisp.

Generic Function: accept-token-from-right (self left-tokens)
Package

lisa.

Methods
Method: accept-token-from-right ((self node2-exists) (right-token remove-token))
Source

node2-exists.lisp.

Method: accept-token-from-right ((self node2-exists) (right-token add-token))
Source

node2-exists.lisp.

Method: accept-token-from-right ((self node2-not) (right-token remove-token))
Source

node2-not.lisp.

Method: accept-token-from-right ((self node2-not) (right-token add-token))
Source

node2-not.lisp.

Method: accept-token-from-right ((self node2) (right-token remove-token))
Source

node2.lisp.

Method: accept-token-from-right ((self node2) (right-token add-token))
Source

node2.lisp.

Method: accept-token-from-right ((self join-node) (left-tokens reset-token))
Source

join-node.lisp.

Generic Function: accept-tokens-from-left (self left-tokens)
Package

lisa.

Methods
Method: accept-tokens-from-left ((self node2-exists) (left-tokens remove-token))
Source

node2-exists.lisp.

Method: accept-tokens-from-left ((self node2-exists) (left-tokens add-token))
Source

node2-exists.lisp.

Method: accept-tokens-from-left ((self node2-test) (left-tokens remove-token))
Source

node2-test.lisp.

Method: accept-tokens-from-left ((self node2-test) (left-tokens add-token))
Source

node2-test.lisp.

Method: accept-tokens-from-left ((self node2-not) (left-tokens remove-token))
Source

node2-not.lisp.

Method: accept-tokens-from-left ((self node2-not) (left-tokens add-token))
Source

node2-not.lisp.

Method: accept-tokens-from-left ((self node2) (left-tokens remove-token))
Source

node2.lisp.

Method: accept-tokens-from-left ((self node2) (left-tokens add-token))
Source

node2.lisp.

Method: accept-tokens-from-left ((self join-node) (left-tokens reset-token))
Source

join-node.lisp.

Generic Reader: activation-eligible (object)
Package

lisa.

Methods
Reader Method: activation-eligible ((activation activation))

automatically generated reader method

Source

activation.lisp.

Target Slot

eligible.

Generic Writer: (setf activation-eligible) (object)
Package

lisa.

Methods
Writer Method: (setf activation-eligible) ((activation activation))

automatically generated writer method

Source

activation.lisp.

Target Slot

eligible.

Generic Function: activation-priority (self)
Package

lisa.

Methods
Method: activation-priority ((self activation))
Source

activation.lisp.

Generic Reader: activation-rule (object)
Package

lisa.

Methods
Reader Method: activation-rule ((activation activation))

automatically generated reader method

Source

activation.lisp.

Target Slot

rule.

Generic Reader: activation-timestamp (object)
Package

lisa.

Methods
Reader Method: activation-timestamp ((activation activation))

automatically generated reader method

Source

activation.lisp.

Target Slot

timestamp.

Generic Reader: activation-tokens (object)
Package

lisa.

Methods
Reader Method: activation-tokens ((activation activation))

automatically generated reader method

Source

activation.lisp.

Target Slot

tokens.

Generic Function: add-activation (strategy activation)
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Methods
Method: add-activation ((self rete) activation)
Source

rete.lisp.

Method: add-activation ((self builtin-strategy) activation)
Generic Function: add-node-set (parent node &optional count-p)
Package

lisa.

Methods
Method: add-node-set (parent node &optional count-p)
Source

network-ops.lisp.

Method: add-node-set ((parent join-node) node &optional count-p)
Source

network-ops.lisp.

Method: add-node-set ((parent shared-node) node &optional count-p)
Source

network-ops.lisp.

Generic Function: add-successor (self new-node connector)
Package

lisa.

Methods
Method: add-successor :around ((parent shared-node) new-node connector)
Source

rete-compiler.lisp.

Method: add-successor (parent new-node connector)
Source

rete-compiler.lisp.

Method: add-successor ((self join-node) successor-node connector)
Source

join-node.lisp.

Method: add-successor ((self node1) new-node connector)
Source

node1.lisp.

Method: add-successor ((self node1) (new-node node1) connector)
Source

node1.lisp.

Generic Function: adjust-belief (rete fact belief-factor)
Package

lisa.

Methods
Method: adjust-belief (rete fact belief-factor)
Source

rete.lisp.

Method: adjust-belief (rete fact (belief-factor number))
Source

rete.lisp.

Generic Function: assert-fact (self fact &key belief)
Package

lisa.

Methods
Method: assert-fact ((self rete) fact &key belief)
Source

rete.lisp.

Generic Function: assert-fact-aux (self fact)
Package

lisa.

Methods
Method: assert-fact-aux ((self rete) fact)
Source

rete.lisp.

Generic Reader: belief-factor (object)
Package

lisa.

Methods
Reader Method: belief-factor ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

belief-factor.

Reader Method: belief-factor ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

belief.

Generic Writer: (setf belief-factor) (object)
Package

lisa.

Methods
Writer Method: (setf belief-factor) ((fact fact))

automatically generated writer method

Source

fact.lisp.

Target Slot

belief.

Generic Function: class-matches-p (instance fact class)
Package

lisa.

Methods
Method: class-matches-p (instance fact class)
Source

node-tests.lisp.

Method: class-matches-p ((instance inference-engine-object) fact class)
Source

node-tests.lisp.

Generic Function: clear-memories (self)
Package

lisa.

Methods
Method: clear-memories ((self join-node))
Source

join-node.lisp.

Generic Reader: cls-name (condition)
Package

lisa.

Methods
Reader Method: cls-name ((condition class-parsing-error))
Source

conditions.lisp.

Target Slot

cls-name.

Generic Reader: code-args (condition)
Package

lisa.utils.

Methods
Reader Method: code-args ((condition not-implemented))
Source

utils.lisp.

Target Slot

args.

Reader Method: code-args ((condition code))
Source

utils.lisp.

Target Slot

args.

Generic Reader: code-mesg (condition)
Package

lisa.utils.

Methods
Reader Method: code-mesg ((condition not-implemented))
Source

utils.lisp.

Target Slot

mesg.

Reader Method: code-mesg ((condition case-error))
Source

utils.lisp.

Target Slot

mesg.

Reader Method: code-mesg ((condition code))
Source

utils.lisp.

Target Slot

mesg.

Generic Reader: code-proc (condition)
Package

lisa.utils.

Methods
Reader Method: code-proc ((condition code))
Source

utils.lisp.

Target Slot

proc.

Generic Function: combine-tokens (left-tokens right-token)
Package

lisa.

Methods
Method: combine-tokens ((left-tokens token) right-token)
Source

join-node.lisp.

Method: combine-tokens ((left-tokens token) (right-token token))
Source

join-node.lisp.

Generic Function: conflict-set (self)
Package

lisa.

Methods
Method: conflict-set ((self rule))
Source

rule.lisp.

Method: conflict-set ((self context))
Source

context.lisp.

Generic Reader: context-rules (object)
Package

lisa.

Methods
Reader Method: context-rules ((context context))

automatically generated reader method

Source

context.lisp.

Target Slot

rules.

Generic Reader: context-strategy (object)
Package

lisa.

Methods
Reader Method: context-strategy ((context context))

automatically generated reader method

Source

context.lisp.

Target Slot

strategy.

Generic Function: decrement-use-count (self)
Package

lisa.

Methods
Method: decrement-use-count ((node terminal-node))
Source

network-ops.lisp.

Method: decrement-use-count ((node join-node))
Source

network-ops.lisp.

Method: decrement-use-count ((self shared-node))
Source

shared-node.lisp.

Generic Reader: deffacts-fact-list (object)
Package

lisa.

Methods
Reader Method: deffacts-fact-list ((deffacts deffacts))

automatically generated reader method

Source

deffacts.lisp.

Target Slot

fact-list.

Generic Reader: deffacts-name (object)
Package

lisa.

Methods
Reader Method: deffacts-name ((deffacts deffacts))

automatically generated reader method

Source

deffacts.lisp.

Target Slot

name.

Generic Function: disable-activation (self activation)
Package

lisa.

Methods
Method: disable-activation ((self rete) activation)
Source

rete.lisp.

Generic Reader: duplicate-fact-existing-fact (condition)
Package

lisa.

Methods
Reader Method: duplicate-fact-existing-fact ((condition duplicate-fact))
Source

conditions.lisp.

Target Slot

existing-fact.

Generic Function: equals (a b)
Package

lisa.

Source

preamble.lisp.

Methods
Method: equals ((fact-1 fact) (fact-2 fact))
Source

fact.lisp.

Generic Reader: fact-clos-instance (object)
Package

lisa.

Methods
Reader Method: fact-clos-instance ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

clos-instance.

Generic Reader: fact-id-table (object)
Package

lisa.

Methods
Reader Method: fact-id-table ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

fact-id-table.

Generic Writer: (setf fact-id-table) (object)
Package

lisa.

Methods
Writer Method: (setf fact-id-table) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

fact-id-table.

Generic Reader: fact-meta-data (object)
Package

lisa.

Methods
Reader Method: fact-meta-data ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

meta-data.

Generic Reader: fact-shadowsp (object)
Package

lisa.

Methods
Reader Method: fact-shadowsp ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

shadows.

Generic Reader: fact-slot-table (object)
Package

lisa.

Methods
Reader Method: fact-slot-table ((fact fact))

automatically generated reader method

Source

fact.lisp.

Target Slot

slot-table.

Generic Function: find-activation (strategy rule token)
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Methods
Method: find-activation ((self builtin-strategy) rule token)
Generic Function: find-all-activations (strategy rule)
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Methods
Method: find-all-activations ((self builtin-strategy) rule)
Generic Function: find-existing-successor (parent node)
Package

lisa.

Methods
Method: find-existing-successor (parent node)
Source

network-ops.lisp.

Method: find-existing-successor ((parent shared-node) (node node1))
Source

network-ops.lisp.

Generic Function: find-rule-in-context (self rule-name)
Package

lisa.

Methods
Method: find-rule-in-context ((self context) (rule-name symbol))
Source

context.lisp.

Method: find-rule-in-context ((self context) (rule-name string))
Source

context.lisp.

Generic Function: fire-activation (self)
Package

lisa.

Methods
Method: fire-activation ((self activation))
Source

activation.lisp.

Generic Function: fire-rule (self tokens)
Package

lisa.

Methods
Method: fire-rule ((self rule) tokens)
Source

rule.lisp.

Generic Function: forget-rule (self rule-name)
Package

lisa.

Methods
Method: forget-rule ((self rete) (rule-name string))
Source

rete.lisp.

Method: forget-rule ((self rete) (rule rule))
Source

rete.lisp.

Method: forget-rule ((self rete) (rule-name symbol))
Source

rete.lisp.

Generic Function: get-all-activations (self)
Package

lisa.

Methods
Method: get-all-activations ((self priority-queue-mixin))
Source

conflict-resolution-strategies.lisp.

Generic Function: get-next-activation (self)
Package

lisa.

Methods
Method: get-next-activation ((self priority-queue-mixin))
Source

conflict-resolution-strategies.lisp.

Generic Function: get-slot-value (self slot-name)
Package

lisa.

Methods
Method: get-slot-value ((self fact) (slot-name (eql :object)))
Source

fact.lisp.

Method: get-slot-value ((self fact) (slot-name symbol))

Returns the value associated with a slot name. FACT is a FACT instance; SLOT-NAME is a SLOT-NAME instance.

Source

fact.lisp.

Generic Function: hash-key (self)
Package

lisa.

Methods
Method: hash-key ((self token))
Source

token.lisp.

Method: hash-key ((self activation))
Source

activation.lisp.

Method: hash-key ((self fact))
Source

fact.lisp.

Generic Reader: heap (object)
Package

lisa.

Methods
Reader Method: heap ((priority-queue-mixin priority-queue-mixin))

automatically generated reader method

Source

conflict-resolution-strategies.lisp.

Target Slot

heap.

Generic Function: increment-use-count (self)
Package

lisa.

Methods
Method: increment-use-count ((self shared-node))
Source

shared-node.lisp.

Generic Function: insert-activation (self activation)
Package

lisa.

Methods
Method: insert-activation ((self priority-queue-mixin) activation)
Source

conflict-resolution-strategies.lisp.

Generic Function: join-node-add-test (self test)
Package

lisa.

Methods
Method: join-node-add-test ((self join-node) test)
Source

join-node.lisp.

Generic Reader: join-node-left-memory (object)
Package

lisa.

Methods
Reader Method: join-node-left-memory ((join-node join-node))

automatically generated reader method

Source

join-node.lisp.

Target Slot

left-memory.

Generic Reader: join-node-logical-block (object)
Package

lisa.

Methods
Reader Method: join-node-logical-block ((join-node join-node))

automatically generated reader method

Source

join-node.lisp.

Target Slot

logical-block.

Generic Reader: join-node-right-memory (object)
Package

lisa.

Methods
Reader Method: join-node-right-memory ((join-node join-node))

automatically generated reader method

Source

join-node.lisp.

Target Slot

right-memory.

Generic Reader: join-node-successor (object)
Package

lisa.

Methods
Reader Method: join-node-successor ((join-node join-node))

automatically generated reader method

Source

join-node.lisp.

Target Slot

successor.

Generic Writer: (setf join-node-successor) (object)
Package

lisa.

Methods
Writer Method: (setf join-node-successor) ((join-node join-node))

automatically generated writer method

Source

join-node.lisp.

Target Slot

successor.

Generic Reader: join-node-tests (object)
Package

lisa.

Methods
Reader Method: join-node-tests ((join-node join-node))

automatically generated reader method

Source

join-node.lisp.

Target Slot

tests.

Generic Writer: (setf join-node-tests) (object)
Package

lisa.

Methods
Writer Method: (setf join-node-tests) ((join-node join-node))

automatically generated writer method

Source

join-node.lisp.

Target Slot

tests.

Generic Function: list-activations (strategy)
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Methods
Method: list-activations ((self builtin-strategy))
Generic Reader: location (condition)
Package

lisa.

Methods
Reader Method: location ((condition parsing-error))
Source

conditions.lisp.

Target Slot

location.

Generic Function: lookup-activation (self rule tokens)
Package

lisa.

Methods
Method: lookup-activation ((self priority-queue-mixin) rule tokens)
Source

conflict-resolution-strategies.lisp.

Generic Function: lookup-activations (self rule)
Package

lisa.

Methods
Method: lookup-activations ((self priority-queue-mixin) rule)
Source

conflict-resolution-strategies.lisp.

Generic Function: make-add-token (fact)
Package

lisa.

Methods
Method: make-add-token ((fact fact))
Source

token.lisp.

Generic Function: make-remove-token (fact)
Package

lisa.

Methods
Method: make-remove-token ((token token))
Source

token.lisp.

Method: make-remove-token ((fact fact))
Source

token.lisp.

Generic Function: make-reset-token (fact)
Package

lisa.

Methods
Method: make-reset-token (fact)
Source

token.lisp.

Generic Function: make-rete-network (&rest args &key &allow-other-keys)
Package

lisa.

Source

preamble.lisp.

Methods
Method: make-rete-network (&rest args &key &allow-other-keys)
Source

rete-compiler.lisp.

Generic Function: mark-clos-instance-as-changed (self instance &optional slot-id)
Package

lisa.

Methods
Method: mark-clos-instance-as-changed ((self rete) instance &optional slot-id)
Source

rete.lisp.

Generic Function: modify-fact (self fact &rest slot-changes)
Package

lisa.

Methods
Method: modify-fact ((self rete) fact &rest slot-changes)
Source

rete.lisp.

Generic Function: next-activation (strategy)
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Methods
Method: next-activation ((self builtin-strategy))
Generic Function: node-referenced-p (self)
Package

lisa.

Methods
Method: node-referenced-p ((self shared-node))
Source

shared-node.lisp.

Generic Reader: node-test-cache (object)
Package

lisa.

Methods
Reader Method: node-test-cache ((rete-network rete-network))

automatically generated reader method

Source

rete-compiler.lisp.

Target Slot

node-test-cache.

Generic Function: node-use-count (self)
Package

lisa.

Methods
Method: node-use-count ((self shared-node))
Source

shared-node.lisp.

Generic Reader: node1-test (object)
Package

lisa.

Methods
Reader Method: node1-test ((node1 node1))

automatically generated reader method

Source

node1.lisp.

Target Slot

test.

Generic Function: pass-token-to-successors (self token)
Package

lisa.

Methods
Method: pass-token-to-successors ((self shared-node) token)
Source

shared-node.lisp.

Generic Function: pass-tokens-to-successor (self left-tokens)
Package

lisa.

Methods
Method: pass-tokens-to-successor :before ((self join-node) (left-tokens remove-token))
Source

tms.lisp.

Method: pass-tokens-to-successor ((self join-node) left-tokens)
Source

join-node.lisp.

Generic Function: recalculate-cf (objects rule-cf old-cf)
Package

lisa.belief.

Source

certainty-factors.lisp.

Methods
Method: recalculate-cf (objects (rule-cf number) (old-cf number))
Method: recalculate-cf (objects (rule-cf number) old-cf)
Method: recalculate-cf (objects rule-cf old-cf)
Generic Function: remove-activations (strategy)
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Methods
Method: remove-activations ((self builtin-strategy))
Generic Function: remove-node-from-parent (self parent child)
Package

lisa.

Methods
Method: remove-node-from-parent ((self rete-network) (parent shared-node) child)
Source

rete-compiler.lisp.

Method: remove-node-from-parent ((self rete-network) parent child)
Source

rete-compiler.lisp.

Generic Function: remove-rule-from-context (self rule-name)
Package

lisa.

Methods
Method: remove-rule-from-context ((self context) rule)
Source

context.lisp.

Method: remove-rule-from-context ((self context) (rule-name symbol))
Source

context.lisp.

Generic Function: remove-successor (self successor-node)
Package

lisa.

Methods
Method: remove-successor ((self node1) successor-node)
Source

node1.lisp.

Generic Function: reset-activations (self)
Package

lisa.

Methods
Method: reset-activations ((self priority-queue-mixin))
Source

conflict-resolution-strategies.lisp.

Generic Function: reset-engine (self)
Package

lisa.

Methods
Method: reset-engine ((self rete))
Source

rete.lisp.

Generic Reader: rete-autofacts (object)
Package

lisa.

Methods
Reader Method: rete-autofacts ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

autofacts.

Generic Writer: (setf rete-autofacts) (object)
Package

lisa.

Methods
Writer Method: (setf rete-autofacts) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

autofacts.

Generic Reader: rete-contexts (object)
Package

lisa.

Methods
Reader Method: rete-contexts ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

contexts.

Generic Reader: rete-dependency-table (object)
Package

lisa.

Methods
Reader Method: rete-dependency-table ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

dependency-table.

Generic Writer: (setf rete-dependency-table) (object)
Package

lisa.

Methods
Writer Method: (setf rete-dependency-table) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

dependency-table.

Generic Reader: rete-fact-table (object)
Package

lisa.

Methods
Reader Method: rete-fact-table ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

fact-table.

Generic Writer: (setf rete-fact-table) (object)
Package

lisa.

Methods
Writer Method: (setf rete-fact-table) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

fact-table.

Generic Reader: rete-firing-count (object)
Package

lisa.

Methods
Reader Method: rete-firing-count ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

firing-count.

Generic Writer: (setf rete-firing-count) (object)
Package

lisa.

Methods
Writer Method: (setf rete-firing-count) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

firing-count.

Generic Reader: rete-focus-stack (object)
Package

lisa.

Methods
Reader Method: rete-focus-stack ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

focus-stack.

Generic Writer: (setf rete-focus-stack) (object)
Package

lisa.

Methods
Writer Method: (setf rete-focus-stack) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

focus-stack.

Generic Reader: rete-halted (object)
Package

lisa.

Methods
Reader Method: rete-halted ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

halted.

Generic Writer: (setf rete-halted) (object)
Package

lisa.

Methods
Writer Method: (setf rete-halted) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

halted.

Generic Reader: rete-instance-table (object)
Package

lisa.

Methods
Reader Method: rete-instance-table ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

instance-table.

Generic Reader: rete-meta-data (object)
Package

lisa.

Methods
Reader Method: rete-meta-data ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

meta-data.

Generic Reader: rete-next-fact-id (object)
Package

lisa.

Methods
Reader Method: rete-next-fact-id ((rete rete))

automatically generated reader method

Source

rete.lisp.

Target Slot

next-fact-id.

Generic Writer: (setf rete-next-fact-id) (object)
Package

lisa.

Methods
Writer Method: (setf rete-next-fact-id) ((rete rete))

automatically generated writer method

Source

rete.lisp.

Target Slot

next-fact-id.

Generic Reader: rete-roots (object)
Package

lisa.

Methods
Reader Method: rete-roots ((rete-network rete-network))

automatically generated reader method

Source

rete-compiler.lisp.

Target Slot

root-nodes.

Generic Function: retract-fact (self fact)
Package

lisa.

Methods
Method: retract-fact ((self rete) (fact-id integer))
Source

rete.lisp.

Method: retract-fact ((self rete) (instance standard-object))
Source

rete.lisp.

Method: retract-fact ((self rete) (fact fact))
Source

rete.lisp.

Generic Reader: rule-actions (object)
Package

lisa.

Methods
Reader Method: rule-actions ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

actions.

Generic Reader: rule-activations (object)
Package

lisa.

Methods
Reader Method: rule-activations ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

activations.

Generic Writer: (setf rule-activations) (object)
Package

lisa.

Methods
Writer Method: (setf rule-activations) ((rule rule))

automatically generated writer method

Source

rule.lisp.

Target Slot

activations.

Generic Reader: rule-active-dependencies (object)
Package

lisa.

Methods
Reader Method: rule-active-dependencies ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

active-dependencies.

Generic Reader: rule-auto-focus (object)
Package

lisa.

Methods
Reader Method: rule-auto-focus ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

auto-focus.

Generic Reader: rule-behavior (object)
Package

lisa.

Methods
Reader Method: rule-behavior ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

behavior.

Generic Writer: (setf rule-behavior) (object)
Package

lisa.

Methods
Writer Method: (setf rule-behavior) ((rule rule))

automatically generated writer method

Source

rule.lisp.

Target Slot

behavior.

Generic Reader: rule-binding-set (object)
Package

lisa.

Methods
Reader Method: rule-binding-set ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

binding-set.

Generic Reader: rule-engine (object)
Package

lisa.

Methods
Reader Method: rule-engine ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

engine.

Generic Reader: rule-logical-marker (object)
Package

lisa.

Methods
Reader Method: rule-logical-marker ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

logical-marker.

Generic Reader: rule-node-list (object)
Package

lisa.

Methods
Reader Method: rule-node-list ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

node-list.

Generic Reader: rule-patterns (object)
Package

lisa.

Methods
Reader Method: rule-patterns ((rule rule))

automatically generated reader method

Source

rule.lisp.

Target Slot

patterns.

Generic Function: run-engine (self &optional step)
Package

lisa.

Methods
Method: run-engine ((self rete) &optional step)
Source

rete.lisp.

Generic Reader: shared-node-refcnt (object)
Package

lisa.

Methods
Reader Method: shared-node-refcnt ((shared-node shared-node))

automatically generated reader method

Source

shared-node.lisp.

Target Slot

refcnt.

Generic Writer: (setf shared-node-refcnt) (object)
Package

lisa.

Methods
Writer Method: (setf shared-node-refcnt) ((shared-node shared-node))

automatically generated writer method

Source

shared-node.lisp.

Target Slot

refcnt.

Generic Reader: shared-node-successors (object)
Package

lisa.

Methods
Reader Method: shared-node-successors ((shared-node shared-node))

automatically generated reader method

Source

shared-node.lisp.

Target Slot

successors.

Generic Reader: slot-name (condition)
Package

lisa.

Methods
Reader Method: slot-name ((condition slot-parsing-error))
Source

conditions.lisp.

Target Slot

slot-name.

Generic Reader: terminal-node-rule (object)
Package

lisa.

Methods
Reader Method: terminal-node-rule ((terminal-node terminal-node))

automatically generated reader method

Source

terminal-node.lisp.

Target Slot

rule.

Generic Function: test-against-left-memory (self right-token)
Package

lisa.

Methods
Method: test-against-left-memory ((self node2-exists) (right-token remove-token))
Source

node2-exists.lisp.

Method: test-against-left-memory ((self node2-exists) (right-token add-token))
Source

node2-exists.lisp.

Method: test-against-left-memory ((self node2-not) (right-token remove-token))
Source

node2-not.lisp.

Method: test-against-left-memory ((self node2-not) (right-token add-token))
Source

node2-not.lisp.

Method: test-against-left-memory ((self node2) (right-token remove-token))
Source

node2.lisp.

Method: test-against-left-memory ((self node2) (right-token add-token))
Source

node2.lisp.

Generic Function: test-against-right-memory (self left-tokens)
Package

lisa.

Methods
Method: test-against-right-memory ((self node2-exists) (left-tokens remove-token))
Source

node2-exists.lisp.

Method: test-against-right-memory ((self node2-exists) (left-tokens add-token))
Source

node2-exists.lisp.

Method: test-against-right-memory ((self node2-not) left-tokens)
Source

node2-not.lisp.

Method: test-against-right-memory ((self node2) left-tokens)
Source

node2.lisp.

Generic Function: test-tokens (self left-tokens right-token)
Package

lisa.

Methods
Method: test-tokens ((self join-node) left-tokens right-token)
Source

join-node.lisp.

Generic Reader: text (condition)
Package

lisa.

Methods
Reader Method: text ((condition parsing-error))
Source

conditions.lisp.

Target Slot

text.

Generic Reader: token-contents (object)
Package

lisa.

Methods
Reader Method: token-contents ((token token))

automatically generated reader method

Source

token.lisp.

Target Slot

contents.

Generic Reader: token-exists-counter (object)
Package

lisa.

Methods
Reader Method: token-exists-counter ((token token))

automatically generated reader method

Source

token.lisp.

Target Slot

exists-counter.

Generic Writer: (setf token-exists-counter) (object)
Package

lisa.

Methods
Writer Method: (setf token-exists-counter) ((token token))

automatically generated writer method

Source

token.lisp.

Target Slot

exists-counter.

Generic Reader: token-facts (object)
Package

lisa.

Methods
Reader Method: token-facts ((token token))

automatically generated reader method

Source

token.lisp.

Target Slot

facts.

Generic Writer: (setf token-facts) (object)
Package

lisa.

Methods
Writer Method: (setf token-facts) ((token token))

automatically generated writer method

Source

token.lisp.

Target Slot

facts.

Generic Reader: token-hash-code (object)
Package

lisa.

Methods
Reader Method: token-hash-code ((token token))

automatically generated reader method

Source

token.lisp.

Target Slot

hash-code.

Generic Writer: (setf token-hash-code) (object)
Package

lisa.

Methods
Writer Method: (setf token-hash-code) ((token token))

automatically generated writer method

Source

token.lisp.

Target Slot

hash-code.

Generic Reader: token-not-counter (object)
Package

lisa.

Methods
Reader Method: token-not-counter ((token token))

automatically generated reader method

Source

token.lisp.

Target Slot

not-counter.

Generic Writer: (setf token-not-counter) (object)
Package

lisa.

Methods
Writer Method: (setf token-not-counter) ((token token))

automatically generated writer method

Source

token.lisp.

Target Slot

not-counter.


6.2.7 Conditions

Condition: case-error

An error in a case statement.
This carries the function name which makes the error message more useful.

Package

lisa.utils.

Source

utils.lisp.

Direct superclasses

code.

Direct methods

code-mesg.

Direct slots
Slot: mesg
Initform

(quote "`~s' evaluated to `~s', not one of [~@{`~s'~^ ~}]")

Initargs

:mesg

Readers

code-mesg.

Writers

This slot is read-only.

Condition: class-parsing-error
Package

lisa.

Source

conditions.lisp.

Direct superclasses

parsing-error.

Direct methods

cls-name.

Direct slots
Slot: cls-name
Initform

(quote nil)

Initargs

:cls-name

Readers

cls-name.

Writers

This slot is read-only.

Condition: code

An error in the user code.

Package

lisa.utils.

Source

utils.lisp.

Direct superclasses

error.

Direct subclasses
Direct methods
Direct slots
Slot: proc
Initargs

:proc

Readers

code-proc.

Writers

This slot is read-only.

Slot: mesg
Initargs

:mesg

Readers

code-mesg.

Writers

This slot is read-only.

Slot: args
Initargs

:args

Readers

code-args.

Writers

This slot is read-only.

Condition: not-implemented

Your implementation does not support this functionality.

Package

lisa.utils.

Source

utils.lisp.

Direct superclasses

code.

Direct methods
Direct slots
Slot: mesg
Initform

(quote "not implemented for ~a [~a]")

Initargs

:mesg

Readers

code-mesg.

Writers

This slot is read-only.

Slot: args
Initform

(quote (list (lisp-implementation-type) (lisp-implementation-version)))

Initargs

:args

Readers

code-args.

Writers

This slot is read-only.

Condition: parsing-error
Package

lisa.

Source

conditions.lisp.

Direct superclasses

error.

Direct subclasses
Direct methods
Direct slots
Slot: text
Initform

(quote nil)

Initargs

:text

Readers

text.

Writers

This slot is read-only.

Slot: location
Initform

(quote nil)

Initargs

:location

Readers

location.

Writers

This slot is read-only.

Condition: rule-parsing-error
Package

lisa.

Source

conditions.lisp.

Direct superclasses

parsing-error.

Direct methods

rule-name.

Direct slots
Slot: rule-name
Initform

(quote nil)

Initargs

:rule-name

Readers

rule-name.

Writers

This slot is read-only.

Condition: slot-parsing-error
Package

lisa.

Source

conditions.lisp.

Direct superclasses

parsing-error.

Direct methods

slot-name.

Direct slots
Slot: slot-name
Initform

(quote nil)

Initargs

:slot-name

Readers

slot-name.

Writers

This slot is read-only.


6.2.8 Structures

Structure: fact-meta-object
Package

lisa.

Source

rete.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: class-name
Package

common-lisp.

Type

symbol

Readers

fact-meta-object-class-name.

Writers

(setf fact-meta-object-class-name).

Slot: slot-list
Type

list

Readers

fact-meta-object-slot-list.

Writers

(setf fact-meta-object-slot-list).

Slot: superclasses
Type

list

Readers

fact-meta-object-superclasses.

Writers

(setf fact-meta-object-superclasses).

Structure: heap
Package

lisa.heap.

Source

heap.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: less-fn
Readers

heap-less-fn.

Writers

(setf heap-less-fn).

Slot: order
Readers

heap-order.

Writers

(setf heap-order).

Slot: a
Readers

heap-a.

Writers

(setf heap-a).

Slot: max-count
Readers

heap-max-count.

Writers

(setf heap-max-count).

Structure: parsed-pattern

Represents the canonical form of a pattern analysed by the DEFRULE parser.

Package

lisa.

Source

pattern.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: class
Package

common-lisp.

Type

symbol

Readers

parsed-pattern-class.

Writers

(setf parsed-pattern-class).

Slot: slots
Readers

parsed-pattern-slots.

Writers

(setf parsed-pattern-slots).

Slot: address
Type

integer

Initform

0

Readers

parsed-pattern-address.

Writers

(setf parsed-pattern-address).

Slot: pattern-binding
Readers

parsed-pattern-pattern-binding.

Writers

(setf parsed-pattern-pattern-binding).

Slot: test-bindings
Type

list

Readers

parsed-pattern-test-bindings.

Writers

(setf parsed-pattern-test-bindings).

Slot: binding-set
Type

list

Readers

parsed-pattern-binding-set.

Writers

(setf parsed-pattern-binding-set).

Slot: logical
Type

symbol

Readers

parsed-pattern-logical.

Writers

(setf parsed-pattern-logical).

Slot: sub-patterns
Type

list

Readers

parsed-pattern-sub-patterns.

Writers

(setf parsed-pattern-sub-patterns).

Slot: type
Package

common-lisp.

Type

symbol

Initform

:generic

Readers

parsed-pattern-type.

Writers

(setf parsed-pattern-type).

Structure: pattern-slot

Represents the canonical form of a slot within a pattern analysed by the DEFRULE parser.

Package

lisa.

Source

pattern.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: name
Type

symbol

Readers

pattern-slot-name.

Writers

(setf pattern-slot-name).

Slot: value
Readers

pattern-slot-value.

Writers

(setf pattern-slot-value).

Slot: slot-binding
Type

list

Readers

pattern-slot-slot-binding.

Writers

(setf pattern-slot-slot-binding).

Slot: negated
Type

symbol

Readers

pattern-slot-negated.

Writers

(setf pattern-slot-negated).

Slot: intra-pattern-bindings
Type

symbol

Readers

pattern-slot-intra-pattern-bindings.

Writers

(setf pattern-slot-intra-pattern-bindings).

Slot: constraint
Readers

pattern-slot-constraint.

Writers

(setf pattern-slot-constraint).

Slot: constraint-bindings
Type

list

Readers

pattern-slot-constraint-bindings.

Writers

(setf pattern-slot-constraint-bindings).

Structure: rule-actions
Package

lisa.

Source

pattern.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: bindings
Type

list

Readers

rule-actions-bindings.

Writers

(setf rule-actions-bindings).

Slot: actions
Type

list

Readers

rule-actions-actions.

Writers

(setf rule-actions-actions).


6.2.9 Classes

Class: add-token
Package

lisa.

Source

token.lisp.

Direct superclasses

token.

Direct methods
Class: breadth-first-strategy

A breadth-first conflict resolution strategy.

Package

lisa.

Source

conflict-resolution-strategies.lisp.

Direct superclasses

builtin-strategy.

Class: builtin-strategy

A base class for all LISA builtin conflict resolution strategies.

Package

lisa.

Source

conflict-resolution-strategies.lisp.

Direct superclasses
Direct subclasses
Direct methods
Class: depth-first-strategy

A depth-first conflict resolution strategy.

Package

lisa.

Source

conflict-resolution-strategies.lisp.

Direct superclasses

builtin-strategy.

Class: inference-engine-object
Package

lisa.

Source

preamble.lisp.

Direct subclasses
Direct methods

class-matches-p.

Class: join-node
Package

lisa.

Source

join-node.lisp.

Direct subclasses
Direct methods
Direct slots
Slot: successor
Readers

join-node-successor.

Writers

(setf join-node-successor).

Slot: logical-block
Readers

join-node-logical-block.

Writers

This slot is read-only.

Slot: tests
Initform

(list)

Readers

join-node-tests.

Writers

(setf join-node-tests).

Slot: left-memory
Initform

(make-hash-table :test (function equal))

Readers

join-node-left-memory.

Writers

This slot is read-only.

Slot: right-memory
Initform

(make-hash-table :test (function equal))

Readers

join-node-right-memory.

Writers

This slot is read-only.

Class: node1
Package

lisa.

Source

node1.lisp.

Direct superclasses

shared-node.

Direct methods
Direct slots
Slot: test
Initargs

:test

Readers

node1-test.

Writers

This slot is read-only.

Class: node2
Package

lisa.

Source

node2.lisp.

Direct superclasses

join-node.

Direct methods
Class: node2-exists
Package

lisa.

Source

node2-exists.lisp.

Direct superclasses

join-node.

Direct methods
Class: node2-not
Package

lisa.

Source

node2-not.lisp.

Direct superclasses

join-node.

Direct methods
Class: node2-test
Package

lisa.

Source

node2-test.lisp.

Direct superclasses

join-node.

Direct methods
Class: priority-queue-mixin
Package

lisa.

Source

conflict-resolution-strategies.lisp.

Direct subclasses

builtin-strategy.

Direct methods
Direct slots
Slot: heap
Initargs

:heap

Readers

heap.

Writers

This slot is read-only.

Class: query-fact
Package

lisa.

Source

epilogue.lisp.

Direct superclasses

inference-engine-object.

Class: remove-token
Package

lisa.

Source

token.lisp.

Direct superclasses

token.

Direct methods
Class: reset-token
Package

lisa.

Source

token.lisp.

Direct superclasses

token.

Direct methods
Class: shared-node
Package

lisa.

Source

shared-node.lisp.

Direct subclasses

node1.

Direct methods
Direct slots
Slot: successors
Initform

(make-hash-table :test (function equal))

Readers

shared-node-successors.

Writers

This slot is read-only.

Slot: refcnt
Initform

0

Readers

shared-node-refcnt.

Writers

(setf shared-node-refcnt).

Class: strategy

Serves as the base class for all classes implementing conflict resolution strategies.

Package

lisa.

Source

conflict-resolution-strategies.lisp.

Direct subclasses

builtin-strategy.

Class: terminal-node
Package

lisa.

Source

terminal-node.lisp.

Direct methods
Direct slots
Slot: rule
Initargs

:rule

Readers

terminal-node-rule.

Writers

This slot is read-only.


6.2.10 Types

Type: certainty-factor ()
Package

lisa.belief.

Source

certainty-factors.lisp.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   %   (  
A   B   C   D   E   F   G   H   I   J   L   M   N   P   Q   R   S   T   U   V   W  
Index Entry  Section

%
%make-binding: Private ordinary functions

(
(setf activation-eligible): Private generic functions
(setf activation-eligible): Private generic functions
(setf allow-duplicate-facts): Public ordinary functions
(setf belief-factor): Private generic functions
(setf belief-factor): Private generic functions
(setf binding-address): Private ordinary functions
(setf binding-slot-name): Private ordinary functions
(setf binding-variable): Private ordinary functions
(setf consider-taxonomy): Public ordinary functions
(setf fact-id): Public generic functions
(setf fact-id): Public generic functions
(setf fact-id-table): Private generic functions
(setf fact-id-table): Private generic functions
(setf fact-meta-object-class-name): Private ordinary functions
(setf fact-meta-object-slot-list): Private ordinary functions
(setf fact-meta-object-superclasses): Private ordinary functions
(setf heap-a): Private ordinary functions
(setf heap-less-fn): Private ordinary functions
(setf heap-max-count): Private ordinary functions
(setf heap-order): Private ordinary functions
(setf join-node-successor): Private generic functions
(setf join-node-successor): Private generic functions
(setf join-node-tests): Private generic functions
(setf join-node-tests): Private generic functions
(setf parsed-pattern-address): Private ordinary functions
(setf parsed-pattern-binding-set): Private ordinary functions
(setf parsed-pattern-class): Private ordinary functions
(setf parsed-pattern-logical): Private ordinary functions
(setf parsed-pattern-pattern-binding): Private ordinary functions
(setf parsed-pattern-slots): Private ordinary functions
(setf parsed-pattern-sub-patterns): Private ordinary functions
(setf parsed-pattern-test-bindings): Private ordinary functions
(setf parsed-pattern-type): Private ordinary functions
(setf pattern-slot-constraint): Private ordinary functions
(setf pattern-slot-constraint-bindings): Private ordinary functions
(setf pattern-slot-intra-pattern-bindings): Private ordinary functions
(setf pattern-slot-name): Private ordinary functions
(setf pattern-slot-negated): Private ordinary functions
(setf pattern-slot-slot-binding): Private ordinary functions
(setf pattern-slot-value): Private ordinary functions
(setf rete-autofacts): Private generic functions
(setf rete-autofacts): Private generic functions
(setf rete-dependency-table): Private generic functions
(setf rete-dependency-table): Private generic functions
(setf rete-fact-table): Private generic functions
(setf rete-fact-table): Private generic functions
(setf rete-firing-count): Private generic functions
(setf rete-firing-count): Private generic functions
(setf rete-focus-stack): Private generic functions
(setf rete-focus-stack): Private generic functions
(setf rete-halted): Private generic functions
(setf rete-halted): Private generic functions
(setf rete-next-fact-id): Private generic functions
(setf rete-next-fact-id): Private generic functions
(setf rule-actions-actions): Private ordinary functions
(setf rule-actions-bindings): Private ordinary functions
(setf rule-activations): Private generic functions
(setf rule-activations): Private generic functions
(setf rule-behavior): Private generic functions
(setf rule-behavior): Private generic functions
(setf shared-node-refcnt): Private generic functions
(setf shared-node-refcnt): Private generic functions
(setf slot-value-of-instance): Public generic functions
(setf slot-value-of-instance): Public generic functions
(setf token-exists-counter): Private generic functions
(setf token-exists-counter): Private generic functions
(setf token-facts): Private generic functions
(setf token-facts): Private generic functions
(setf token-hash-code): Private generic functions
(setf token-hash-code): Private generic functions
(setf token-not-counter): Private generic functions
(setf token-not-counter): Private generic functions
(setf use-fancy-assert): Public ordinary functions

A
accept-token: Private generic functions
accept-token: Private generic functions
accept-token: Private generic functions
accept-token: Private generic functions
accept-token: Private generic functions
accept-token: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-token-from-right: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
accept-tokens-from-left: Private generic functions
acquire-meta-data: Private ordinary functions
activation-eligible: Private generic functions
activation-eligible: Private generic functions
activation-fact-list: Private ordinary functions
activation-priority: Private generic functions
activation-priority: Private generic functions
activation-rule: Private generic functions
activation-rule: Private generic functions
activation-timestamp: Private generic functions
activation-timestamp: Private generic functions
activation-tokens: Private generic functions
activation-tokens: Private generic functions
active-context: Private ordinary functions
active-engine: Private ordinary functions
active-rule: Public ordinary functions
active-tokens: Private ordinary functions
add-activation: Private generic functions
add-activation: Private generic functions
add-activation: Private generic functions
add-autofact: Private ordinary functions
add-fact-to-network: Private ordinary functions
add-inter-pattern-nodes: Private ordinary functions
add-intra-pattern-nodes: Private ordinary functions
add-join-node-tests: Private ordinary functions
add-logical-dependency: Private ordinary functions
add-node-set: Private generic functions
add-node-set: Private generic functions
add-node-set: Private generic functions
add-node-set: Private generic functions
add-rule-to-context: Private ordinary functions
add-rule-to-network: Private ordinary functions
add-successor: Private generic functions
add-successor: Private generic functions
add-successor: Private generic functions
add-successor: Private generic functions
add-successor: Private generic functions
add-successor: Private generic functions
add-terminal-node: Private ordinary functions
add-token-to-network: Private ordinary functions
add-token-to-right-memory: Private ordinary functions
add-tokens-to-left-memory: Private ordinary functions
adjust-belief: Public generic functions
adjust-belief: Public generic functions
adjust-belief: Public generic functions
adjust-belief: Private generic functions
adjust-belief: Private generic functions
adjust-belief: Private generic functions
agenda: Public ordinary functions
allow-duplicate-facts: Public ordinary functions
assert: Public macros
assert-autofacts: Private ordinary functions
assert-fact: Private generic functions
assert-fact: Private generic functions
assert-fact-aux: Private generic functions
assert-fact-aux: Private generic functions
assert-instance: Public ordinary functions
attach-rule-nodes: Private ordinary functions
auto-focus-p: Public ordinary functions

B
belief->english: Public generic functions
belief->english: Public generic functions
belief-factor: Public generic functions
belief-factor: Public generic functions
belief-factor: Public generic functions
belief-factor: Private generic functions
belief-factor: Private generic functions
belief-factor: Private generic functions
bind-logical-dependencies: Private ordinary functions
bind-rule-activation: Private ordinary functions
binding-address: Private ordinary functions
binding-slot-name: Private ordinary functions
binding-variable: Private ordinary functions
bound-pattern-p: Private ordinary functions
build-lambda-expression: Private ordinary functions

C
call-successor: Private ordinary functions
certainty-factor-p: Private ordinary functions
cf->english: Private ordinary functions
cf-combine: Private ordinary functions
class-all-superclasses: Public ordinary functions
class-matches-p: Private generic functions
class-matches-p: Private generic functions
class-matches-p: Private generic functions
class-slot-initargs: Private ordinary functions
class-slot-list: Public ordinary functions
clear: Public ordinary functions
clear-activation-bindings: Private ordinary functions
clear-activations: Private ordinary functions
clear-context: Private ordinary functions
clear-contexts: Private ordinary functions
clear-environment-handlers: Private ordinary functions
clear-focus-stack: Private ordinary functions
clear-memories: Private generic functions
clear-memories: Private generic functions
clear-node-test-table: Private ordinary functions
clear-system-environment: Private ordinary functions
cls-name: Private generic functions
cls-name: Private generic functions
code-args: Private generic functions
code-args: Private generic functions
code-args: Private generic functions
code-mesg: Private generic functions
code-mesg: Private generic functions
code-mesg: Private generic functions
code-mesg: Private generic functions
code-proc: Private generic functions
code-proc: Private generic functions
collect: Public ordinary functions
collect-bindings: Private ordinary functions
collect-constraint-bindings: Private ordinary functions
combine-tokens: Private generic functions
combine-tokens: Private generic functions
combine-tokens: Private generic functions
compile-function: Private macros
compile-rule: Private ordinary functions
compile-rule-behavior: Private ordinary functions
compile-rule-into-network: Private ordinary functions
compose: Public macros
compound-pattern-p: Private ordinary functions
conflict-set: Private generic functions
conflict-set: Private generic functions
conflict-set: Private generic functions
conjunct-cf: Private ordinary functions
consider-taxonomy: Public ordinary functions
constrained-slot-p: Private ordinary functions
constraintp: Private macros
context-activation-list: Private ordinary functions
context-name: Public generic functions
context-name: Public generic functions
context-rule-list: Private ordinary functions
context-rules: Private generic functions
context-rules: Private generic functions
context-strategy: Private generic functions
context-strategy: Private generic functions
contexts: Public ordinary functions
copy-binding: Private ordinary functions
copy-fact-meta-object: Private ordinary functions
copy-heap: Private ordinary functions
copy-network: Private ordinary functions
copy-node-test-table: Private ordinary functions
copy-parsed-pattern: Private ordinary functions
copy-pattern-slot: Private ordinary functions
copy-rule: Private ordinary functions
copy-rule-actions: Private ordinary functions
create-heap: Public ordinary functions
create-template-class-slots: Private ordinary functions
current-context: Private ordinary functions
current-engine: Public ordinary functions

D
decrement-use-count: Private generic functions
decrement-use-count: Private generic functions
decrement-use-count: Private generic functions
decrement-use-count: Private generic functions
default-search-predicate: Private ordinary functions
defconst: Private macros
defcontext: Public macros
defcustom: Private macros
deffacts: Public macros
deffacts-fact-list: Private generic functions
deffacts-fact-list: Private generic functions
deffacts-name: Private generic functions
deffacts-name: Private generic functions
define-lisa-lisp: Private macros
define-rule: Private ordinary functions
defquery: Private macros
defrule: Public macros
defsubst: Private macros
deftemplate: Public macros
dependencies: Public ordinary functions
disable-activation: Private generic functions
disable-activation: Private generic functions
distribute-token: Private ordinary functions
duplicate-fact-existing-fact: Private generic functions
duplicate-fact-existing-fact: Private generic functions
duplicate-fact-p: Private ordinary functions

E
eligible-p: Private ordinary functions
engine: Public ordinary functions
ensure-fact-is-unique: Private macros
ensure-meta-data-exists: Private ordinary functions
enter-join-network-from-left: Private ordinary functions
enter-join-network-from-right: Private ordinary functions
eof-p: Private ordinary functions
equals: Private generic functions
equals: Private generic functions
existential-pattern-p: Private ordinary functions
expand-slots: Private ordinary functions
extract-rule-headers: Private ordinary functions

F
fact-clos-instance: Private generic functions
fact-clos-instance: Private generic functions
fact-id: Public generic functions
fact-id: Public generic functions
fact-id-table: Private generic functions
fact-id-table: Private generic functions
fact-meta-data: Private generic functions
fact-meta-data: Private generic functions
fact-meta-object-class-name: Private ordinary functions
fact-meta-object-p: Private ordinary functions
fact-meta-object-slot-list: Private ordinary functions
fact-meta-object-superclasses: Private ordinary functions
fact-name: Public generic functions
fact-name: Public generic functions
fact-shadowsp: Private generic functions
fact-shadowsp: Private generic functions
fact-slot-table: Private generic functions
fact-slot-table: Private generic functions
fact-symbolic-id: Private ordinary functions
facts: Public ordinary functions
false-p: Public ordinary functions
find-activation: Private generic functions
find-activation: Private generic functions
find-activation-binding: Private ordinary functions
find-after: Public ordinary functions
find-all-activations: Private generic functions
find-all-activations: Private generic functions
find-any-logical-boundaries: Private ordinary functions
find-before: Public ordinary functions
find-conditional-element-parser: Private ordinary functions
find-context: Public ordinary functions
find-direct-superclasses: Public ordinary functions
find-existing-successor: Private generic functions
find-existing-successor: Private generic functions
find-existing-successor: Private generic functions
find-fact-by-id: Public ordinary functions
find-fact-by-name: Public ordinary functions
find-fact-using-instance: Private ordinary functions
find-if-after: Public ordinary functions
find-instance-of-fact: Private ordinary functions
find-logical-dependencies: Private ordinary functions
find-meta-fact: Private ordinary functions
find-meta-object: Private ordinary functions
find-or-set-slot-binding: Private ordinary functions
find-rule: Public ordinary functions
find-rule-in-context: Private generic functions
find-rule-in-context: Private generic functions
find-rule-in-context: Private generic functions
find-slot-binding: Private ordinary functions
find-test: Private ordinary functions
fire-activation: Private generic functions
fire-activation: Private generic functions
fire-rule: Private generic functions
fire-rule: Private generic functions
fixup-runtime-bindings: Private ordinary functions
flatten: Public ordinary functions
focus: Public ordinary functions
focus-stack: Public ordinary functions
forget-all-facts: Private ordinary functions
forget-clos-instance: Private ordinary functions
forget-clos-instances: Private ordinary functions
forget-context: Private ordinary functions
forget-fact: Private ordinary functions
forget-rule: Private generic functions
forget-rule: Private generic functions
forget-rule: Private generic functions
forget-rule: Private generic functions
forget-token: Private ordinary functions
Function, %make-binding: Private ordinary functions
Function, (setf binding-address): Private ordinary functions
Function, (setf binding-slot-name): Private ordinary functions
Function, (setf binding-variable): Private ordinary functions
Function, (setf fact-meta-object-class-name): Private ordinary functions
Function, (setf fact-meta-object-slot-list): Private ordinary functions
Function, (setf fact-meta-object-superclasses): Private ordinary functions
Function, (setf heap-a): Private ordinary functions
Function, (setf heap-less-fn): Private ordinary functions
Function, (setf heap-max-count): Private ordinary functions
Function, (setf heap-order): Private ordinary functions
Function, (setf parsed-pattern-address): Private ordinary functions
Function, (setf parsed-pattern-binding-set): Private ordinary functions
Function, (setf parsed-pattern-class): Private ordinary functions
Function, (setf parsed-pattern-logical): Private ordinary functions
Function, (setf parsed-pattern-pattern-binding): Private ordinary functions
Function, (setf parsed-pattern-slots): Private ordinary functions
Function, (setf parsed-pattern-sub-patterns): Private ordinary functions
Function, (setf parsed-pattern-test-bindings): Private ordinary functions
Function, (setf parsed-pattern-type): Private ordinary functions
Function, (setf pattern-slot-constraint): Private ordinary functions
Function, (setf pattern-slot-constraint-bindings): Private ordinary functions
Function, (setf pattern-slot-intra-pattern-bindings): Private ordinary functions
Function, (setf pattern-slot-name): Private ordinary functions
Function, (setf pattern-slot-negated): Private ordinary functions
Function, (setf pattern-slot-slot-binding): Private ordinary functions
Function, (setf pattern-slot-value): Private ordinary functions
Function, (setf rule-actions-actions): Private ordinary functions
Function, (setf rule-actions-bindings): Private ordinary functions
Function, acquire-meta-data: Private ordinary functions
Function, activation-fact-list: Private ordinary functions
Function, active-context: Private ordinary functions
Function, active-engine: Private ordinary functions
Function, active-rule: Public ordinary functions
Function, active-tokens: Private ordinary functions
Function, add-autofact: Private ordinary functions
Function, add-fact-to-network: Private ordinary functions
Function, add-inter-pattern-nodes: Private ordinary functions
Function, add-intra-pattern-nodes: Private ordinary functions
Function, add-join-node-tests: Private ordinary functions
Function, add-logical-dependency: Private ordinary functions
Function, add-rule-to-context: Private ordinary functions
Function, add-rule-to-network: Private ordinary functions
Function, add-terminal-node: Private ordinary functions
Function, add-token-to-network: Private ordinary functions
Function, add-token-to-right-memory: Private ordinary functions
Function, add-tokens-to-left-memory: Private ordinary functions
Function, agenda: Public ordinary functions
Function, allow-duplicate-facts: Public ordinary functions
Function, assert-autofacts: Private ordinary functions
Function, assert-instance: Public ordinary functions
Function, attach-rule-nodes: Private ordinary functions
Function, auto-focus-p: Public ordinary functions
Function, bind-logical-dependencies: Private ordinary functions
Function, bind-rule-activation: Private ordinary functions
Function, binding-address: Private ordinary functions
Function, binding-slot-name: Private ordinary functions
Function, binding-variable: Private ordinary functions
Function, bound-pattern-p: Private ordinary functions
Function, build-lambda-expression: Private ordinary functions
Function, call-successor: Private ordinary functions
Function, certainty-factor-p: Private ordinary functions
Function, cf->english: Private ordinary functions
Function, cf-combine: Private ordinary functions
Function, class-all-superclasses: Public ordinary functions
Function, class-slot-initargs: Private ordinary functions
Function, class-slot-list: Public ordinary functions
Function, clear: Public ordinary functions
Function, clear-activation-bindings: Private ordinary functions
Function, clear-activations: Private ordinary functions
Function, clear-context: Private ordinary functions
Function, clear-contexts: Private ordinary functions
Function, clear-environment-handlers: Private ordinary functions
Function, clear-focus-stack: Private ordinary functions
Function, clear-node-test-table: Private ordinary functions
Function, clear-system-environment: Private ordinary functions
Function, collect: Public ordinary functions
Function, collect-bindings: Private ordinary functions
Function, collect-constraint-bindings: Private ordinary functions
Function, compile-rule: Private ordinary functions
Function, compile-rule-behavior: Private ordinary functions
Function, compile-rule-into-network: Private ordinary functions
Function, compound-pattern-p: Private ordinary functions
Function, conjunct-cf: Private ordinary functions
Function, consider-taxonomy: Public ordinary functions
Function, constrained-slot-p: Private ordinary functions
Function, context-activation-list: Private ordinary functions
Function, context-rule-list: Private ordinary functions
Function, contexts: Public ordinary functions
Function, copy-binding: Private ordinary functions
Function, copy-fact-meta-object: Private ordinary functions
Function, copy-heap: Private ordinary functions
Function, copy-network: Private ordinary functions
Function, copy-node-test-table: Private ordinary functions
Function, copy-parsed-pattern: Private ordinary functions
Function, copy-pattern-slot: Private ordinary functions
Function, copy-rule: Private ordinary functions
Function, copy-rule-actions: Private ordinary functions
Function, create-heap: Public ordinary functions
Function, create-template-class-slots: Private ordinary functions
Function, current-context: Private ordinary functions
Function, current-engine: Public ordinary functions
Function, default-search-predicate: Private ordinary functions
Function, define-rule: Private ordinary functions
Function, dependencies: Public ordinary functions
Function, distribute-token: Private ordinary functions
Function, duplicate-fact-p: Private ordinary functions
Function, eligible-p: Private ordinary functions
Function, engine: Public ordinary functions
Function, ensure-meta-data-exists: Private ordinary functions
Function, enter-join-network-from-left: Private ordinary functions
Function, enter-join-network-from-right: Private ordinary functions
Function, eof-p: Private ordinary functions
Function, existential-pattern-p: Private ordinary functions
Function, expand-slots: Private ordinary functions
Function, extract-rule-headers: Private ordinary functions
Function, fact-meta-object-class-name: Private ordinary functions
Function, fact-meta-object-p: Private ordinary functions
Function, fact-meta-object-slot-list: Private ordinary functions
Function, fact-meta-object-superclasses: Private ordinary functions
Function, fact-symbolic-id: Private ordinary functions
Function, facts: Public ordinary functions
Function, false-p: Public ordinary functions
Function, find-activation-binding: Private ordinary functions
Function, find-after: Public ordinary functions
Function, find-any-logical-boundaries: Private ordinary functions
Function, find-before: Public ordinary functions
Function, find-conditional-element-parser: Private ordinary functions
Function, find-context: Public ordinary functions
Function, find-direct-superclasses: Public ordinary functions
Function, find-fact-by-id: Public ordinary functions
Function, find-fact-by-name: Public ordinary functions
Function, find-fact-using-instance: Private ordinary functions
Function, find-if-after: Public ordinary functions
Function, find-instance-of-fact: Private ordinary functions
Function, find-logical-dependencies: Private ordinary functions
Function, find-meta-fact: Private ordinary functions
Function, find-meta-object: Private ordinary functions
Function, find-or-set-slot-binding: Private ordinary functions
Function, find-rule: Public ordinary functions
Function, find-slot-binding: Private ordinary functions
Function, find-test: Private ordinary functions
Function, fixup-runtime-bindings: Private ordinary functions
Function, flatten: Public ordinary functions
Function, focus: Public ordinary functions
Function, focus-stack: Public ordinary functions
Function, forget-all-facts: Private ordinary functions
Function, forget-clos-instance: Private ordinary functions
Function, forget-clos-instances: Private ordinary functions
Function, forget-context: Private ordinary functions
Function, forget-fact: Private ordinary functions
Function, forget-token: Private ordinary functions
Function, gc: Private ordinary functions
Function, generic-pattern-p: Private ordinary functions
Function, get-activation-list: Private ordinary functions
Function, get-class-name: Private ordinary functions
Function, get-fact-list: Private ordinary functions
Function, get-rule-list: Private ordinary functions
Function, get-slot-list: Private ordinary functions
Function, get-slot-values: Private ordinary functions
Function, get-superclasses: Private ordinary functions
Function, halt: Public ordinary functions
Function, halt-engine: Private ordinary functions
Function, has-superclass: Private ordinary functions
Function, heap-a: Private ordinary functions
Function, heap-clear: Public ordinary functions
Function, heap-collect: Public ordinary functions
Function, heap-count: Public ordinary functions
Function, heap-empty-p: Public ordinary functions
Function, heap-find: Public ordinary functions
Function, heap-find-idx: Private ordinary functions
Function, heap-init: Private ordinary functions
Function, heap-insert: Public ordinary functions
Function, heap-less-fn: Private ordinary functions
Function, heap-max-count: Private ordinary functions
Function, heap-order: Private ordinary functions
Function, heap-p: Private ordinary functions
Function, heap-peek: Public ordinary functions
Function, heap-remove: Public ordinary functions
Function, import-class-specification: Private ordinary functions
Function, in-rule-firing-p: Public ordinary functions
Function, inactive-p: Private ordinary functions
Function, inference-engine: Public ordinary functions
Function, initial-context: Private ordinary functions
Function, initial-context-p: Private ordinary functions
Function, initialize-fact-from-instance: Private ordinary functions
Function, initialize-fact-from-template: Private ordinary functions
Function, initialize-slot-value: Private ordinary functions
Function, intra-pattern-bindings-p: Private ordinary functions
Function, intra-pattern-slot-p: Private ordinary functions
Function, is-standard-classp: Private ordinary functions
Function, leaf-node: Private ordinary functions
Function, left-input: Private ordinary functions
Function, left-memory-count: Private ordinary functions
Function, lesser-child: Private ordinary functions
Function, lisa-debugger: Private ordinary functions
Function, logical-block-marker: Private ordinary functions
Function, logical-block-p: Private ordinary functions
Function, logical-element-p: Private ordinary functions
Function, logical-pattern-p: Private ordinary functions
Function, logical-rule-p: Private ordinary functions
Function, lsthash: Public ordinary functions
Function, make-activation: Private ordinary functions
Function, make-behavior: Private ordinary functions
Function, make-binding: Private ordinary functions
Function, make-binding-set: Private ordinary functions
Function, make-breadth-first-strategy: Private ordinary functions
Function, make-class-test: Private ordinary functions
Function, make-context: Private ordinary functions
Function, make-context-name: Private ordinary functions
Function, make-default-inference-engine: Private ordinary functions
Function, make-deffacts: Private ordinary functions
Function, make-dependency-set: Private ordinary functions
Function, make-depth-first-strategy: Private ordinary functions
Function, make-fact: Private ordinary functions
Function, make-fact-from-instance: Private ordinary functions
Function, make-fact-from-template: Private ordinary functions
Function, make-fact-meta-object: Private ordinary functions
Function, make-heap: Private ordinary functions
Function, make-inference-engine: Public ordinary functions
Function, make-inter-pattern-test: Private ordinary functions
Function, make-intra-pattern-constraint-test: Private ordinary functions
Function, make-intra-pattern-node: Private ordinary functions
Function, make-intra-pattern-predicate: Private ordinary functions
Function, make-intra-pattern-test: Private ordinary functions
Function, make-join-node: Private ordinary functions
Function, make-left-join-connection: Private ordinary functions
Function, make-lisa-path: Private ordinary functions
Function, make-node-pair: Private ordinary functions
Function, make-node1: Private ordinary functions
Function, make-node2: Private ordinary functions
Function, make-node2-exists: Private ordinary functions
Function, make-node2-not: Private ordinary functions
Function, make-node2-test: Private ordinary functions
Function, make-parsed-pattern: Private ordinary functions
Function, make-pattern-slot: Private ordinary functions
Function, make-predicate-test: Private ordinary functions
Function, make-query-engine: Private ordinary functions
Function, make-rete: Private ordinary functions
Function, make-right-join-connection: Private ordinary functions
Function, make-root-node: Private ordinary functions
Function, make-rule: Private ordinary functions
Function, make-rule-actions: Private ordinary functions
Function, make-simple-slot-test: Private ordinary functions
Function, make-simple-slot-test-aux: Private ordinary functions
Function, make-successor: Private ordinary functions
Function, make-terminal-node: Private ordinary functions
Function, mark-as-logical-block: Private ordinary functions
Function, mark-instance-as-changed: Public ordinary functions
Function, merge-networks: Private ordinary functions
Function, merge-rule-into-network: Private ordinary functions
Function, negated-pattern-p: Private ordinary functions
Function, negated-slot-p: Private ordinary functions
Function, next-context: Private ordinary functions
Function, next-fact-id: Private ordinary functions
Function, node-pair-child: Private ordinary functions
Function, node-pair-parent: Private ordinary functions
Function, parse-and-insert-deffacts: Private ordinary functions
Function, parse-and-insert-instance: Private ordinary functions
Function, parse-and-retract-instance: Private ordinary functions
Function, parse-exists-pattern: Private ordinary functions
Function, parse-generic-pattern: Private ordinary functions
Function, parse-not-pattern: Private ordinary functions
Function, parse-one-slot: Private ordinary functions
Function, parse-one-slot-constraint: Private ordinary functions
Function, parse-rule-body: Private ordinary functions
Function, parse-test-pattern: Private ordinary functions
Function, parsed-pattern-address: Private ordinary functions
Function, parsed-pattern-binding-set: Private ordinary functions
Function, parsed-pattern-class: Private ordinary functions
Function, parsed-pattern-logical: Private ordinary functions
Function, parsed-pattern-p: Private ordinary functions
Function, parsed-pattern-pattern-binding: Private ordinary functions
Function, parsed-pattern-slots: Private ordinary functions
Function, parsed-pattern-sub-patterns: Private ordinary functions
Function, parsed-pattern-test-bindings: Private ordinary functions
Function, parsed-pattern-test-forms: Private ordinary functions
Function, parsed-pattern-type: Private ordinary functions
Function, pass-token: Private ordinary functions
Function, pass-token-on-right: Private ordinary functions
Function, pass-tokens-on-left: Private ordinary functions
Function, pattern-binding-p: Private ordinary functions
Function, pattern-slot-constraint: Private ordinary functions
Function, pattern-slot-constraint-bindings: Private ordinary functions
Function, pattern-slot-intra-pattern-bindings: Private ordinary functions
Function, pattern-slot-name: Private ordinary functions
Function, pattern-slot-negated: Private ordinary functions
Function, pattern-slot-p: Private ordinary functions
Function, pattern-slot-slot-binding: Private ordinary functions
Function, pattern-slot-value: Private ordinary functions
Function, percolate-down: Private ordinary functions
Function, percolate-up: Private ordinary functions
Function, pop-context: Private ordinary functions
Function, preprocess-left-side: Private ordinary functions
Function, push-context: Private ordinary functions
Function, quit: Private ordinary functions
Function, reconstruct-fact: Private ordinary functions
Function, record-node: Private ordinary functions
Function, redefine-defrule: Private ordinary functions
Function, redefine-deftemplate: Private ordinary functions
Function, refocus: Public ordinary functions
Function, register-clos-instance: Private ordinary functions
Function, register-meta-object: Private ordinary functions
Function, register-new-context: Private ordinary functions
Function, remember-fact: Private ordinary functions
Function, remember-token: Private ordinary functions
Function, remove-autofacts: Private ordinary functions
Function, remove-fact-from-network: Private ordinary functions
Function, remove-rule-from-network: Private ordinary functions
Function, remove-token-from-right-memory: Private ordinary functions
Function, remove-tokens-from-left-memory: Private ordinary functions
Function, replicate-token: Private ordinary functions
Function, required-argument: Private ordinary functions
Function, reset: Public ordinary functions
Function, reset-focus-stack: Private ordinary functions
Function, reset-network: Private ordinary functions
Function, rete-fact-count: Private ordinary functions
Function, retract-instance: Public ordinary functions
Function, retrieve-contexts: Private ordinary functions
Function, right-input: Private ordinary functions
Function, right-memory-count: Private ordinary functions
Function, rule: Public ordinary functions
Function, rule-actions-actions: Private ordinary functions
Function, rule-actions-bindings: Private ordinary functions
Function, rule-actions-p: Private ordinary functions
Function, rule-default-name: Public ordinary functions
Function, rules: Public ordinary functions
Function, run: Public ordinary functions
Function, run-query: Private ordinary functions
Function, schedule-dependency-removal: Private ordinary functions
Function, set-initial-state: Private ordinary functions
Function, set-leaf-node: Private ordinary functions
Function, set-pattern-binding: Private ordinary functions
Function, set-slot-from-instance: Private ordinary functions
Function, set-slot-value: Private ordinary functions
Function, shared-node-all-successors: Private ordinary functions
Function, shared-node-successor-nodes: Private ordinary functions
Function, show-deffacts: Private ordinary functions
Function, show-network: Public ordinary functions
Function, simple-bound-slot-p: Private ordinary functions
Function, simple-slot-p: Private ordinary functions
Function, slot-value-is-atom-p: Private ordinary functions
Function, slot-value-is-negated-atom-p: Private ordinary functions
Function, slot-value-is-negated-variable-p: Private ordinary functions
Function, slot-value-is-variable-p: Private ordinary functions
Function, starting-context: Private ordinary functions
Function, string-tokens: Public ordinary functions
Function, successor-connector: Private ordinary functions
Function, successor-node: Private ordinary functions
Function, synchronize-with-instance: Private ordinary functions
Function, test-pattern-p: Private ordinary functions
Function, test-pattern-predicate: Private ordinary functions
Function, token-decrement-exists-counter: Private ordinary functions
Function, token-decrement-not-counter: Private ordinary functions
Function, token-fact-count: Private ordinary functions
Function, token-find-fact: Private ordinary functions
Function, token-increment-exists-counter: Private ordinary functions
Function, token-increment-not-counter: Private ordinary functions
Function, token-make-fact-list: Private ordinary functions
Function, token-negated-p: Private ordinary functions
Function, token-pop-fact: Private ordinary functions
Function, token-push-fact: Private ordinary functions
Function, token-top-fact: Private ordinary functions
Function, true-p: Public ordinary functions
Function, unbind-rule-activation: Private ordinary functions
Function, undefrule: Public ordinary functions
Function, unknown-p: Public ordinary functions
Function, unwatch: Public ordinary functions
Function, unwatch-event: Private ordinary functions
Function, use-default-engine: Public ordinary functions
Function, use-fancy-assert: Public ordinary functions
Function, variable-p: Private ordinary functions
Function, walk: Public ordinary functions
Function, watch: Public ordinary functions
Function, watch-activation-detail: Private ordinary functions
Function, watch-assert: Private ordinary functions
Function, watch-disable-activation: Private ordinary functions
Function, watch-enable-activation: Private ordinary functions
Function, watch-event: Private ordinary functions
Function, watch-fact-detail: Private ordinary functions
Function, watch-retract: Private ordinary functions
Function, watch-rule-firing: Private ordinary functions
Function, watches: Private ordinary functions
Function, watching: Public ordinary functions

G
gc: Private ordinary functions
Generic Function, (setf activation-eligible): Private generic functions
Generic Function, (setf belief-factor): Private generic functions
Generic Function, (setf fact-id): Public generic functions
Generic Function, (setf fact-id-table): Private generic functions
Generic Function, (setf join-node-successor): Private generic functions
Generic Function, (setf join-node-tests): Private generic functions
Generic Function, (setf rete-autofacts): Private generic functions
Generic Function, (setf rete-dependency-table): Private generic functions
Generic Function, (setf rete-fact-table): Private generic functions
Generic Function, (setf rete-firing-count): Private generic functions
Generic Function, (setf rete-focus-stack): Private generic functions
Generic Function, (setf rete-halted): Private generic functions
Generic Function, (setf rete-next-fact-id): Private generic functions
Generic Function, (setf rule-activations): Private generic functions
Generic Function, (setf rule-behavior): Private generic functions
Generic Function, (setf shared-node-refcnt): Private generic functions
Generic Function, (setf slot-value-of-instance): Public generic functions
Generic Function, (setf token-exists-counter): Private generic functions
Generic Function, (setf token-facts): Private generic functions
Generic Function, (setf token-hash-code): Private generic functions
Generic Function, (setf token-not-counter): Private generic functions
Generic Function, accept-token: Private generic functions
Generic Function, accept-token-from-right: Private generic functions
Generic Function, accept-tokens-from-left: Private generic functions
Generic Function, activation-eligible: Private generic functions
Generic Function, activation-priority: Private generic functions
Generic Function, activation-rule: Private generic functions
Generic Function, activation-timestamp: Private generic functions
Generic Function, activation-tokens: Private generic functions
Generic Function, add-activation: Private generic functions
Generic Function, add-node-set: Private generic functions
Generic Function, add-successor: Private generic functions
Generic Function, adjust-belief: Public generic functions
Generic Function, adjust-belief: Private generic functions
Generic Function, assert-fact: Private generic functions
Generic Function, assert-fact-aux: Private generic functions
Generic Function, belief->english: Public generic functions
Generic Function, belief-factor: Public generic functions
Generic Function, belief-factor: Private generic functions
Generic Function, class-matches-p: Private generic functions
Generic Function, clear-memories: Private generic functions
Generic Function, cls-name: Private generic functions
Generic Function, code-args: Private generic functions
Generic Function, code-mesg: Private generic functions
Generic Function, code-proc: Private generic functions
Generic Function, combine-tokens: Private generic functions
Generic Function, conflict-set: Private generic functions
Generic Function, context-name: Public generic functions
Generic Function, context-rules: Private generic functions
Generic Function, context-strategy: Private generic functions
Generic Function, decrement-use-count: Private generic functions
Generic Function, deffacts-fact-list: Private generic functions
Generic Function, deffacts-name: Private generic functions
Generic Function, disable-activation: Private generic functions
Generic Function, duplicate-fact-existing-fact: Private generic functions
Generic Function, equals: Private generic functions
Generic Function, fact-clos-instance: Private generic functions
Generic Function, fact-id: Public generic functions
Generic Function, fact-id-table: Private generic functions
Generic Function, fact-meta-data: Private generic functions
Generic Function, fact-name: Public generic functions
Generic Function, fact-shadowsp: Private generic functions
Generic Function, fact-slot-table: Private generic functions
Generic Function, find-activation: Private generic functions
Generic Function, find-all-activations: Private generic functions
Generic Function, find-existing-successor: Private generic functions
Generic Function, find-rule-in-context: Private generic functions
Generic Function, fire-activation: Private generic functions
Generic Function, fire-rule: Private generic functions
Generic Function, forget-rule: Private generic functions
Generic Function, get-all-activations: Private generic functions
Generic Function, get-next-activation: Private generic functions
Generic Function, get-slot-value: Private generic functions
Generic Function, hash-key: Private generic functions
Generic Function, heap: Private generic functions
Generic Function, increment-use-count: Private generic functions
Generic Function, insert-activation: Private generic functions
Generic Function, join-node-add-test: Private generic functions
Generic Function, join-node-left-memory: Private generic functions
Generic Function, join-node-logical-block: Private generic functions
Generic Function, join-node-right-memory: Private generic functions
Generic Function, join-node-successor: Private generic functions
Generic Function, join-node-tests: Private generic functions
Generic Function, list-activations: Private generic functions
Generic Function, location: Private generic functions
Generic Function, lookup-activation: Private generic functions
Generic Function, lookup-activations: Private generic functions
Generic Function, make-add-token: Private generic functions
Generic Function, make-remove-token: Private generic functions
Generic Function, make-reset-token: Private generic functions
Generic Function, make-rete-network: Private generic functions
Generic Function, mark-clos-instance-as-changed: Private generic functions
Generic Function, modify-fact: Private generic functions
Generic Function, next-activation: Private generic functions
Generic Function, node-referenced-p: Private generic functions
Generic Function, node-test-cache: Private generic functions
Generic Function, node-use-count: Private generic functions
Generic Function, node1-test: Private generic functions
Generic Function, pass-token-to-successors: Private generic functions
Generic Function, pass-tokens-to-successor: Private generic functions
Generic Function, recalculate-cf: Private generic functions
Generic Function, remove-activations: Private generic functions
Generic Function, remove-node-from-parent: Private generic functions
Generic Function, remove-rule-from-context: Private generic functions
Generic Function, remove-successor: Private generic functions
Generic Function, reset-activations: Private generic functions
Generic Function, reset-engine: Private generic functions
Generic Function, rete-autofacts: Private generic functions
Generic Function, rete-contexts: Private generic functions
Generic Function, rete-dependency-table: Private generic functions
Generic Function, rete-fact-table: Private generic functions
Generic Function, rete-firing-count: Private generic functions
Generic Function, rete-focus-stack: Private generic functions
Generic Function, rete-halted: Private generic functions
Generic Function, rete-instance-table: Private generic functions
Generic Function, rete-meta-data: Private generic functions
Generic Function, rete-network: Public generic functions
Generic Function, rete-next-fact-id: Private generic functions
Generic Function, rete-roots: Private generic functions
Generic Function, retract: Public generic functions
Generic Function, retract-fact: Private generic functions
Generic Function, rule-actions: Private generic functions
Generic Function, rule-activations: Private generic functions
Generic Function, rule-active-dependencies: Private generic functions
Generic Function, rule-auto-focus: Private generic functions
Generic Function, rule-behavior: Private generic functions
Generic Function, rule-binding-set: Private generic functions
Generic Function, rule-comment: Public generic functions
Generic Function, rule-context: Public generic functions
Generic Function, rule-engine: Private generic functions
Generic Function, rule-logical-marker: Private generic functions
Generic Function, rule-name: Public generic functions
Generic Function, rule-node-list: Private generic functions
Generic Function, rule-patterns: Private generic functions
Generic Function, rule-salience: Public generic functions
Generic Function, rule-short-name: Public generic functions
Generic Function, run-engine: Private generic functions
Generic Function, shared-node-refcnt: Private generic functions
Generic Function, shared-node-successors: Private generic functions
Generic Function, slot-name: Private generic functions
Generic Function, slot-value-of-instance: Public generic functions
Generic Function, terminal-node-rule: Private generic functions
Generic Function, test-against-left-memory: Private generic functions
Generic Function, test-against-right-memory: Private generic functions
Generic Function, test-tokens: Private generic functions
Generic Function, text: Private generic functions
Generic Function, token-contents: Private generic functions
Generic Function, token-exists-counter: Private generic functions
Generic Function, token-facts: Private generic functions
Generic Function, token-hash-code: Private generic functions
Generic Function, token-not-counter: Private generic functions
generic-pattern-p: Private ordinary functions
get-activation-list: Private ordinary functions
get-all-activations: Private generic functions
get-all-activations: Private generic functions
get-class-name: Private ordinary functions
get-fact-list: Private ordinary functions
get-next-activation: Private generic functions
get-next-activation: Private generic functions
get-rule-list: Private ordinary functions
get-slot-list: Private ordinary functions
get-slot-value: Private generic functions
get-slot-value: Private generic functions
get-slot-value: Private generic functions
get-slot-values: Private ordinary functions
get-superclasses: Private ordinary functions

H
halt: Public ordinary functions
halt-engine: Private ordinary functions
has-superclass: Private ordinary functions
hash-key: Private generic functions
hash-key: Private generic functions
hash-key: Private generic functions
hash-key: Private generic functions
heap: Private generic functions
heap: Private generic functions
heap-a: Private ordinary functions
heap-clear: Public ordinary functions
heap-collect: Public ordinary functions
heap-count: Public ordinary functions
heap-empty-p: Public ordinary functions
heap-find: Public ordinary functions
heap-find-idx: Private ordinary functions
heap-init: Private ordinary functions
heap-insert: Public ordinary functions
heap-less-fn: Private ordinary functions
heap-max-count: Private ordinary functions
heap-order: Private ordinary functions
heap-p: Private ordinary functions
heap-peek: Public ordinary functions
heap-remove: Public ordinary functions

I
import-class-specification: Private ordinary functions
in-rule-firing-p: Public ordinary functions
inactive-p: Private ordinary functions
increment-use-count: Private generic functions
increment-use-count: Private generic functions
inference-engine: Public ordinary functions
initial-context: Private ordinary functions
initial-context-p: Private ordinary functions
initialize-fact-from-instance: Private ordinary functions
initialize-fact-from-template: Private ordinary functions
initialize-instance: Public standalone methods
initialize-instance: Public standalone methods
initialize-instance: Public standalone methods
initialize-slot-value: Private ordinary functions
insert-activation: Private generic functions
insert-activation: Private generic functions
intra-pattern-bindings-p: Private ordinary functions
intra-pattern-slot-p: Private ordinary functions
is-standard-classp: Private ordinary functions

J
join-node-add-test: Private generic functions
join-node-add-test: Private generic functions
join-node-left-memory: Private generic functions
join-node-left-memory: Private generic functions
join-node-logical-block: Private generic functions
join-node-logical-block: Private generic functions
join-node-right-memory: Private generic functions
join-node-right-memory: Private generic functions
join-node-successor: Private generic functions
join-node-successor: Private generic functions
join-node-tests: Private generic functions
join-node-tests: Private generic functions

L
leaf-node: Private ordinary functions
left-input: Private ordinary functions
left-memory-count: Private ordinary functions
lesser-child: Private ordinary functions
lisa-debugger: Private ordinary functions
list-activations: Private generic functions
list-activations: Private generic functions
literalp: Private macros
location: Private generic functions
location: Private generic functions
logical-block-marker: Private ordinary functions
logical-block-p: Private ordinary functions
logical-element-p: Private ordinary functions
logical-pattern-p: Private ordinary functions
logical-rule-p: Private ordinary functions
lookup-activation: Private generic functions
lookup-activation: Private generic functions
lookup-activations: Private generic functions
lookup-activations: Private generic functions
lsthash: Public ordinary functions

M
Macro, assert: Public macros
Macro, compile-function: Private macros
Macro, compose: Public macros
Macro, constraintp: Private macros
Macro, defconst: Private macros
Macro, defcontext: Public macros
Macro, defcustom: Private macros
Macro, deffacts: Public macros
Macro, define-lisa-lisp: Private macros
Macro, defquery: Private macros
Macro, defrule: Public macros
Macro, defsubst: Private macros
Macro, deftemplate: Public macros
Macro, ensure-fact-is-unique: Private macros
Macro, literalp: Private macros
Macro, map-in: Public macros
Macro, mk-arr: Private macros
Macro, modify: Public macros
Macro, multifieldp: Private macros
Macro, quotablep: Private macros
Macro, register-clear-handler: Private macros
Macro, retrieve: Public macros
Macro, slot-valuep: Private macros
Macro, starts-with-?: Private macros
Macro, trace-assert: Private macros
Macro, trace-disable-activation: Private macros
Macro, trace-enable-activation: Private macros
Macro, trace-firing: Private macros
Macro, trace-retract: Private macros
Macro, undefcontext: Public macros
Macro, variablep: Private macros
Macro, with-auto-notify: Private macros
Macro, with-context: Private macros
Macro, with-gensyms: Private macros
Macro, with-inference-engine: Public macros
Macro, with-rule-components: Private macros
Macro, with-rule-name-parts: Private macros
Macro, with-simple-query: Public macros
Macro, with-slot-components: Private macros
Macro, with-truth-maintenance: Private macros
Macro, with-unique-fact: Private macros
make-activation: Private ordinary functions
make-add-token: Private generic functions
make-add-token: Private generic functions
make-behavior: Private ordinary functions
make-binding: Private ordinary functions
make-binding-set: Private ordinary functions
make-breadth-first-strategy: Private ordinary functions
make-class-test: Private ordinary functions
make-context: Private ordinary functions
make-context-name: Private ordinary functions
make-default-inference-engine: Private ordinary functions
make-deffacts: Private ordinary functions
make-dependency-set: Private ordinary functions
make-depth-first-strategy: Private ordinary functions
make-fact: Private ordinary functions
make-fact-from-instance: Private ordinary functions
make-fact-from-template: Private ordinary functions
make-fact-meta-object: Private ordinary functions
make-heap: Private ordinary functions
make-inference-engine: Public ordinary functions
make-inter-pattern-test: Private ordinary functions
make-intra-pattern-constraint-test: Private ordinary functions
make-intra-pattern-node: Private ordinary functions
make-intra-pattern-predicate: Private ordinary functions
make-intra-pattern-test: Private ordinary functions
make-join-node: Private ordinary functions
make-left-join-connection: Private ordinary functions
make-lisa-path: Private ordinary functions
make-node-pair: Private ordinary functions
make-node1: Private ordinary functions
make-node2: Private ordinary functions
make-node2-exists: Private ordinary functions
make-node2-not: Private ordinary functions
make-node2-test: Private ordinary functions
make-parsed-pattern: Private ordinary functions
make-pattern-slot: Private ordinary functions
make-predicate-test: Private ordinary functions
make-query-engine: Private ordinary functions
make-remove-token: Private generic functions
make-remove-token: Private generic functions
make-remove-token: Private generic functions
make-reset-token: Private generic functions
make-reset-token: Private generic functions
make-rete: Private ordinary functions
make-rete-network: Private generic functions
make-rete-network: Private generic functions
make-right-join-connection: Private ordinary functions
make-root-node: Private ordinary functions
make-rule: Private ordinary functions
make-rule-actions: Private ordinary functions
make-simple-slot-test: Private ordinary functions
make-simple-slot-test-aux: Private ordinary functions
make-successor: Private ordinary functions
make-terminal-node: Private ordinary functions
map-in: Public macros
mark-as-logical-block: Private ordinary functions
mark-clos-instance-as-changed: Private generic functions
mark-clos-instance-as-changed: Private generic functions
mark-instance-as-changed: Public ordinary functions
merge-networks: Private ordinary functions
merge-rule-into-network: Private ordinary functions
Method, (setf activation-eligible): Private generic functions
Method, (setf belief-factor): Private generic functions
Method, (setf fact-id): Public generic functions
Method, (setf fact-id-table): Private generic functions
Method, (setf join-node-successor): Private generic functions
Method, (setf join-node-tests): Private generic functions
Method, (setf rete-autofacts): Private generic functions
Method, (setf rete-dependency-table): Private generic functions
Method, (setf rete-fact-table): Private generic functions
Method, (setf rete-firing-count): Private generic functions
Method, (setf rete-focus-stack): Private generic functions
Method, (setf rete-halted): Private generic functions
Method, (setf rete-next-fact-id): Private generic functions
Method, (setf rule-activations): Private generic functions
Method, (setf rule-behavior): Private generic functions
Method, (setf shared-node-refcnt): Private generic functions
Method, (setf slot-value-of-instance): Public generic functions
Method, (setf token-exists-counter): Private generic functions
Method, (setf token-facts): Private generic functions
Method, (setf token-hash-code): Private generic functions
Method, (setf token-not-counter): Private generic functions
Method, accept-token: Private generic functions
Method, accept-token: Private generic functions
Method, accept-token: Private generic functions
Method, accept-token: Private generic functions
Method, accept-token: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-token-from-right: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, accept-tokens-from-left: Private generic functions
Method, activation-eligible: Private generic functions
Method, activation-priority: Private generic functions
Method, activation-rule: Private generic functions
Method, activation-timestamp: Private generic functions
Method, activation-tokens: Private generic functions
Method, add-activation: Private generic functions
Method, add-activation: Private generic functions
Method, add-node-set: Private generic functions
Method, add-node-set: Private generic functions
Method, add-node-set: Private generic functions
Method, add-successor: Private generic functions
Method, add-successor: Private generic functions
Method, add-successor: Private generic functions
Method, add-successor: Private generic functions
Method, add-successor: Private generic functions
Method, adjust-belief: Public generic functions
Method, adjust-belief: Public generic functions
Method, adjust-belief: Private generic functions
Method, adjust-belief: Private generic functions
Method, assert-fact: Private generic functions
Method, assert-fact-aux: Private generic functions
Method, belief->english: Public generic functions
Method, belief-factor: Public generic functions
Method, belief-factor: Public generic functions
Method, belief-factor: Private generic functions
Method, belief-factor: Private generic functions
Method, class-matches-p: Private generic functions
Method, class-matches-p: Private generic functions
Method, clear-memories: Private generic functions
Method, cls-name: Private generic functions
Method, code-args: Private generic functions
Method, code-args: Private generic functions
Method, code-mesg: Private generic functions
Method, code-mesg: Private generic functions
Method, code-mesg: Private generic functions
Method, code-proc: Private generic functions
Method, combine-tokens: Private generic functions
Method, combine-tokens: Private generic functions
Method, conflict-set: Private generic functions
Method, conflict-set: Private generic functions
Method, context-name: Public generic functions
Method, context-rules: Private generic functions
Method, context-strategy: Private generic functions
Method, decrement-use-count: Private generic functions
Method, decrement-use-count: Private generic functions
Method, decrement-use-count: Private generic functions
Method, deffacts-fact-list: Private generic functions
Method, deffacts-name: Private generic functions
Method, disable-activation: Private generic functions
Method, duplicate-fact-existing-fact: Private generic functions
Method, equals: Private generic functions
Method, fact-clos-instance: Private generic functions
Method, fact-id: Public generic functions
Method, fact-id-table: Private generic functions
Method, fact-meta-data: Private generic functions
Method, fact-name: Public generic functions
Method, fact-shadowsp: Private generic functions
Method, fact-slot-table: Private generic functions
Method, find-activation: Private generic functions
Method, find-all-activations: Private generic functions
Method, find-existing-successor: Private generic functions
Method, find-existing-successor: Private generic functions
Method, find-rule-in-context: Private generic functions
Method, find-rule-in-context: Private generic functions
Method, fire-activation: Private generic functions
Method, fire-rule: Private generic functions
Method, forget-rule: Private generic functions
Method, forget-rule: Private generic functions
Method, forget-rule: Private generic functions
Method, get-all-activations: Private generic functions
Method, get-next-activation: Private generic functions
Method, get-slot-value: Private generic functions
Method, get-slot-value: Private generic functions
Method, hash-key: Private generic functions
Method, hash-key: Private generic functions
Method, hash-key: Private generic functions
Method, heap: Private generic functions
Method, increment-use-count: Private generic functions
Method, initialize-instance: Public standalone methods
Method, initialize-instance: Public standalone methods
Method, initialize-instance: Public standalone methods
Method, insert-activation: Private generic functions
Method, join-node-add-test: Private generic functions
Method, join-node-left-memory: Private generic functions
Method, join-node-logical-block: Private generic functions
Method, join-node-right-memory: Private generic functions
Method, join-node-successor: Private generic functions
Method, join-node-tests: Private generic functions
Method, list-activations: Private generic functions
Method, location: Private generic functions
Method, lookup-activation: Private generic functions
Method, lookup-activations: Private generic functions
Method, make-add-token: Private generic functions
Method, make-remove-token: Private generic functions
Method, make-remove-token: Private generic functions
Method, make-reset-token: Private generic functions
Method, make-rete-network: Private generic functions
Method, mark-clos-instance-as-changed: Private generic functions
Method, modify-fact: Private generic functions
Method, next-activation: Private generic functions
Method, node-referenced-p: Private generic functions
Method, node-test-cache: Private generic functions
Method, node-use-count: Private generic functions
Method, node1-test: Private generic functions
Method, pass-token-to-successors: Private generic functions
Method, pass-tokens-to-successor: Private generic functions
Method, pass-tokens-to-successor: Private generic functions
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, print-object: Public standalone methods
Method, recalculate-cf: Private generic functions
Method, recalculate-cf: Private generic functions
Method, recalculate-cf: Private generic functions
Method, remove-activations: Private generic functions
Method, remove-node-from-parent: Private generic functions
Method, remove-node-from-parent: Private generic functions
Method, remove-rule-from-context: Private generic functions
Method, remove-rule-from-context: Private generic functions
Method, remove-successor: Private generic functions
Method, reset-activations: Private generic functions
Method, reset-engine: Private generic functions
Method, rete-autofacts: Private generic functions
Method, rete-contexts: Private generic functions
Method, rete-dependency-table: Private generic functions
Method, rete-fact-table: Private generic functions
Method, rete-firing-count: Private generic functions
Method, rete-focus-stack: Private generic functions
Method, rete-halted: Private generic functions
Method, rete-instance-table: Private generic functions
Method, rete-meta-data: Private generic functions
Method, rete-network: Public generic functions
Method, rete-next-fact-id: Private generic functions
Method, rete-roots: Private generic functions
Method, retract: Public generic functions
Method, retract: Public generic functions
Method, retract: Public generic functions
Method, retract-fact: Private generic functions
Method, retract-fact: Private generic functions
Method, retract-fact: Private generic functions
Method, rule-actions: Private generic functions
Method, rule-activations: Private generic functions
Method, rule-active-dependencies: Private generic functions
Method, rule-auto-focus: Private generic functions
Method, rule-behavior: Private generic functions
Method, rule-binding-set: Private generic functions
Method, rule-comment: Public generic functions
Method, rule-context: Public generic functions
Method, rule-engine: Private generic functions
Method, rule-logical-marker: Private generic functions
Method, rule-name: Public generic functions
Method, rule-name: Public generic functions
Method, rule-node-list: Private generic functions
Method, rule-patterns: Private generic functions
Method, rule-salience: Public generic functions
Method, rule-short-name: Public generic functions
Method, run-engine: Private generic functions
Method, shared-node-refcnt: Private generic functions
Method, shared-node-successors: Private generic functions
Method, slot-name: Private generic functions
Method, slot-value-of-instance: Public generic functions
Method, terminal-node-rule: Private generic functions
Method, test-against-left-memory: Private generic functions
Method, test-against-left-memory: Private generic functions
Method, test-against-left-memory: Private generic functions
Method, test-against-left-memory: Private generic functions
Method, test-against-left-memory: Private generic functions
Method, test-against-left-memory: Private generic functions
Method, test-against-right-memory: Private generic functions
Method, test-against-right-memory: Private generic functions
Method, test-against-right-memory: Private generic functions
Method, test-against-right-memory: Private generic functions
Method, test-tokens: Private generic functions
Method, text: Private generic functions
Method, token-contents: Private generic functions
Method, token-exists-counter: Private generic functions
Method, token-facts: Private generic functions
Method, token-hash-code: Private generic functions
Method, token-not-counter: Private generic functions
mk-arr: Private macros
modify: Public macros
modify-fact: Private generic functions
modify-fact: Private generic functions
multifieldp: Private macros

N
negated-pattern-p: Private ordinary functions
negated-slot-p: Private ordinary functions
next-activation: Private generic functions
next-activation: Private generic functions
next-context: Private ordinary functions
next-fact-id: Private ordinary functions
node-pair-child: Private ordinary functions
node-pair-parent: Private ordinary functions
node-referenced-p: Private generic functions
node-referenced-p: Private generic functions
node-test-cache: Private generic functions
node-test-cache: Private generic functions
node-use-count: Private generic functions
node-use-count: Private generic functions
node1-test: Private generic functions
node1-test: Private generic functions

P
parse-and-insert-deffacts: Private ordinary functions
parse-and-insert-instance: Private ordinary functions
parse-and-retract-instance: Private ordinary functions
parse-exists-pattern: Private ordinary functions
parse-generic-pattern: Private ordinary functions
parse-not-pattern: Private ordinary functions
parse-one-slot: Private ordinary functions
parse-one-slot-constraint: Private ordinary functions
parse-rule-body: Private ordinary functions
parse-test-pattern: Private ordinary functions
parsed-pattern-address: Private ordinary functions
parsed-pattern-binding-set: Private ordinary functions
parsed-pattern-class: Private ordinary functions
parsed-pattern-logical: Private ordinary functions
parsed-pattern-p: Private ordinary functions
parsed-pattern-pattern-binding: Private ordinary functions
parsed-pattern-slots: Private ordinary functions
parsed-pattern-sub-patterns: Private ordinary functions
parsed-pattern-test-bindings: Private ordinary functions
parsed-pattern-test-forms: Private ordinary functions
parsed-pattern-type: Private ordinary functions
pass-token: Private ordinary functions
pass-token-on-right: Private ordinary functions
pass-token-to-successors: Private generic functions
pass-token-to-successors: Private generic functions
pass-tokens-on-left: Private ordinary functions
pass-tokens-to-successor: Private generic functions
pass-tokens-to-successor: Private generic functions
pass-tokens-to-successor: Private generic functions
pattern-binding-p: Private ordinary functions
pattern-slot-constraint: Private ordinary functions
pattern-slot-constraint-bindings: Private ordinary functions
pattern-slot-intra-pattern-bindings: Private ordinary functions
pattern-slot-name: Private ordinary functions
pattern-slot-negated: Private ordinary functions
pattern-slot-p: Private ordinary functions
pattern-slot-slot-binding: Private ordinary functions
pattern-slot-value: Private ordinary functions
percolate-down: Private ordinary functions
percolate-up: Private ordinary functions
pop-context: Private ordinary functions
preprocess-left-side: Private ordinary functions
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
print-object: Public standalone methods
push-context: Private ordinary functions

Q
quit: Private ordinary functions
quotablep: Private macros

R
recalculate-cf: Private generic functions
recalculate-cf: Private generic functions
recalculate-cf: Private generic functions
recalculate-cf: Private generic functions
reconstruct-fact: Private ordinary functions
record-node: Private ordinary functions
redefine-defrule: Private ordinary functions
redefine-deftemplate: Private ordinary functions
refocus: Public ordinary functions
register-clear-handler: Private macros
register-clos-instance: Private ordinary functions
register-meta-object: Private ordinary functions
register-new-context: Private ordinary functions
remember-fact: Private ordinary functions
remember-token: Private ordinary functions
remove-activations: Private generic functions
remove-activations: Private generic functions
remove-autofacts: Private ordinary functions
remove-fact-from-network: Private ordinary functions
remove-node-from-parent: Private generic functions
remove-node-from-parent: Private generic functions
remove-node-from-parent: Private generic functions
remove-rule-from-context: Private generic functions
remove-rule-from-context: Private generic functions
remove-rule-from-context: Private generic functions
remove-rule-from-network: Private ordinary functions
remove-successor: Private generic functions
remove-successor: Private generic functions
remove-token-from-right-memory: Private ordinary functions
remove-tokens-from-left-memory: Private ordinary functions
replicate-token: Private ordinary functions
required-argument: Private ordinary functions
reset: Public ordinary functions
reset-activations: Private generic functions
reset-activations: Private generic functions
reset-engine: Private generic functions
reset-engine: Private generic functions
reset-focus-stack: Private ordinary functions
reset-network: Private ordinary functions
rete-autofacts: Private generic functions
rete-autofacts: Private generic functions
rete-contexts: Private generic functions
rete-contexts: Private generic functions
rete-dependency-table: Private generic functions
rete-dependency-table: Private generic functions
rete-fact-count: Private ordinary functions
rete-fact-table: Private generic functions
rete-fact-table: Private generic functions
rete-firing-count: Private generic functions
rete-firing-count: Private generic functions
rete-focus-stack: Private generic functions
rete-focus-stack: Private generic functions
rete-halted: Private generic functions
rete-halted: Private generic functions
rete-instance-table: Private generic functions
rete-instance-table: Private generic functions
rete-meta-data: Private generic functions
rete-meta-data: Private generic functions
rete-network: Public generic functions
rete-network: Public generic functions
rete-next-fact-id: Private generic functions
rete-next-fact-id: Private generic functions
rete-roots: Private generic functions
rete-roots: Private generic functions
retract: Public generic functions
retract: Public generic functions
retract: Public generic functions
retract: Public generic functions
retract-fact: Private generic functions
retract-fact: Private generic functions
retract-fact: Private generic functions
retract-fact: Private generic functions
retract-instance: Public ordinary functions
retrieve: Public macros
retrieve-contexts: Private ordinary functions
right-input: Private ordinary functions
right-memory-count: Private ordinary functions
rule: Public ordinary functions
rule-actions: Private generic functions
rule-actions: Private generic functions
rule-actions-actions: Private ordinary functions
rule-actions-bindings: Private ordinary functions
rule-actions-p: Private ordinary functions
rule-activations: Private generic functions
rule-activations: Private generic functions
rule-active-dependencies: Private generic functions
rule-active-dependencies: Private generic functions
rule-auto-focus: Private generic functions
rule-auto-focus: Private generic functions
rule-behavior: Private generic functions
rule-behavior: Private generic functions
rule-binding-set: Private generic functions
rule-binding-set: Private generic functions
rule-comment: Public generic functions
rule-comment: Public generic functions
rule-context: Public generic functions
rule-context: Public generic functions
rule-default-name: Public ordinary functions
rule-engine: Private generic functions
rule-engine: Private generic functions
rule-logical-marker: Private generic functions
rule-logical-marker: Private generic functions
rule-name: Public generic functions
rule-name: Public generic functions
rule-name: Public generic functions
rule-node-list: Private generic functions
rule-node-list: Private generic functions
rule-patterns: Private generic functions
rule-patterns: Private generic functions
rule-salience: Public generic functions
rule-salience: Public generic functions
rule-short-name: Public generic functions
rule-short-name: Public generic functions
rules: Public ordinary functions
run: Public ordinary functions
run-engine: Private generic functions
run-engine: Private generic functions
run-query: Private ordinary functions

S
schedule-dependency-removal: Private ordinary functions
set-initial-state: Private ordinary functions
set-leaf-node: Private ordinary functions
set-pattern-binding: Private ordinary functions
set-slot-from-instance: Private ordinary functions
set-slot-value: Private ordinary functions
Setf Expander, (setf allow-duplicate-facts): Public ordinary functions
Setf Expander, (setf consider-taxonomy): Public ordinary functions
Setf Expander, (setf use-fancy-assert): Public ordinary functions
shared-node-all-successors: Private ordinary functions
shared-node-refcnt: Private generic functions
shared-node-refcnt: Private generic functions
shared-node-successor-nodes: Private ordinary functions
shared-node-successors: Private generic functions
shared-node-successors: Private generic functions
show-deffacts: Private ordinary functions
show-network: Public ordinary functions
simple-bound-slot-p: Private ordinary functions
simple-slot-p: Private ordinary functions
slot-name: Private generic functions
slot-name: Private generic functions
slot-value-is-atom-p: Private ordinary functions
slot-value-is-negated-atom-p: Private ordinary functions
slot-value-is-negated-variable-p: Private ordinary functions
slot-value-is-variable-p: Private ordinary functions
slot-value-of-instance: Public generic functions
slot-value-of-instance: Public generic functions
slot-valuep: Private macros
starting-context: Private ordinary functions
starts-with-?: Private macros
string-tokens: Public ordinary functions
successor-connector: Private ordinary functions
successor-node: Private ordinary functions
synchronize-with-instance: Private ordinary functions

T
terminal-node-rule: Private generic functions
terminal-node-rule: Private generic functions
test-against-left-memory: Private generic functions
test-against-left-memory: Private generic functions
test-against-left-memory: Private generic functions
test-against-left-memory: Private generic functions
test-against-left-memory: Private generic functions
test-against-left-memory: Private generic functions
test-against-left-memory: Private generic functions
test-against-right-memory: Private generic functions
test-against-right-memory: Private generic functions
test-against-right-memory: Private generic functions
test-against-right-memory: Private generic functions
test-against-right-memory: Private generic functions
test-pattern-p: Private ordinary functions
test-pattern-predicate: Private ordinary functions
test-tokens: Private generic functions
test-tokens: Private generic functions
text: Private generic functions
text: Private generic functions
token-contents: Private generic functions
token-contents: Private generic functions
token-decrement-exists-counter: Private ordinary functions
token-decrement-not-counter: Private ordinary functions
token-exists-counter: Private generic functions
token-exists-counter: Private generic functions
token-fact-count: Private ordinary functions
token-facts: Private generic functions
token-facts: Private generic functions
token-find-fact: Private ordinary functions
token-hash-code: Private generic functions
token-hash-code: Private generic functions
token-increment-exists-counter: Private ordinary functions
token-increment-not-counter: Private ordinary functions
token-make-fact-list: Private ordinary functions
token-negated-p: Private ordinary functions
token-not-counter: Private generic functions
token-not-counter: Private generic functions
token-pop-fact: Private ordinary functions
token-push-fact: Private ordinary functions
token-top-fact: Private ordinary functions
trace-assert: Private macros
trace-disable-activation: Private macros
trace-enable-activation: Private macros
trace-firing: Private macros
trace-retract: Private macros
true-p: Public ordinary functions

U
unbind-rule-activation: Private ordinary functions
undefcontext: Public macros
undefrule: Public ordinary functions
unknown-p: Public ordinary functions
unwatch: Public ordinary functions
unwatch-event: Private ordinary functions
use-default-engine: Public ordinary functions
use-fancy-assert: Public ordinary functions

V
variable-p: Private ordinary functions
variablep: Private macros

W
walk: Public ordinary functions
watch: Public ordinary functions
watch-activation-detail: Private ordinary functions
watch-assert: Private ordinary functions
watch-disable-activation: Private ordinary functions
watch-enable-activation: Private ordinary functions
watch-event: Private ordinary functions
watch-fact-detail: Private ordinary functions
watch-retract: Private ordinary functions
watch-rule-firing: Private ordinary functions
watches: Private ordinary functions
watching: Public ordinary functions
with-auto-notify: Private macros
with-context: Private macros
with-gensyms: Private macros
with-inference-engine: Public macros
with-rule-components: Private macros
with-rule-name-parts: Private macros
with-simple-query: Public macros
with-slot-components: Private macros
with-truth-maintenance: Private macros
with-unique-fact: Private macros


A.3 Variables

Jump to:   *   +  
A   B   C   D   E   F   H   I   L   M   N   O   P   Q   R   S   T   V  
Index Entry  Section

*
*activation-timestamp*: Private special variables
*active-context*: Private special variables
*active-engine*: Private special variables
*active-rule*: Private special variables
*active-tokens*: Private special variables
*allow-duplicate-facts*: Private special variables
*assert-fact*: Private special variables
*binding-table*: Private special variables
*clear-handlers*: Private special variables
*conditional-elements-table*: Private special variables
*consider-taxonomy-when-reasoning*: Private special variables
*current-defrule*: Private special variables
*current-defrule-pattern-location*: Private special variables
*disable-activation*: Private special variables
*enable-activation*: Private special variables
*fire-rule*: Private special variables
*heap*: Private special variables
*ignore-this-instance*: Private special variables
*in-logical-pattern-p*: Private special variables
*leaf-nodes*: Private special variables
*lisa-root-pathname*: Private special variables
*logical-block-marker*: Private special variables
*node-set*: Private special variables
*node-test-table*: Private special variables
*query-result*: Private special variables
*retract-fact*: Private special variables
*root-nodes*: Private special variables
*rule-separator*: Private constants
*rule-specific-nodes*: Private special variables
*scheduled-dependencies*: Private special variables
*special-initial-elements*: Private special variables
*use-fancy-assert*: Private special variables
*watches*: Private special variables

+
+eof+: Private special variables
+false+: Private constants
+true+: Private constants
+unknown+: Private constants

A
a: Private structures
actions: Public classes
actions: Private structures
activations: Public classes
active-dependencies: Public classes
address: Private structures
args: Private conditions
args: Private conditions
auto-focus: Public classes
autofacts: Public classes

B
behavior: Public classes
belief: Public classes
belief-factor: Public classes
binding-set: Public classes
binding-set: Private structures
bindings: Private structures

C
class: Private structures
class-name: Private structures
clos-instance: Public classes
cls-name: Private conditions
comment: Public classes
Constant, *rule-separator*: Private constants
Constant, +false+: Private constants
Constant, +true+: Private constants
Constant, +unknown+: Private constants
constraint: Private structures
constraint-bindings: Private structures
contents: Public classes
context: Public classes
contexts: Public classes

D
dependency-table: Public classes

E
eligible: Public classes
engine: Public classes
existing-fact: Public conditions
exists-counter: Public classes

F
fact-id-table: Public classes
fact-list: Public classes
fact-table: Public classes
facts: Public classes
firing-count: Public classes
focus-stack: Public classes

H
halted: Public classes
hash-code: Public classes
heap: Private classes

I
id: Public classes
instance-table: Public classes
intra-pattern-bindings: Private structures

L
left-memory: Private classes
less-fn: Private structures
location: Private conditions
logical: Private structures
logical-block: Private classes
logical-marker: Public classes

M
max-count: Private structures
mesg: Private conditions
mesg: Private conditions
mesg: Private conditions
meta-data: Public classes
meta-data: Public classes

N
name: Public classes
name: Public classes
name: Public classes
name: Private structures
negated: Private structures
next-fact-id: Public classes
node-list: Public classes
node-test-cache: Public classes
not-counter: Public classes

O
order: Private structures

P
pattern-binding: Private structures
patterns: Public classes
proc: Private conditions

Q
qualified-name: Public classes

R
refcnt: Private classes
rete-network: Public classes
right-memory: Private classes
root-nodes: Public classes
rule: Public classes
rule: Private classes
rule-name: Private conditions
rules: Public classes

S
salience: Public classes
scheduled-dependencies: Private symbol macros
shadows: Public classes
short-name: Public classes
Slot, a: Private structures
Slot, actions: Public classes
Slot, actions: Private structures
Slot, activations: Public classes
Slot, active-dependencies: Public classes
Slot, address: Private structures
Slot, args: Private conditions
Slot, args: Private conditions
Slot, auto-focus: Public classes
Slot, autofacts: Public classes
Slot, behavior: Public classes
Slot, belief: Public classes
Slot, belief-factor: Public classes
Slot, binding-set: Public classes
Slot, binding-set: Private structures
Slot, bindings: Private structures
Slot, class: Private structures
Slot, class-name: Private structures
Slot, clos-instance: Public classes
Slot, cls-name: Private conditions
Slot, comment: Public classes
Slot, constraint: Private structures
Slot, constraint-bindings: Private structures
Slot, contents: Public classes
Slot, context: Public classes
Slot, contexts: Public classes
Slot, dependency-table: Public classes
Slot, eligible: Public classes
Slot, engine: Public classes
Slot, existing-fact: Public conditions
Slot, exists-counter: Public classes
Slot, fact-id-table: Public classes
Slot, fact-list: Public classes
Slot, fact-table: Public classes
Slot, facts: Public classes
Slot, firing-count: Public classes
Slot, focus-stack: Public classes
Slot, halted: Public classes
Slot, hash-code: Public classes
Slot, heap: Private classes
Slot, id: Public classes
Slot, instance-table: Public classes
Slot, intra-pattern-bindings: Private structures
Slot, left-memory: Private classes
Slot, less-fn: Private structures
Slot, location: Private conditions
Slot, logical: Private structures
Slot, logical-block: Private classes
Slot, logical-marker: Public classes
Slot, max-count: Private structures
Slot, mesg: Private conditions
Slot, mesg: Private conditions
Slot, mesg: Private conditions
Slot, meta-data: Public classes
Slot, meta-data: Public classes
Slot, name: Public classes
Slot, name: Public classes
Slot, name: Public classes
Slot, name: Private structures
Slot, negated: Private structures
Slot, next-fact-id: Public classes
Slot, node-list: Public classes
Slot, node-test-cache: Public classes
Slot, not-counter: Public classes
Slot, order: Private structures
Slot, pattern-binding: Private structures
Slot, patterns: Public classes
Slot, proc: Private conditions
Slot, qualified-name: Public classes
Slot, refcnt: Private classes
Slot, rete-network: Public classes
Slot, right-memory: Private classes
Slot, root-nodes: Public classes
Slot, rule: Public classes
Slot, rule: Private classes
Slot, rule-name: Private conditions
Slot, rules: Public classes
Slot, salience: Public classes
Slot, shadows: Public classes
Slot, short-name: Public classes
Slot, slot-binding: Private structures
Slot, slot-list: Private structures
Slot, slot-name: Private conditions
Slot, slot-table: Public classes
Slot, slots: Private structures
Slot, strategy: Public classes
Slot, sub-patterns: Private structures
Slot, successor: Private classes
Slot, successors: Private classes
Slot, superclasses: Private structures
Slot, test: Private classes
Slot, test-bindings: Private structures
Slot, tests: Private classes
Slot, text: Private conditions
Slot, timestamp: Public classes
Slot, tokens: Public classes
Slot, type: Private structures
Slot, value: Private structures
slot-binding: Private structures
slot-list: Private structures
slot-name: Private conditions
slot-table: Public classes
slots: Private structures
Special Variable, *activation-timestamp*: Private special variables
Special Variable, *active-context*: Private special variables
Special Variable, *active-engine*: Private special variables
Special Variable, *active-rule*: Private special variables
Special Variable, *active-tokens*: Private special variables
Special Variable, *allow-duplicate-facts*: Private special variables
Special Variable, *assert-fact*: Private special variables
Special Variable, *binding-table*: Private special variables
Special Variable, *clear-handlers*: Private special variables
Special Variable, *conditional-elements-table*: Private special variables
Special Variable, *consider-taxonomy-when-reasoning*: Private special variables
Special Variable, *current-defrule*: Private special variables
Special Variable, *current-defrule-pattern-location*: Private special variables
Special Variable, *disable-activation*: Private special variables
Special Variable, *enable-activation*: Private special variables
Special Variable, *fire-rule*: Private special variables
Special Variable, *heap*: Private special variables
Special Variable, *ignore-this-instance*: Private special variables
Special Variable, *in-logical-pattern-p*: Private special variables
Special Variable, *leaf-nodes*: Private special variables
Special Variable, *lisa-root-pathname*: Private special variables
Special Variable, *logical-block-marker*: Private special variables
Special Variable, *node-set*: Private special variables
Special Variable, *node-test-table*: Private special variables
Special Variable, *query-result*: Private special variables
Special Variable, *retract-fact*: Private special variables
Special Variable, *root-nodes*: Private special variables
Special Variable, *rule-specific-nodes*: Private special variables
Special Variable, *scheduled-dependencies*: Private special variables
Special Variable, *special-initial-elements*: Private special variables
Special Variable, *use-fancy-assert*: Private special variables
Special Variable, *watches*: Private special variables
Special Variable, +eof+: Private special variables
strategy: Public classes
sub-patterns: Private structures
successor: Private classes
successors: Private classes
superclasses: Private structures
Symbol Macro, scheduled-dependencies: Private symbol macros

T
test: Private classes
test-bindings: Private structures
tests: Private classes
text: Private conditions
timestamp: Public classes
tokens: Public classes
type: Private structures

V
value: Private structures


A.4 Data types

Jump to:   A   B   C   D   E   F   H   I   J   L   M   N   P   Q   R   S   T   U   W  
Index Entry  Section

A
activation: Public classes
activation.lisp: The lisa/src/core/activation․lisp file
add-token: Private classes

B
belief-interface.lisp: The lisa/src/core/belief-interface․lisp file
belief-systems: The lisa/src/belief-systems module
belief.lisp: The lisa/src/belief-systems/belief․lisp file
binding.lisp: The lisa/src/core/binding․lisp file
breadth-first-strategy: Private classes
builtin-strategy: Private classes

C
case-error: Private conditions
certainty-factor: Private types
certainty-factors.lisp: The lisa/src/belief-systems/certainty-factors․lisp file
Class, activation: Public classes
Class, add-token: Private classes
Class, breadth-first-strategy: Private classes
Class, builtin-strategy: Private classes
Class, context: Public classes
Class, deffacts: Public classes
Class, depth-first-strategy: Private classes
Class, fact: Public classes
Class, inference-engine-object: Private classes
Class, initial-fact: Public classes
Class, join-node: Private classes
Class, node1: Private classes
Class, node2: Private classes
Class, node2-exists: Private classes
Class, node2-not: Private classes
Class, node2-test: Private classes
Class, priority-queue-mixin: Private classes
Class, query-fact: Private classes
Class, remove-token: Private classes
Class, reset-token: Private classes
Class, rete: Public classes
Class, rete-network: Public classes
Class, rule: Public classes
Class, shared-node: Private classes
Class, strategy: Private classes
Class, terminal-node: Private classes
Class, token: Public classes
class-parsing-error: Private conditions
code: Private conditions
compose.lisp: The lisa/src/utils/compose․lisp file
Condition, case-error: Private conditions
Condition, class-parsing-error: Private conditions
Condition, code: Private conditions
Condition, duplicate-fact: Public conditions
Condition, not-implemented: Private conditions
Condition, parsing-error: Private conditions
Condition, rule-parsing-error: Private conditions
Condition, slot-parsing-error: Private conditions
conditions.lisp: The lisa/src/core/conditions․lisp file
config: The lisa/src/config module
config.lisp: The lisa/src/config/config․lisp file
conflict-resolution-strategies.lisp: The lisa/src/core/conflict-resolution-strategies․lisp file
context: Public classes
context.lisp: The lisa/src/core/context․lisp file
core: The lisa/src/core module

D
deffacts: Public classes
deffacts.lisp: The lisa/src/core/deffacts․lisp file
depth-first-strategy: Private classes
duplicate-fact: Public conditions

E
epilogue.lisp: The lisa/src/config/epilogue․lisp file

F
fact: Public classes
fact-meta-object: Private structures
fact-parser.lisp: The lisa/src/core/fact-parser․lisp file
fact.lisp: The lisa/src/core/fact․lisp file
File, activation.lisp: The lisa/src/core/activation․lisp file
File, belief-interface.lisp: The lisa/src/core/belief-interface․lisp file
File, belief.lisp: The lisa/src/belief-systems/belief․lisp file
File, binding.lisp: The lisa/src/core/binding․lisp file
File, certainty-factors.lisp: The lisa/src/belief-systems/certainty-factors․lisp file
File, compose.lisp: The lisa/src/utils/compose․lisp file
File, conditions.lisp: The lisa/src/core/conditions․lisp file
File, config.lisp: The lisa/src/config/config․lisp file
File, conflict-resolution-strategies.lisp: The lisa/src/core/conflict-resolution-strategies․lisp file
File, context.lisp: The lisa/src/core/context․lisp file
File, deffacts.lisp: The lisa/src/core/deffacts․lisp file
File, epilogue.lisp: The lisa/src/config/epilogue․lisp file
File, fact-parser.lisp: The lisa/src/core/fact-parser․lisp file
File, fact.lisp: The lisa/src/core/fact․lisp file
File, heap.lisp: The lisa/src/core/heap․lisp file
File, join-node.lisp: The lisa/src/rete/join-node․lisp file
File, language.lisp: The lisa/src/core/language․lisp file
File, lisa.asd: The lisa/lisa․asd file
File, meta.lisp: The lisa/src/core/meta․lisp file
File, network-crawler.lisp: The lisa/src/rete/network-crawler․lisp file
File, network-ops.lisp: The lisa/src/rete/network-ops․lisp file
File, node-pair.lisp: The lisa/src/rete/node-pair․lisp file
File, node-tests.lisp: The lisa/src/rete/node-tests․lisp file
File, node1.lisp: The lisa/src/rete/node1․lisp file
File, node2-exists.lisp: The lisa/src/rete/node2-exists․lisp file
File, node2-not.lisp: The lisa/src/rete/node2-not․lisp file
File, node2-test.lisp: The lisa/src/rete/node2-test․lisp file
File, node2.lisp: The lisa/src/rete/node2․lisp file
File, pattern.lisp: The lisa/src/core/pattern․lisp file
File, pkgdecl.lisp: The lisa/src/packages/pkgdecl․lisp file
File, preamble.lisp: The lisa/src/core/preamble․lisp file
File, reflect.lisp: The lisa/src/reflect/reflect․lisp file
File, rete-compiler.lisp: The lisa/src/rete/rete-compiler․lisp file
File, rete.lisp: The lisa/src/core/rete․lisp file
File, retrieve.lisp: The lisa/src/core/retrieve․lisp file
File, rule-parser.lisp: The lisa/src/core/rule-parser․lisp file
File, rule.lisp: The lisa/src/core/rule․lisp file
File, shared-node.lisp: The lisa/src/rete/shared-node․lisp file
File, successor.lisp: The lisa/src/rete/successor․lisp file
File, terminal-node.lisp: The lisa/src/rete/terminal-node․lisp file
File, tms-support.lisp: The lisa/src/core/tms-support․lisp file
File, tms.lisp: The lisa/src/rete/tms․lisp file
File, token.lisp: The lisa/src/core/token․lisp file
File, utils.lisp: The lisa/src/utils/utils․lisp file
File, watches.lisp: The lisa/src/core/watches․lisp file
File, workarounds.lisp: The lisa/src/implementations/workarounds․lisp file

H
heap: Private structures
heap.lisp: The lisa/src/core/heap․lisp file

I
implementations: The lisa/src/implementations module
inference-engine-object: Private classes
initial-fact: Public classes

J
join-node: Private classes
join-node.lisp: The lisa/src/rete/join-node․lisp file

L
language.lisp: The lisa/src/core/language․lisp file
lisa: The lisa system
lisa: The lisa package
lisa-lisp: The lisa-lisp package
lisa-system: The lisa-system package
lisa-user: The lisa-user package
lisa.asd: The lisa/lisa․asd file
lisa.belief: The lisa․belief package
lisa.heap: The lisa․heap package
lisa.reflect: The lisa․reflect package
lisa.utils: The lisa․utils package

M
meta.lisp: The lisa/src/core/meta․lisp file
Module, belief-systems: The lisa/src/belief-systems module
Module, config: The lisa/src/config module
Module, core: The lisa/src/core module
Module, implementations: The lisa/src/implementations module
Module, packages: The lisa/src/packages module
Module, reflect: The lisa/src/reflect module
Module, rete: The lisa/src/rete module
Module, src: The lisa/src module
Module, utils: The lisa/src/utils module

N
network-crawler.lisp: The lisa/src/rete/network-crawler․lisp file
network-ops.lisp: The lisa/src/rete/network-ops․lisp file
node-pair.lisp: The lisa/src/rete/node-pair․lisp file
node-tests.lisp: The lisa/src/rete/node-tests․lisp file
node1: Private classes
node1.lisp: The lisa/src/rete/node1․lisp file
node2: Private classes
node2-exists: Private classes
node2-exists.lisp: The lisa/src/rete/node2-exists․lisp file
node2-not: Private classes
node2-not.lisp: The lisa/src/rete/node2-not․lisp file
node2-test: Private classes
node2-test.lisp: The lisa/src/rete/node2-test․lisp file
node2.lisp: The lisa/src/rete/node2․lisp file
not-implemented: Private conditions

P
Package, lisa: The lisa package
Package, lisa-lisp: The lisa-lisp package
Package, lisa-system: The lisa-system package
Package, lisa-user: The lisa-user package
Package, lisa.belief: The lisa․belief package
Package, lisa.heap: The lisa․heap package
Package, lisa.reflect: The lisa․reflect package
Package, lisa.utils: The lisa․utils package
packages: The lisa/src/packages module
parsed-pattern: Private structures
parsing-error: Private conditions
pattern-slot: Private structures
pattern.lisp: The lisa/src/core/pattern․lisp file
pkgdecl.lisp: The lisa/src/packages/pkgdecl․lisp file
preamble.lisp: The lisa/src/core/preamble․lisp file
priority-queue-mixin: Private classes

Q
query-fact: Private classes

R
reflect: The lisa/src/reflect module
reflect.lisp: The lisa/src/reflect/reflect․lisp file
remove-token: Private classes
reset-token: Private classes
rete: The lisa/src/rete module
rete: Public classes
rete-compiler.lisp: The lisa/src/rete/rete-compiler․lisp file
rete-network: Public classes
rete.lisp: The lisa/src/core/rete․lisp file
retrieve.lisp: The lisa/src/core/retrieve․lisp file
rule: Public classes
rule-actions: Private structures
rule-parser.lisp: The lisa/src/core/rule-parser․lisp file
rule-parsing-error: Private conditions
rule.lisp: The lisa/src/core/rule․lisp file

S
shared-node: Private classes
shared-node.lisp: The lisa/src/rete/shared-node․lisp file
slot-parsing-error: Private conditions
src: The lisa/src module
strategy: Private classes
Structure, fact-meta-object: Private structures
Structure, heap: Private structures
Structure, parsed-pattern: Private structures
Structure, pattern-slot: Private structures
Structure, rule-actions: Private structures
successor.lisp: The lisa/src/rete/successor․lisp file
System, lisa: The lisa system

T
terminal-node: Private classes
terminal-node.lisp: The lisa/src/rete/terminal-node․lisp file
tms-support.lisp: The lisa/src/core/tms-support․lisp file
tms.lisp: The lisa/src/rete/tms․lisp file
token: Public classes
token.lisp: The lisa/src/core/token․lisp file
Type, certainty-factor: Private types

U
utils: The lisa/src/utils module
utils.lisp: The lisa/src/utils/utils․lisp file

W
watches.lisp: The lisa/src/core/watches․lisp file
workarounds.lisp: The lisa/src/implementations/workarounds․lisp file