The lisa Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The lisa Reference Manual

This is the lisa Reference Manual, generated automatically by Declt version 2.3 "Robert April" on Tue Jan 09 15:03:19 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

This is a fork of http://sourceforge.net/projects/lisa

TODO:
1) Fix CL-implementation specific issues for OpenMCL and SBCL. DONE! 2009-06-24
2) Replace the hash-table based implementation of the activation list with an
   adjustable array.
3) Implement support for not as a connected constraint
4) Implement possibility to bind the same variable in two or more slots and make
   it so that this creates a join node on that variable in the Rete network.
5) ...

Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

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


Previous: , Up: Systems   [Contents][Index]

2.1 lisa

Maintainer

David E. Young

Author

David E. Young

License

LGPL

Description

The Lisa expert system shell

Source

lisa.asd (file)

Component

src (module)


Next: , Previous: , Up: Top   [Contents][Index]

3 Modules

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


Next: , Previous: , Up: Modules   [Contents][Index]

3.1 lisa/src

Parent

lisa (system)

Location

src/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.2 lisa/src/packages

Parent

src (module)

Location

src/packages/

Component

pkgdecl.lisp (file)


Next: , Previous: , Up: Modules   [Contents][Index]

3.3 lisa/src/utils

Dependency

packages (module)

Parent

src (module)

Location

src/utils/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.4 lisa/src/belief-systems

Dependency

utils (module)

Parent

src (module)

Location

src/belief-systems/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.5 lisa/src/reflect

Dependency

belief-systems (module)

Parent

src (module)

Location

src/reflect/

Component

reflect.lisp (file)


Next: , Previous: , Up: Modules   [Contents][Index]

3.6 lisa/src/core

Dependency

reflect (module)

Parent

src (module)

Location

src/core/

Components

Next: , Previous: , Up: Modules   [Contents][Index]

3.7 lisa/src/implementations

Dependency

core (module)

Parent

src (module)

Location

src/implementations/

Component

workarounds.lisp (file)


Next: , Previous: , Up: Modules   [Contents][Index]

3.8 lisa/src/rete

Dependency

implementations (module)

Parent

src (module)

Location

src/rete/reference/

Components

Previous: , Up: Modules   [Contents][Index]

3.9 lisa/src/config

Dependency

rete (module)

Parent

src (module)

Location

src/config/

Components

Next: , Previous: , Up: Top   [Contents][Index]

4 Files

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


Previous: , Up: Files   [Contents][Index]

4.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.1 lisa.asd

Location

lisa.asd

Systems

lisa (system)

Packages

lisa-system

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.2 lisa/src/packages/pkgdecl.lisp

Parent

packages (module)

Location

src/packages/pkgdecl.lisp

Packages

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.3 lisa/src/utils/compose.lisp

Parent

utils (module)

Location

src/utils/compose.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.4 lisa/src/utils/utils.lisp

Dependency

compose.lisp (file)

Parent

utils (module)

Location

src/utils/utils.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

belief-systems (module)

Location

src/belief-systems/belief.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

belief.lisp (file)

Parent

belief-systems (module)

Location

src/belief-systems/certainty-factors.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.7 lisa/src/reflect/reflect.lisp

Parent

reflect (module)

Location

src/reflect/reflect.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.8 lisa/src/core/preamble.lisp

Parent

core (module)

Location

src/core/preamble.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.9 lisa/src/core/conditions.lisp

Dependency

preamble.lisp (file)

Parent

core (module)

Location

src/core/conditions.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.10 lisa/src/core/deffacts.lisp

Dependency

conditions.lisp (file)

Parent

core (module)

Location

src/core/deffacts.lisp

Exported Definitions

deffacts (class)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.11 lisa/src/core/fact.lisp

Dependency

deffacts.lisp (file)

Parent

core (module)

Location

src/core/fact.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.12 lisa/src/core/watches.lisp

Dependency

fact.lisp (file)

Parent

core (module)

Location

src/core/watches.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.13 lisa/src/core/activation.lisp

Dependency

watches.lisp (file)

Parent

core (module)

Location

src/core/activation.lisp

Exported Definitions

activation (class)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.14 lisa/src/core/heap.lisp

Dependency

activation.lisp (file)

Parent

core (module)

Location

src/core/heap.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

heap.lisp (file)

Parent

core (module)

Location

src/core/conflict-resolution-strategies.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.16 lisa/src/core/context.lisp

Dependency

conflict-resolution-strategies.lisp (file)

Parent

core (module)

Location

src/core/context.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.17 lisa/src/core/rule.lisp

Dependency

context.lisp (file)

Parent

core (module)

Location

src/core/rule.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.18 lisa/src/core/pattern.lisp

Dependency

rule.lisp (file)

Parent

core (module)

Location

src/core/pattern.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

pattern.lisp (file)

Parent

core (module)

Location

src/core/rule-parser.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

rule-parser.lisp (file)

Parent

core (module)

Location

src/core/fact-parser.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.21 lisa/src/core/language.lisp

Dependency

fact-parser.lisp (file)

Parent

core (module)

Location

src/core/language.lisp

Exported Definitions
Internal Definitions

expand-slots (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

language.lisp (file)

Parent

core (module)

Location

src/core/tms-support.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.23 lisa/src/core/rete.lisp

Dependency

tms-support.lisp (file)

Parent

core (module)

Location

src/core/rete.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

rete.lisp (file)

Parent

core (module)

Location

src/core/belief-interface.lisp

Exported Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.25 lisa/src/core/meta.lisp

Dependency

belief-interface.lisp (file)

Parent

core (module)

Location

src/core/meta.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.26 lisa/src/core/binding.lisp

Dependency

meta.lisp (file)

Parent

core (module)

Location

src/core/binding.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.27 lisa/src/core/token.lisp

Dependency

binding.lisp (file)

Parent

core (module)

Location

src/core/token.lisp

Exported Definitions

token (class)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.28 lisa/src/core/retrieve.lisp

Dependency

token.lisp (file)

Parent

core (module)

Location

src/core/retrieve.lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.29 lisa/src/implementations/workarounds.lisp

Parent

implementations (module)

Location

src/implementations/workarounds.lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Parent

rete (module)

Location

src/rete/reference/node-tests.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node-tests.lisp (file)

Parent

rete (module)

Location

src/rete/reference/shared-node.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.32 lisa/src/rete/successor.lisp

Dependency

shared-node.lisp (file)

Parent

rete (module)

Location

src/rete/reference/successor.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

successor.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node-pair.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node-pair.lisp (file)

Parent

rete (module)

Location

src/rete/reference/terminal-node.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.35 lisa/src/rete/node1.lisp

Dependency

terminal-node.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node1.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node1.lisp (file)

Parent

rete (module)

Location

src/rete/reference/join-node.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.37 lisa/src/rete/node2.lisp

Dependency

join-node.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node2.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node2.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node2-not.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node2-not.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node2-test.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node2-test.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node2-exists.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

node2-exists.lisp (file)

Parent

rete (module)

Location

src/rete/reference/rete-compiler.lisp

Exported Definitions

rete-network (class)

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.42 lisa/src/rete/tms.lisp

Dependency

rete-compiler.lisp (file)

Parent

rete (module)

Location

src/rete/reference/tms.lisp

Internal Definitions

pass-tokens-to-successor (method)


Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

tms.lisp (file)

Parent

rete (module)

Location

src/rete/reference/network-ops.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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

Dependency

network-ops.lisp (file)

Parent

rete (module)

Location

src/rete/reference/network-crawler.lisp

Exported Definitions

show-network (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

4.1.45 lisa/src/config/config.lisp

Parent

config (module)

Location

src/config/config.lisp


Previous: , Up: Lisp files   [Contents][Index]

4.1.46 lisa/src/config/epilogue.lisp

Dependency

config.lisp (file)

Parent

config (module)

Location

src/config/epilogue.lisp

Packages

lisa-lisp

Exported Definitions

initial-fact (class)

Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Packages

Packages are listed by definition order.


Next: , Previous: , Up: Packages   [Contents][Index]

5.1 lisa-system

Source

lisa.asd

Use List
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.2 lisa.utils

Source

pkgdecl.lisp (file)

Nickname

utils

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.3 lisa.heap

Source

pkgdecl.lisp (file)

Nickname

heap

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.4 lisa.belief

Source

pkgdecl.lisp (file)

Nickname

belief

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.5 lisa.reflect

Source

pkgdecl.lisp (file)

Nickname

reflect

Use List

common-lisp

Exported Definitions
Internal Definitions

Next: , Previous: , Up: Packages   [Contents][Index]

5.6 lisa-user

Source

pkgdecl.lisp (file)

Use List

common-lisp


Next: , Previous: , Up: Packages   [Contents][Index]

5.7 lisa

Source

pkgdecl.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

Previous: , Up: Packages   [Contents][Index]

5.8 lisa-lisp

Source

epilogue.lisp (file)

Use List

common-lisp


Next: , Previous: , Up: Top   [Contents][Index]

6 Definitions

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


Next: , Previous: , Up: Definitions   [Contents][Index]

6.1 Exported definitions


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.1 Macros

Macro: assert (NAME &body BODY) &key BELIEF
Package

lisa

Source

language.lisp (file)

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 (file)

Macro: defcontext CONTEXT-NAME &optional STRATEGY
Package

lisa

Source

language.lisp (file)

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

lisa

Source

language.lisp (file)

Macro: defrule NAME (&key SALIENCE CONTEXT BELIEF AUTO-FOCUS) &body BODY
Package

lisa

Source

language.lisp (file)

Macro: deftemplate NAME (&key) &body BODY
Package

lisa

Source

language.lisp (file)

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 (file)

Macro: modify FACT &body BODY
Package

lisa

Source

language.lisp (file)

Macro: retrieve (&rest VARLIST) &body BODY
Package

lisa

Source

retrieve.lisp (file)

Macro: undefcontext CONTEXT-NAME
Package

lisa

Source

language.lisp (file)

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 (file)

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 (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.2 Functions

Function: active-rule ()
Package

lisa

Source

preamble.lisp (file)

Function: agenda &optional CONTEXT-NAME
Package

lisa

Source

language.lisp (file)

Function: allow-duplicate-facts ()
Package

lisa

Source

preamble.lisp (file)

Setf Expander

(setf allow-duplicate-facts) (setf expander)

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

lisa

Source

preamble.lisp (file)

Reader

allow-duplicate-facts (function)

Function: assert-instance INSTANCE
Package

lisa

Source

language.lisp (file)

Function: auto-focus-p RULE
Package

lisa

Source

rule.lisp (file)

Function: class-all-superclasses CLASS-OR-SYMBOL
Package

lisa.reflect

Source

reflect.lisp (file)

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 (file)

Function: clear ()
Package

lisa

Source

language.lisp (file)

Function: collect PREDICATE LIST
Package

lisa.utils

Source

utils.lisp (file)

Function: consider-taxonomy ()
Package

lisa

Source

preamble.lisp (file)

Setf Expander

(setf consider-taxonomy) (setf expander)

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

lisa

Source

preamble.lisp (file)

Reader

consider-taxonomy (function)

Function: contexts ()
Package

lisa

Source

language.lisp (file)

Function: create-heap LESS-FN &key ORDER INITIAL-CONTENTS
Package

lisa.heap

Source

heap.lisp (file)

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 (file)

Function: dependencies ()
Package

lisa

Source

language.lisp (file)

Function: engine ()
Package

lisa

Source

language.lisp (file)

Function: facts ()
Package

lisa

Source

language.lisp (file)

Function: false-p CF
Package

lisa.belief

Source

certainty-factors.lisp (file)

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 (file)

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 (file)

Function: find-context RETE DEFINED-NAME &optional ERRORP
Package

lisa

Source

rete.lisp (file)

Function: find-direct-superclasses CLASS
Package

lisa.reflect

Source

reflect.lisp (file)

Function: find-fact-by-id RETE FACT-ID
Package

lisa

Source

rete.lisp (file)

Function: find-fact-by-name RETE FACT-NAME
Package

lisa

Source

rete.lisp (file)

Function: find-if-after PREDICATE SEQUENCE
Package

lisa.utils

Source

utils.lisp (file)

Function: find-rule RETE RULE-NAME
Package

lisa

Source

rete.lisp (file)

Function: flatten X
Package

lisa.utils

Source

utils.lisp (file)

Function: focus &rest ARGS
Package

lisa

Source

language.lisp (file)

Function: focus-stack ()
Package

lisa

Source

language.lisp (file)

Function: halt ()
Package

lisa

Source

language.lisp (file)

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 (file)

Function: heap-collect HEAP &optional FN
Package

lisa.heap

Source

heap.lisp (file)

Function: heap-count HEAP
Package

lisa.heap

Source

heap.lisp (file)

Function: heap-empty-p HEAP

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

Package

lisa.heap

Source

heap.lisp (file)

Function: heap-find HEAP &optional FN
Package

lisa.heap

Source

heap.lisp (file)

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 (file)

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 (file)

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 (file)

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

lisa

Source

preamble.lisp (file)

Function: inference-engine &rest ARGS
Package

lisa

Source

preamble.lisp (file)

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 (file)

Function: make-inference-engine ()
Package

lisa

Source

rete.lisp (file)

Function: mark-instance-as-changed INSTANCE &key SLOT-ID
Package

lisa

Source

language.lisp (file)

Function: refocus ()
Package

lisa

Source

language.lisp (file)

Function: reset ()
Package

lisa

Source

language.lisp (file)

Function: retract-instance INSTANCE
Package

lisa

Source

language.lisp (file)

Function: rule ()
Package

lisa

Source

language.lisp (file)

Function: rule-default-name RULE
Package

lisa

Source

rule.lisp (file)

Function: rules &optional CONTEXT-NAME
Package

lisa

Source

language.lisp (file)

Function: run &optional CONTEXTS
Package

lisa

Source

language.lisp (file)

Function: show-network RETE-NETWORK &optional STRM
Package

lisa

Source

network-crawler.lisp (file)

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 (file)

Function: true-p CF
Package

lisa.belief

Source

certainty-factors.lisp (file)

Function: undefrule RULE-NAME
Package

lisa

Source

language.lisp (file)

Function: unknown-p CF
Package

lisa.belief

Source

certainty-factors.lisp (file)

Function: unwatch EVENT
Package

lisa

Source

language.lisp (file)

Function: use-default-engine ()
Package

lisa

Source

preamble.lisp (file)

Function: use-fancy-assert ()
Package

lisa

Source

preamble.lisp (file)

Setf Expander

(setf use-fancy-assert) (setf expander)

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

lisa

Source

preamble.lisp (file)

Reader

use-fancy-assert (function)

Function: walk &optional STEP
Package

lisa

Source

language.lisp (file)

Function: watch EVENT
Package

lisa

Source

language.lisp (file)

Function: watching ()
Package

lisa

Source

language.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.3 Generic functions

Generic Function: adjust-belief OBJECTS RULE-BELIEF &optional OLD-BELIEF
Package

lisa.belief

Source

belief.lisp (file)

Methods
Method: adjust-belief OBJECTS RULE-BELIEF &optional OLD-BELIEF
Source

certainty-factors.lisp (file)

Method: adjust-belief OBJECTS (RULE-BELIEF number) &optional OLD-BELIEF
Source

certainty-factors.lisp (file)

Generic Function: belief->english BELIEF-FACTOR
Package

lisa.belief

Source

belief.lisp (file)

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

certainty-factors.lisp (file)

Generic Function: belief-factor OBJ
Package

lisa.belief

Source

belief.lisp (file)

Methods
Method: belief-factor (SELF rule)
Source

belief-interface.lisp (file)

Method: belief-factor (SELF fact)
Source

belief-interface.lisp (file)

Generic Function: context-name OBJECT
Package

lisa

Methods
Method: context-name (CONTEXT context)

automatically generated reader method

Source

context.lisp (file)

Generic Function: fact-id OBJECT
Generic Function: (setf fact-id) NEW-VALUE OBJECT
Package

lisa

Methods
Method: fact-id (FACT fact)

automatically generated reader method

Source

fact.lisp (file)

Method: (setf fact-id) NEW-VALUE (FACT fact)

automatically generated writer method

Source

fact.lisp (file)

Generic Function: fact-name OBJECT
Package

lisa

Methods
Method: fact-name (FACT fact)

automatically generated reader method

Source

fact.lisp (file)

Generic Function: rete-network OBJECT
Package

lisa

Methods
Method: rete-network (RETE rete)

automatically generated reader method

Source

rete.lisp (file)

Generic Function: retract FACT-OBJECT
Package

lisa

Methods
Method: retract FACT-OBJECT
Source

language.lisp (file)

Method: retract (FACT-OBJECT number)
Source

language.lisp (file)

Method: retract (FACT-OBJECT fact)
Source

language.lisp (file)

Generic Function: rule-comment OBJECT
Package

lisa

Methods
Method: rule-comment (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-context OBJECT
Package

lisa

Methods
Method: rule-context (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-name CONDITION
Package

lisa

Methods
Method: rule-name (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Method: rule-name (CONDITION rule-parsing-error)
Source

conditions.lisp (file)

Generic Function: rule-salience OBJECT
Package

lisa

Methods
Method: rule-salience (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-short-name OBJECT
Package

lisa

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

automatically generated reader method

Source

rule.lisp (file)

Generic Function: slot-value-of-instance OBJECT SLOT-NAME
Generic Function: (setf slot-value-of-instance) NEW-VALUE OBJECT SLOT-NAME
Package

lisa

Source

preamble.lisp (file)

Methods
Method: slot-value-of-instance OBJECT SLOT-NAME
Method: (setf slot-value-of-instance) NEW-VALUE OBJECT SLOT-NAME
Source

fact.lisp (file)


Next: , Previous: , Up: Exported definitions   [Contents][Index]

6.1.4 Conditions

Condition: duplicate-fact ()
Package

lisa

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct methods

duplicate-fact-existing-fact (method)

Direct slots
Slot: existing-fact
Initargs

:existing-fact

Readers

duplicate-fact-existing-fact (generic function)


Previous: , Up: Exported definitions   [Contents][Index]

6.1.5 Classes

Class: activation ()

Represents a rule activation.

Package

lisa

Source

activation.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: rule
Initargs

:rule

Readers

activation-rule (generic function)

Slot: tokens
Initargs

:tokens

Readers

activation-tokens (generic function)

Slot: timestamp
Initform

(incf lisa::*activation-timestamp*)

Readers

activation-timestamp (generic function)

Slot: eligible
Initform

t

Readers

activation-eligible (generic function)

Writers

(setf activation-eligible) (generic function)

Class: context ()
Package

lisa

Source

context.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

context-name (generic function)

Slot: rules
Initform

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

Readers

context-rules (generic function)

Slot: strategy
Initargs

:strategy

Readers

context-strategy (generic function)

Class: deffacts ()

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

Package

lisa

Source

deffacts.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

deffacts-name (generic function)

Slot: fact-list
Initargs

:fact-list

Readers

deffacts-fact-list (generic function)

Class: fact ()

This class represents all facts in the knowledge base.

Package

lisa

Source

fact.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: name
Initargs

:name

Readers

fact-name (generic function)

Slot: id
Initform

-1

Readers

fact-id (generic function)

Writers

(setf fact-id) (generic function)

Slot: slot-table
Initform

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

Readers

fact-slot-table (generic function)

Slot: belief
Initargs

:belief

Readers

belief-factor (generic function)

Writers

(setf belief-factor) (generic function)

Slot: clos-instance
Readers

fact-clos-instance (generic function)

Slot: shadows
Readers

fact-shadowsp (generic function)

Slot: meta-data
Readers

fact-meta-data (generic function)

Class: initial-fact ()
Package

lisa

Source

epilogue.lisp (file)

Direct superclasses

inference-engine-object (class)

Class: rete ()
Package

lisa

Source

rete.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: fact-table
Initform

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

Readers

rete-fact-table (generic function)

Writers

(setf rete-fact-table) (generic function)

Slot: fact-id-table
Initform

(make-hash-table)

Readers

fact-id-table (generic function)

Writers

(setf fact-id-table) (generic function)

Slot: instance-table
Initform

(make-hash-table)

Readers

rete-instance-table (generic function)

Slot: rete-network
Initform

(lisa::make-rete-network)

Readers

rete-network (generic function)

Slot: next-fact-id
Initform

-1

Readers

rete-next-fact-id (generic function)

Writers

(setf rete-next-fact-id) (generic function)

Slot: autofacts
Initform

(list)

Readers

rete-autofacts (generic function)

Writers

(setf rete-autofacts) (generic function)

Slot: meta-data
Initform

(make-hash-table)

Readers

rete-meta-data (generic function)

Slot: dependency-table
Initform

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

Readers

rete-dependency-table (generic function)

Writers

(setf rete-dependency-table) (generic function)

Slot: contexts
Initform

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

Readers

rete-contexts (generic function)

Slot: focus-stack
Initform

(list)

Readers

rete-focus-stack (generic function)

Writers

(setf rete-focus-stack) (generic function)

Slot: halted
Readers

rete-halted (generic function)

Writers

(setf rete-halted) (generic function)

Slot: firing-count
Initform

0

Readers

rete-firing-count (generic function)

Writers

(setf rete-firing-count) (generic function)

Class: rete-network ()
Package

lisa

Source

rete-compiler.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: root-nodes
Initargs

:root-nodes

Initform

(make-hash-table)

Readers

rete-roots (generic function)

Slot: node-test-cache
Initargs

:node-test-cache

Initform

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

Readers

node-test-cache (generic function)

Class: rule ()

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

Package

lisa

Source

rule.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: short-name
Initargs

:short-name

Readers

rule-short-name (generic function)

Slot: qualified-name
Readers

rule-name (generic function)

Slot: comment
Initargs

:comment

Readers

rule-comment (generic function)

Slot: salience
Initargs

:salience

Initform

0

Readers

rule-salience (generic function)

Slot: context
Initargs

:context

Readers

rule-context (generic function)

Slot: auto-focus
Initargs

:auto-focus

Readers

rule-auto-focus (generic function)

Slot: behavior
Initargs

:behavior

Readers

rule-behavior (generic function)

Writers

(setf rule-behavior) (generic function)

Slot: binding-set
Initargs

:binding-set

Readers

rule-binding-set (generic function)

Slot: node-list
Readers

rule-node-list (generic function)

Slot: activations
Initform

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

Readers

rule-activations (generic function)

Writers

(setf rule-activations) (generic function)

Slot: patterns
Initargs

:patterns

Initform

(list)

Readers

rule-patterns (generic function)

Slot: actions
Initargs

:actions

Readers

rule-actions (generic function)

Slot: logical-marker
Initargs

:logical-marker

Readers

rule-logical-marker (generic function)

Slot: belief-factor
Initargs

:belief

Readers

belief-factor (generic function)

Slot: active-dependencies
Initform

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

Readers

rule-active-dependencies (generic function)

Slot: engine
Initargs

:engine

Readers

rule-engine (generic function)

Class: token ()
Package

lisa

Source

token.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Direct slots
Slot: facts
Initform

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

Readers

token-facts (generic function)

Writers

(setf token-facts) (generic function)

Slot: not-counter
Initform

0

Readers

token-not-counter (generic function)

Writers

(setf token-not-counter) (generic function)

Slot: exists-counter
Initform

0

Readers

token-exists-counter (generic function)

Writers

(setf token-exists-counter) (generic function)

Slot: hash-code
Initform

(list)

Readers

token-hash-code (generic function)

Writers

(setf token-hash-code) (generic function)

Slot: contents
Readers

token-contents (generic function)


Previous: , Up: Definitions   [Contents][Index]

6.2 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.1 Constants

Constant: *rule-separator*
Package

lisa

Source

rule-parser.lisp (file)

Constant: +false+
Package

lisa.belief

Source

certainty-factors.lisp (file)

Constant: +true+
Package

lisa.belief

Source

certainty-factors.lisp (file)

Constant: +unknown+
Package

lisa.belief

Source

certainty-factors.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.2 Special variables

Special Variable: *activation-timestamp*
Package

lisa

Source

activation.lisp (file)

Special Variable: *active-context*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *active-engine*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *active-rule*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *active-tokens*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *allow-duplicate-facts*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *assert-fact*
Package

lisa

Source

watches.lisp (file)

Special Variable: *binding-table*
Package

lisa

Source

rule-parser.lisp (file)

Special Variable: *clear-handlers*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *conditional-elements-table*
Package

lisa

Source

rule-parser.lisp (file)

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

lisa

Source

preamble.lisp (file)

Special Variable: *current-defrule*
Package

lisa

Source

rule-parser.lisp (file)

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

lisa

Source

rule-parser.lisp (file)

Special Variable: *disable-activation*
Package

lisa

Source

watches.lisp (file)

Special Variable: *enable-activation*
Package

lisa

Source

watches.lisp (file)

Special Variable: *fire-rule*
Package

lisa

Source

watches.lisp (file)

Special Variable: *heap*
Package

lisa.heap

Source

heap.lisp (file)

Special Variable: *ignore-this-instance*
Package

lisa

Source

preamble.lisp (file)

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

lisa

Source

rule-parser.lisp (file)

Special Variable: *leaf-nodes*
Package

lisa

Source

rete-compiler.lisp (file)

Special Variable: *lisa-root-pathname*
Package

lisa-system

Source

lisa.asd

Special Variable: *logical-block-marker*
Package

lisa

Source

rete-compiler.lisp (file)

Special Variable: *node-set*
Package

lisa

Source

network-ops.lisp (file)

Special Variable: *node-test-table*
Package

lisa

Source

node-tests.lisp (file)

Special Variable: *query-result*

Holds the results of query firings.

Package

lisa

Source

retrieve.lisp (file)

Special Variable: *retract-fact*
Package

lisa

Source

watches.lisp (file)

Special Variable: *root-nodes*
Package

lisa

Source

rete-compiler.lisp (file)

Special Variable: *rule-specific-nodes*
Package

lisa

Source

rete-compiler.lisp (file)

Special Variable: *scheduled-dependencies*
Package

lisa

Source

tms-support.lisp (file)

Special Variable: *special-initial-elements*
Package

lisa

Source

rule-parser.lisp (file)

Special Variable: *use-fancy-assert*
Package

lisa

Source

preamble.lisp (file)

Special Variable: *watches*
Package

lisa

Source

watches.lisp (file)

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 (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.3 Symbol macros

Symbol Macro: scheduled-dependencies
Package

lisa

Source

tms-support.lisp (file)

Expansion

lisa::*scheduled-dependencies*


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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 (file)

Macro: constraintp CONSTRAINT
Package

lisa

Source

preamble.lisp (file)

Macro: defconst NAME TYPE INIT DOC

Define a typed constant.

Package

lisa.utils

Source

utils.lisp (file)

Macro: defcustom NAME TYPE INIT DOC

Define a typed global variable.

Package

lisa.utils

Source

utils.lisp (file)

Macro: define-lisa-lisp ()
Package

lisa

Source

epilogue.lisp (file)

Macro: defquery NAME &body BODY

Defines a new query identified by the symbol NAME.

Package

lisa

Source

retrieve.lisp (file)

Macro: defsubst NAME ARGLIST &body BODY

Declare an inline defun.

Package

lisa.utils

Source

utils.lisp (file)

Macro: ensure-fact-is-unique RETE FACT
Package

lisa

Source

rete.lisp (file)

Macro: literalp SYM
Package

lisa

Source

preamble.lisp (file)

Macro: mk-arr TYPE INIT &optional LEN

Make array with elements of TYPE, initializing.

Package

lisa.utils

Source

utils.lisp (file)

Macro: multifieldp VAL
Package

lisa

Source

preamble.lisp (file)

Macro: quotablep OBJ
Package

lisa

Source

preamble.lisp (file)

Macro: register-clear-handler TAG FUNC
Package

lisa

Source

preamble.lisp (file)

Macro: slot-valuep VAL
Package

lisa

Source

preamble.lisp (file)

Macro: starts-with-? SYM
Package

lisa

Source

preamble.lisp (file)

Macro: trace-assert FACT
Package

lisa

Source

watches.lisp (file)

Macro: trace-disable-activation ACTIVATION
Package

lisa

Source

watches.lisp (file)

Macro: trace-enable-activation ACTIVATION
Package

lisa

Source

watches.lisp (file)

Macro: trace-firing ACTIVATION
Package

lisa

Source

watches.lisp (file)

Macro: trace-retract FACT
Package

lisa

Source

watches.lisp (file)

Macro: variablep SYM
Package

lisa

Source

preamble.lisp (file)

Macro: with-auto-notify (VAR INSTANCE) &body BODY
Package

lisa

Source

preamble.lisp (file)

Macro: with-context CONTEXT &body BODY
Package

lisa

Source

context.lisp (file)

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 (file)

Macro: with-rule-components ((DOC-STRING LHS RHS) RULE-FORM) &body BODY
Package

lisa

Source

rule-parser.lisp (file)

Macro: with-rule-name-parts (CONTEXT SHORT-NAME LONG-NAME) SYMBOLIC-NAME &body BODY
Package

lisa

Source

context.lisp (file)

Macro: with-slot-components (SLOT-NAME SLOT-VALUE CONSTRAINT) FORM &body BODY
Package

lisa

Source

rule-parser.lisp (file)

Macro: with-truth-maintenance (RETE) &body BODY
Package

lisa

Source

tms-support.lisp (file)

Macro: with-unique-fact (RETE FACT) &body BODY
Package

lisa

Source

rete.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.5 Functions

Function: %make-binding &key (VARIABLE VARIABLE) (ADDRESS ADDRESS) (SLOT-NAME SLOT-NAME)
Package

lisa

Source

binding.lisp (file)

Function: acquire-meta-data ACTUAL-NAME
Package

lisa

Source

meta.lisp (file)

Function: activation-fact-list ACTIVATION &key DETAILP
Package

lisa

Source

activation.lisp (file)

Function: active-context ()
Package

lisa

Source

preamble.lisp (file)

Function: active-engine ()
Package

lisa

Source

preamble.lisp (file)

Function: active-tokens ()
Package

lisa

Source

preamble.lisp (file)

Function: add-autofact RETE DEFFACT
Package

lisa

Source

rete.lisp (file)

Function: add-fact-to-network RETE-NETWORK FACT
Package

lisa

Source

network-ops.lisp (file)

Function: add-inter-pattern-nodes PATTERNS

The beta memory nodes and tests

Package

lisa

Source

rete-compiler.lisp (file)

Function: add-intra-pattern-nodes PATTERNS

The alpha memory nodes and tests

Package

lisa

Source

rete-compiler.lisp (file)

Function: add-join-node-tests JOIN-NODE PATTERN
Package

lisa

Source

rete-compiler.lisp (file)

Function: add-logical-dependency RETE FACT DEPENDENCY-SET
Package

lisa

Source

tms-support.lisp (file)

Function: add-rule-to-context CONTEXT RULE
Package

lisa

Source

context.lisp (file)

Function: add-rule-to-network RETE RULE PATTERNS
Package

lisa

Source

rete.lisp (file)

Function: add-terminal-node RULE
Package

lisa

Source

rete-compiler.lisp (file)

Function: add-token-to-network RETE-NETWORK TOKEN-CTOR
Package

lisa

Source

network-ops.lisp (file)

Function: add-token-to-right-memory JOIN-NODE TOKEN
Package

lisa

Source

join-node.lisp (file)

Function: add-tokens-to-left-memory JOIN-NODE TOKENS
Package

lisa

Source

join-node.lisp (file)

Function: assert-autofacts RETE
Package

lisa

Source

rete.lisp (file)

Function: attach-rule-nodes RULE NODES
Package

lisa

Source

rule.lisp (file)

Function: bind-logical-dependencies FACT
Package

lisa

Source

fact-parser.lisp (file)

Function: bind-rule-activation RULE ACTIVATION TOKENS
Package

lisa

Source

rule.lisp (file)

Function: binding-address STRUCTURE
Function: (setf binding-address) VALUE STRUCTURE
Package

lisa

Source

binding.lisp (file)

Function: binding-slot-name STRUCTURE
Function: (setf binding-slot-name) VALUE STRUCTURE
Package

lisa

Source

binding.lisp (file)

Function: binding-variable STRUCTURE
Function: (setf binding-variable) VALUE STRUCTURE
Package

lisa

Source

binding.lisp (file)

Function: bound-pattern-p PARSED-PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: build-lambda-expression FORMS
Package

lisa

Source

compose.lisp (file)

Function: call-successor SUCCESSOR &rest ARGS
Package

lisa

Source

successor.lisp (file)

Function: certainty-factor-p NUMBER
Package

lisa.belief

Source

certainty-factors.lisp (file)

Function: cf->english CF
Package

lisa.belief

Source

certainty-factors.lisp (file)

Function: cf-combine A B
Package

lisa.belief

Source

certainty-factors.lisp (file)

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 (file)

Function: clear-activation-bindings RULE
Package

lisa

Source

rule.lisp (file)

Function: clear-activations CONTEXT
Package

lisa

Source

context.lisp (file)

Function: clear-context CONTEXT
Package

lisa

Source

context.lisp (file)

Function: clear-contexts RETE
Package

lisa

Source

rete.lisp (file)

Function: clear-environment-handlers ()
Package

lisa

Source

preamble.lisp (file)

Function: clear-focus-stack RETE
Package

lisa

Source

rete.lisp (file)

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

lisa

Source

node-tests.lisp (file)

Function: clear-system-environment ()
Package

lisa

Source

preamble.lisp (file)

Function: collect-bindings FORMS &key ERRORP
Package

lisa

Source

rule-parser.lisp (file)

Function: collect-constraint-bindings CONSTRAINT
Package

lisa

Source

rule-parser.lisp (file)

Function: compile-rule RULE PATTERNS ACTIONS
Package

lisa

Source

rule.lisp (file)

Function: compile-rule-behavior RULE ACTIONS
Package

lisa

Source

rule.lisp (file)

Function: compile-rule-into-network RETE-NETWORK PATTERNS RULE
Package

lisa

Source

rete-compiler.lisp (file)

Function: compound-pattern-p PARSED-PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: conjunct-cf OBJECTS

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

Package

lisa.belief

Source

certainty-factors.lisp (file)

Function: constrained-slot-p PATTERN-SLOT
Package

lisa

Source

pattern.lisp (file)

Function: context-activation-list CONTEXT
Package

lisa

Source

context.lisp (file)

Function: context-rule-list CONTEXT
Package

lisa

Source

context.lisp (file)

Function: copy-binding SEQUENCE

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

Package

lisa

Source

SYS:SRC;CODE;SEQ.LISP (not found)

Function: copy-fact-meta-object INSTANCE
Package

lisa

Source

rete.lisp (file)

Function: copy-heap INSTANCE
Package

lisa.heap

Source

heap.lisp (file)

Function: copy-network ENGINE
Package

lisa

Source

rete.lisp (file)

Function: copy-node-test-table SRC
Package

lisa

Source

rete-compiler.lisp (file)

Function: copy-parsed-pattern INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: copy-pattern-slot INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: copy-rule RULE ENGINE
Package

lisa

Source

rule.lisp (file)

Function: copy-rule-actions INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: create-template-class-slots CLASS-NAME SLOT-LIST
Package

lisa

Source

fact-parser.lisp (file)

Function: current-context RETE
Package

lisa

Source

rete.lisp (file)

Function: default-search-predicate HEAP OBJ
Package

lisa.heap

Source

heap.lisp (file)

Function: define-rule NAME BODY &key SALIENCE CONTEXT AUTO-FOCUS BELIEF
Package

lisa

Source

rule-parser.lisp (file)

Function: distribute-token RETE-NETWORK TOKEN
Package

lisa

Source

rete-compiler.lisp (file)

Function: duplicate-fact-p RETE FACT
Package

lisa

Source

rete.lisp (file)

Function: eligible-p ACTIVATION
Package

lisa

Source

activation.lisp (file)

Function: ensure-meta-data-exists CLASS-NAME
Package

lisa

Source

meta.lisp (file)

Function: enter-join-network-from-left NODE2 TOKENS
Package

lisa

Source

rete-compiler.lisp (file)

Function: enter-join-network-from-right NODE2 TOKEN
Package

lisa

Source

rete-compiler.lisp (file)

Function: eof-p STREAM

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

Package

lisa.utils

Source

utils.lisp (file)

Function: existential-pattern-p PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: expand-slots BODY
Package

lisa

Source

language.lisp (file)

Function: extract-rule-headers BODY
Package

lisa

Source

rule-parser.lisp (file)

Function: fact-meta-object-class-name INSTANCE
Function: (setf fact-meta-object-class-name) VALUE INSTANCE
Package

lisa

Source

rete.lisp (file)

Function: fact-meta-object-p OBJECT
Package

lisa

Source

rete.lisp (file)

Function: fact-meta-object-slot-list INSTANCE
Function: (setf fact-meta-object-slot-list) VALUE INSTANCE
Package

lisa

Source

rete.lisp (file)

Function: fact-meta-object-superclasses INSTANCE
Function: (setf fact-meta-object-superclasses) VALUE INSTANCE
Package

lisa

Source

rete.lisp (file)

Function: fact-symbolic-id FACT
Package

lisa

Source

fact.lisp (file)

Function: find-activation-binding RULE TOKENS
Package

lisa

Source

rule.lisp (file)

Function: find-any-logical-boundaries PATTERNS
Package

lisa

Source

rule.lisp (file)

Function: find-conditional-element-parser SYMBOL
Package

lisa

Source

rule-parser.lisp (file)

Function: find-fact-using-instance RETE INSTANCE
Package

lisa

Source

rete.lisp (file)

Function: find-instance-of-fact FACT

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

Package

lisa

Source

fact.lisp (file)

Function: find-logical-dependencies RETE DEPENDENCY-SET
Package

lisa

Source

tms-support.lisp (file)

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 (file)

Function: find-meta-object RETE SYMBOLIC-NAME
Package

lisa

Source

rete.lisp (file)

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 (file)

Function: find-slot-binding VAR &key ERRORP

Given a variable, retrieve the binding object for it.

Package

lisa

Source

rule-parser.lisp (file)

Function: find-test KEY CONSTRUCTOR
Package

lisa

Source

node-tests.lisp (file)

Function: fixup-runtime-bindings PATTERNS

Supports the parsing of embedded DEFRULE forms.

Package

lisa

Source

rule-parser.lisp (file)

Function: forget-all-facts RETE
Package

lisa

Source

rete.lisp (file)

Function: forget-clos-instance RETE INSTANCE
Package

lisa

Source

rete.lisp (file)

Function: forget-clos-instances RETE
Package

lisa

Source

rete.lisp (file)

Function: forget-context RETE CONTEXT-NAME
Package

lisa

Source

rete.lisp (file)

Function: forget-fact RETE FACT
Package

lisa

Source

rete.lisp (file)

Function: forget-token MEMORY TOKEN
Package

lisa

Source

join-node.lisp (file)

Function: gc ()

Invoke the garbage collector.

Package

lisa.utils

Source

utils.lisp (file)

Function: generic-pattern-p PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: get-activation-list RETE &optional CONTEXT-NAME
Package

lisa

Source

rete.lisp (file)

Function: get-class-name META-OBJECT
Package

lisa

Source

meta.lisp (file)

Function: get-fact-list RETE
Package

lisa

Source

rete.lisp (file)

Function: get-rule-list RETE &optional CONTEXT-NAME
Package

lisa

Source

rete.lisp (file)

Function: get-slot-list META-OBJECT
Package

lisa

Source

meta.lisp (file)

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 (file)

Function: get-superclasses META-OBJECT
Package

lisa

Source

meta.lisp (file)

Function: halt-engine RETE
Package

lisa

Source

rete.lisp (file)

Function: has-superclass FACT SYMBOLIC-NAME
Package

lisa

Source

fact.lisp (file)

Function: heap-a INSTANCE
Function: (setf heap-a) VALUE INSTANCE
Package

lisa.heap

Source

heap.lisp (file)

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 (file)

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 (file)

Function: heap-less-fn INSTANCE
Function: (setf heap-less-fn) VALUE INSTANCE
Package

lisa.heap

Source

heap.lisp (file)

Function: heap-max-count INSTANCE
Function: (setf heap-max-count) VALUE INSTANCE
Package

lisa.heap

Source

heap.lisp (file)

Function: heap-order INSTANCE
Function: (setf heap-order) VALUE INSTANCE
Package

lisa.heap

Source

heap.lisp (file)

Function: heap-p OBJECT
Package

lisa.heap

Source

heap.lisp (file)

Function: import-class-specification CLASS-NAME
Package

lisa

Source

meta.lisp (file)

Function: inactive-p ACTIVATION
Package

lisa

Source

activation.lisp (file)

Function: initial-context RETE
Package

lisa

Source

rete.lisp (file)

Function: initial-context-p CONTEXT
Package

lisa

Source

context.lisp (file)

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 (file)

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 (file)

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 (file)

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 (file)

Function: intra-pattern-slot-p PATTERN-SLOT
Package

lisa

Source

pattern.lisp (file)

Function: is-standard-classp CLASS
Package

lisa.reflect

Source

reflect.lisp (file)

Function: leaf-node ()
Package

lisa

Source

rete-compiler.lisp (file)

Function: left-input ADDRESS
Package

lisa

Source

rete-compiler.lisp (file)

Function: left-memory-count JOIN-NODE
Package

lisa

Source

join-node.lisp (file)

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 (file)

Function: lisa-debugger ()
Package

lisa-system

Source

lisa.asd

Function: logical-block-marker ()
Package

lisa

Source

rete-compiler.lisp (file)

Function: logical-block-p JOIN-NODE
Package

lisa

Source

join-node.lisp (file)

Function: logical-element-p PATTERN
Package

lisa

Source

rule-parser.lisp (file)

Function: logical-pattern-p PARSED-PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: logical-rule-p RULE
Package

lisa

Source

rule.lisp (file)

Function: make-activation RULE TOKENS
Package

lisa

Source

activation.lisp (file)

Function: make-behavior FUNCTION BINDINGS
Package

lisa

Source

node-tests.lisp (file)

Function: make-binding VAR ADDRESS SLOT-NAME
Package

lisa

Source

binding.lisp (file)

Function: make-binding-set ()
Package

lisa

Source

rule-parser.lisp (file)

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

lisa

Source

conflict-resolution-strategies.lisp (file)

Function: make-class-test CLASS
Package

lisa

Source

node-tests.lisp (file)

Function: make-context NAME &key STRATEGY
Package

lisa

Source

context.lisp (file)

Function: make-context-name DEFINED-NAME
Package

lisa

Source

context.lisp (file)

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

lisa

Source

preamble.lisp (file)

Function: make-deffacts NAME FACTS
Package

lisa

Source

deffacts.lisp (file)

Function: make-dependency-set TOKENS MARKER
Package

lisa

Source

tms-support.lisp (file)

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

lisa

Source

conflict-resolution-strategies.lisp (file)

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 (file)

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 (file)

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 (file)

Function: make-fact-meta-object &key (CLASS-NAME CLASS-NAME) (SLOT-LIST SLOT-LIST) (SUPERCLASSES SUPERCLASSES)
Package

lisa

Source

rete.lisp (file)

Function: make-heap &key (LESS-FN LESS-FN) (ORDER ORDER) (A A) (MAX-COUNT MAX-COUNT)
Package

lisa.heap

Source

heap.lisp (file)

Function: make-inter-pattern-test SLOT
Package

lisa

Source

node-tests.lisp (file)

Function: make-intra-pattern-constraint-test SLOT
Package

lisa

Source

node-tests.lisp (file)

Function: make-intra-pattern-node SLOT
Package

lisa

Source

rete-compiler.lisp (file)

Function: make-intra-pattern-predicate FORMS BINDINGS NEGATED-P
Package

lisa

Source

node-tests.lisp (file)

Function: make-intra-pattern-test SLOT
Package

lisa

Source

node-tests.lisp (file)

Function: make-join-node PATTERN
Package

lisa

Source

rete-compiler.lisp (file)

Function: make-left-join-connection JOIN-NODE NODE
Package

lisa

Source

rete-compiler.lisp (file)

Function: make-lisa-path RELATIVE-PATH
Package

lisa-system

Source

lisa.asd

Function: make-node-pair CHILD PARENT
Package

lisa

Source

node-pair.lisp (file)

Function: make-node1 TEST
Package

lisa

Source

node1.lisp (file)

Function: make-node2 ()
Package

lisa

Source

node2.lisp (file)

Function: make-node2-exists ()
Package

lisa

Source

node2-exists.lisp (file)

Function: make-node2-not ()
Package

lisa

Source

node2-not.lisp (file)

Function: make-node2-test ()
Package

lisa

Source

node2-test.lisp (file)

Function: make-parsed-pattern &key (CLASS CLASS) (SLOTS SLOTS) (ADDRESS ADDRESS) (PATTERN-BINDING PATTERN-BINDING) (TEST-BINDINGS TEST-BINDINGS) (BINDING-SET BINDING-SET) (LOGICAL LOGICAL) (SUB-PATTERNS SUB-PATTERNS) (TYPE TYPE)
Package

lisa

Source

pattern.lisp (file)

Function: make-pattern-slot &key (NAME NAME) (VALUE VALUE) (SLOT-BINDING SLOT-BINDING) (NEGATED NEGATED) (INTRA-PATTERN-BINDINGS INTRA-PATTERN-BINDINGS) (CONSTRAINT CONSTRAINT) (CONSTRAINT-BINDINGS CONSTRAINT-BINDINGS)
Package

lisa

Source

pattern.lisp (file)

Function: make-predicate-test FORMS BINDINGS &optional NEGATED-P
Package

lisa

Source

node-tests.lisp (file)

Function: make-query-engine SOURCE-RETE
Package

lisa

Source

rete.lisp (file)

Function: make-rete ()
Package

lisa

Source

rete.lisp (file)

Function: make-right-join-connection JOIN-NODE NODE
Package

lisa

Source

rete-compiler.lisp (file)

Function: make-root-node CLASS
Package

lisa

Source

rete-compiler.lisp (file)

Function: make-rule NAME ENGINE PATTERNS ACTIONS &key DOC-STRING SALIENCE CONTEXT AUTO-FOCUS BELIEF COMPILED-BEHAVIOR
Package

lisa

Source

rule.lisp (file)

Function: make-rule-actions &key (BINDINGS BINDINGS) (ACTIONS ACTIONS)
Package

lisa

Source

pattern.lisp (file)

Function: make-simple-slot-test SLOT
Package

lisa

Source

node-tests.lisp (file)

Function: make-simple-slot-test-aux SLOT-NAME VALUE NEGATED-P
Package

lisa

Source

node-tests.lisp (file)

Function: make-successor NODE CONNECTOR
Package

lisa

Source

successor.lisp (file)

Function: make-terminal-node RULE
Package

lisa

Source

terminal-node.lisp (file)

Function: mark-as-logical-block JOIN-NODE MARKER
Package

lisa

Source

join-node.lisp (file)

Function: merge-networks FROM-RETE TO-RETE
Package

lisa

Source

network-ops.lisp (file)

Function: merge-rule-into-network TO-NETWORK PATTERNS RULE &key LOADER
Package

lisa

Source

rete-compiler.lisp (file)

Function: negated-pattern-p PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: negated-slot-p PATTERN-SLOT
Package

lisa

Source

pattern.lisp (file)

Function: next-context RETE
Package

lisa

Source

rete.lisp (file)

Function: next-fact-id RETE
Package

lisa

Source

rete.lisp (file)

Function: node-pair-child NODE-PAIR
Package

lisa

Source

node-pair.lisp (file)

Function: node-pair-parent NODE-PAIR
Package

lisa

Source

node-pair.lisp (file)

Function: parse-and-insert-deffacts NAME BODY
Package

lisa

Source

fact-parser.lisp (file)

Function: parse-and-insert-instance INSTANCE &key BELIEF
Package

lisa

Source

fact-parser.lisp (file)

Function: parse-and-retract-instance INSTANCE ENGINE
Package

lisa

Source

fact-parser.lisp (file)

Function: parse-exists-pattern PATTERN LOCATION
Package

lisa

Source

rule-parser.lisp (file)

Function: parse-generic-pattern PATTERN LOCATION &optional PATTERN-BINDING
Package

lisa

Source

rule-parser.lisp (file)

Function: parse-not-pattern PATTERN LOCATION
Package

lisa

Source

rule-parser.lisp (file)

Function: parse-one-slot FORM LOCATION

Parses a single raw pattern slot

Package

lisa

Source

rule-parser.lisp (file)

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 (file)

Function: parse-rule-body BODY
Package

lisa

Source

rule-parser.lisp (file)

Function: parse-test-pattern PATTERN LOCATION
Package

lisa

Source

rule-parser.lisp (file)

Function: parsed-pattern-address INSTANCE
Function: (setf parsed-pattern-address) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-binding-set INSTANCE
Function: (setf parsed-pattern-binding-set) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-class INSTANCE
Function: (setf parsed-pattern-class) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-logical INSTANCE
Function: (setf parsed-pattern-logical) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-p OBJECT
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-pattern-binding INSTANCE
Function: (setf parsed-pattern-pattern-binding) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-slots INSTANCE
Function: (setf parsed-pattern-slots) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-sub-patterns INSTANCE
Function: (setf parsed-pattern-sub-patterns) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-test-bindings INSTANCE
Function: (setf parsed-pattern-test-bindings) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-test-forms PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: parsed-pattern-type INSTANCE
Function: (setf parsed-pattern-type) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pass-token NODE TOKEN
Package

lisa

Source

rete-compiler.lisp (file)

Function: pass-token-on-right NODE2 TOKEN
Package

lisa

Source

rete-compiler.lisp (file)

Function: pass-tokens-on-left NODE2 TOKENS
Package

lisa

Source

rete-compiler.lisp (file)

Function: pattern-binding-p BINDING
Package

lisa

Source

binding.lisp (file)

Function: pattern-slot-constraint INSTANCE
Function: (setf pattern-slot-constraint) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-constraint-bindings INSTANCE
Function: (setf pattern-slot-constraint-bindings) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-intra-pattern-bindings INSTANCE
Function: (setf pattern-slot-intra-pattern-bindings) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-name INSTANCE
Function: (setf pattern-slot-name) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-negated INSTANCE
Function: (setf pattern-slot-negated) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-p OBJECT
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-slot-binding INSTANCE
Function: (setf pattern-slot-slot-binding) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: pattern-slot-value INSTANCE
Function: (setf pattern-slot-value) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

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 (file)

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 (file)

Function: pop-context RETE
Package

lisa

Source

rete.lisp (file)

Function: preprocess-left-side LHS
Package

lisa

Source

rule-parser.lisp (file)

Function: push-context RETE CONTEXT
Package

lisa

Source

rete.lisp (file)

Function: quit &optional CODE
Package

lisa.utils

Source

utils.lisp (file)

Function: reconstruct-fact FACT
Package

lisa

Source

fact.lisp (file)

Function: record-node NODE PARENT
Package

lisa

Source

rete-compiler.lisp (file)

Function: redefine-defrule NAME BODY &key SALIENCE CONTEXT BELIEF AUTO-FOCUS
Package

lisa

Source

rule-parser.lisp (file)

Function: redefine-deftemplate CLASS-NAME BODY
Package

lisa

Source

fact-parser.lisp (file)

Function: register-clos-instance RETE INSTANCE FACT
Package

lisa

Source

rete.lisp (file)

Function: register-meta-object RETE KEY META-OBJECT
Package

lisa

Source

rete.lisp (file)

Function: register-new-context RETE CONTEXT
Package

lisa

Source

rete.lisp (file)

Function: remember-fact RETE FACT
Package

lisa

Source

rete.lisp (file)

Function: remember-token MEMORY TOKEN
Package

lisa

Source

join-node.lisp (file)

Function: remove-autofacts RETE
Package

lisa

Source

rete.lisp (file)

Function: remove-fact-from-network RETE-NETWORK FACT
Package

lisa

Source

network-ops.lisp (file)

Function: remove-rule-from-network RETE-NETWORK RULE
Package

lisa

Source

network-ops.lisp (file)

Function: remove-token-from-right-memory JOIN-NODE TOKEN
Package

lisa

Source

join-node.lisp (file)

Function: remove-tokens-from-left-memory JOIN-NODE TOKENS
Package

lisa

Source

join-node.lisp (file)

Function: replicate-token TOKEN &key TOKEN-CLASS
Package

lisa

Source

token.lisp (file)

Function: required-argument ()

A useful default for required arguments and DEFSTRUCT slots.

Package

lisa.utils

Source

utils.lisp (file)

Function: reset-focus-stack RETE
Package

lisa

Source

rete.lisp (file)

Function: reset-network RETE-NETWORK
Package

lisa

Source

network-ops.lisp (file)

Function: rete-fact-count RETE
Package

lisa

Source

rete.lisp (file)

Function: retrieve-contexts RETE
Package

lisa

Source

rete.lisp (file)

Function: right-input ADDRESS
Package

lisa

Source

rete-compiler.lisp (file)

Function: right-memory-count JOIN-NODE
Package

lisa

Source

join-node.lisp (file)

Function: rule-actions-actions INSTANCE
Function: (setf rule-actions-actions) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: rule-actions-bindings INSTANCE
Function: (setf rule-actions-bindings) VALUE INSTANCE
Package

lisa

Source

pattern.lisp (file)

Function: rule-actions-p OBJECT
Package

lisa

Source

pattern.lisp (file)

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 (file)

Function: schedule-dependency-removal DEPENDENCY-SET
Package

lisa

Source

tms-support.lisp (file)

Function: set-initial-state RETE
Package

lisa

Source

rete.lisp (file)

Function: set-leaf-node NODE ADDRESS
Package

lisa

Source

rete-compiler.lisp (file)

Function: set-pattern-binding VAR LOCATION
Package

lisa

Source

rule-parser.lisp (file)

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 (file)

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 (file)

Function: shared-node-all-successors SHARED-NODE
Package

lisa

Source

shared-node.lisp (file)

Function: shared-node-successor-nodes SHARED-NODE
Package

lisa

Source

shared-node.lisp (file)

Function: show-deffacts DEFFACT
Package

lisa

Source

fact-parser.lisp (file)

Function: simple-bound-slot-p PATTERN-SLOT
Package

lisa

Source

pattern.lisp (file)

Function: simple-slot-p PATTERN-SLOT
Package

lisa

Source

pattern.lisp (file)

Function: slot-value-is-atom-p VALUE

Is the slot value a simple constraint?

Package

lisa

Source

rule-parser.lisp (file)

Function: slot-value-is-negated-atom-p VALUE

Is the slot value a simple negated constraint?

Package

lisa

Source

rule-parser.lisp (file)

Function: slot-value-is-negated-variable-p VALUE
Package

lisa

Source

rule-parser.lisp (file)

Function: slot-value-is-variable-p VALUE

Is the slot value a Lisa variable?

Package

lisa

Source

rule-parser.lisp (file)

Function: starting-context RETE
Package

lisa

Source

rete.lisp (file)

Function: successor-connector SUCCESSOR
Package

lisa

Source

successor.lisp (file)

Function: successor-node SUCCESSOR
Package

lisa

Source

successor.lisp (file)

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 (file)

Function: test-pattern-p PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: test-pattern-predicate PATTERN
Package

lisa

Source

pattern.lisp (file)

Function: token-decrement-exists-counter TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-decrement-not-counter TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-fact-count TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-find-fact TOKEN ADDRESS
Package

lisa

Source

token.lisp (file)

Function: token-increment-exists-counter TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-increment-not-counter TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-make-fact-list TOKEN &key DETAILP DEBUGP
Package

lisa

Source

token.lisp (file)

Function: token-negated-p TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-pop-fact TOKEN
Package

lisa

Source

token.lisp (file)

Function: token-push-fact TOKEN FACT
Package

lisa

Source

token.lisp (file)

Function: token-top-fact TOKEN
Package

lisa

Source

token.lisp (file)

Function: unbind-rule-activation RULE TOKENS
Package

lisa

Source

rule.lisp (file)

Function: unwatch-event EVENT
Package

lisa

Source

watches.lisp (file)

Function: variable-p OBJ
Package

lisa

Source

preamble.lisp (file)

Function: watch-activation-detail ACTIVATION DIRECTION
Package

lisa

Source

watches.lisp (file)

Function: watch-assert FACT
Package

lisa

Source

watches.lisp (file)

Function: watch-disable-activation ACTIVATION
Package

lisa

Source

watches.lisp (file)

Function: watch-enable-activation ACTIVATION
Package

lisa

Source

watches.lisp (file)

Function: watch-event EVENT
Package

lisa

Source

watches.lisp (file)

Function: watch-fact-detail FACT DIRECTION
Package

lisa

Source

watches.lisp (file)

Function: watch-retract FACT
Package

lisa

Source

watches.lisp (file)

Function: watch-rule-firing ACTIVATION
Package

lisa

Source

watches.lisp (file)

Function: watches ()
Package

lisa

Source

watches.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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 (file)

Method: accept-token (SELF node1) TOKEN
Source

node1.lisp (file)

Method: accept-token (SELF terminal-node) (TOKEN reset-token)
Source

terminal-node.lisp (file)

Method: accept-token (SELF terminal-node) (TOKENS remove-token)
Source

terminal-node.lisp (file)

Method: accept-token (SELF terminal-node) (TOKENS add-token)
Source

terminal-node.lisp (file)

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 (file)

Method: accept-token-from-right (SELF node2-exists) (RIGHT-TOKEN add-token)
Source

node2-exists.lisp (file)

Method: accept-token-from-right (SELF node2-not) (RIGHT-TOKEN remove-token)
Source

node2-not.lisp (file)

Method: accept-token-from-right (SELF node2-not) (RIGHT-TOKEN add-token)
Source

node2-not.lisp (file)

Method: accept-token-from-right (SELF node2) (RIGHT-TOKEN remove-token)
Source

node2.lisp (file)

Method: accept-token-from-right (SELF node2) (RIGHT-TOKEN add-token)
Source

node2.lisp (file)

Method: accept-token-from-right (SELF join-node) (LEFT-TOKENS reset-token)
Source

join-node.lisp (file)

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 (file)

Method: accept-tokens-from-left (SELF node2-exists) (LEFT-TOKENS add-token)
Source

node2-exists.lisp (file)

Method: accept-tokens-from-left (SELF node2-test) (LEFT-TOKENS remove-token)
Source

node2-test.lisp (file)

Method: accept-tokens-from-left (SELF node2-test) (LEFT-TOKENS add-token)
Source

node2-test.lisp (file)

Method: accept-tokens-from-left (SELF node2-not) (LEFT-TOKENS remove-token)
Source

node2-not.lisp (file)

Method: accept-tokens-from-left (SELF node2-not) (LEFT-TOKENS add-token)
Source

node2-not.lisp (file)

Method: accept-tokens-from-left (SELF node2) (LEFT-TOKENS remove-token)
Source

node2.lisp (file)

Method: accept-tokens-from-left (SELF node2) (LEFT-TOKENS add-token)
Source

node2.lisp (file)

Method: accept-tokens-from-left (SELF join-node) (LEFT-TOKENS reset-token)
Source

join-node.lisp (file)

Generic Function: activation-eligible OBJECT
Generic Function: (setf activation-eligible) NEW-VALUE OBJECT
Package

lisa

Methods
Method: activation-eligible (ACTIVATION activation)

automatically generated reader method

Source

activation.lisp (file)

Method: (setf activation-eligible) NEW-VALUE (ACTIVATION activation)

automatically generated writer method

Source

activation.lisp (file)

Generic Function: activation-priority SELF
Package

lisa

Methods
Method: activation-priority (SELF activation)
Source

activation.lisp (file)

Generic Function: activation-rule OBJECT
Package

lisa

Methods
Method: activation-rule (ACTIVATION activation)

automatically generated reader method

Source

activation.lisp (file)

Generic Function: activation-timestamp OBJECT
Package

lisa

Methods
Method: activation-timestamp (ACTIVATION activation)

automatically generated reader method

Source

activation.lisp (file)

Generic Function: activation-tokens OBJECT
Package

lisa

Methods
Method: activation-tokens (ACTIVATION activation)

automatically generated reader method

Source

activation.lisp (file)

Generic Function: add-activation STRATEGY ACTIVATION
Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Methods
Method: add-activation (SELF rete) ACTIVATION
Source

rete.lisp (file)

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 (file)

Method: add-node-set (PARENT join-node) NODE &optional COUNT-P
Source

network-ops.lisp (file)

Method: add-node-set (PARENT shared-node) NODE &optional COUNT-P
Source

network-ops.lisp (file)

Generic Function: add-successor SELF NEW-NODE CONNECTOR
Package

lisa

Methods
Method: add-successor (PARENT shared-node) NEW-NODE CONNECTOR around
Source

rete-compiler.lisp (file)

Method: add-successor PARENT NEW-NODE CONNECTOR
Source

rete-compiler.lisp (file)

Method: add-successor (SELF join-node) SUCCESSOR-NODE CONNECTOR
Source

join-node.lisp (file)

Method: add-successor (SELF node1) NEW-NODE CONNECTOR
Source

node1.lisp (file)

Method: add-successor (SELF node1) (NEW-NODE node1) CONNECTOR
Source

node1.lisp (file)

Generic Function: adjust-belief RETE FACT BELIEF-FACTOR
Package

lisa

Methods
Method: adjust-belief RETE FACT BELIEF-FACTOR
Source

rete.lisp (file)

Method: adjust-belief RETE FACT (BELIEF-FACTOR number)
Source

rete.lisp (file)

Generic Function: assert-fact SELF FACT &key BELIEF
Package

lisa

Methods
Method: assert-fact (SELF rete) FACT &key BELIEF
Source

rete.lisp (file)

Generic Function: assert-fact-aux SELF FACT
Package

lisa

Methods
Method: assert-fact-aux (SELF rete) FACT
Source

rete.lisp (file)

Generic Function: belief-factor OBJECT
Generic Function: (setf belief-factor) NEW-VALUE OBJECT
Package

lisa

Methods
Method: belief-factor (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Method: belief-factor (FACT fact)

automatically generated reader method

Source

fact.lisp (file)

Method: (setf belief-factor) NEW-VALUE (FACT fact)

automatically generated writer method

Source

fact.lisp (file)

Generic Function: class-matches-p INSTANCE FACT CLASS
Package

lisa

Methods
Method: class-matches-p INSTANCE FACT CLASS
Source

node-tests.lisp (file)

Method: class-matches-p (INSTANCE inference-engine-object) FACT CLASS
Source

node-tests.lisp (file)

Generic Function: clear-memories SELF
Package

lisa

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

join-node.lisp (file)

Generic Function: cls-name CONDITION
Package

lisa

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

conditions.lisp (file)

Generic Function: code-args CONDITION
Package

lisa.utils

Methods
Method: code-args (CONDITION not-implemented)
Source

utils.lisp (file)

Method: code-args (CONDITION code)
Source

utils.lisp (file)

Generic Function: code-mesg CONDITION
Package

lisa.utils

Methods
Method: code-mesg (CONDITION not-implemented)
Source

utils.lisp (file)

Method: code-mesg (CONDITION case-error)
Source

utils.lisp (file)

Method: code-mesg (CONDITION code)
Source

utils.lisp (file)

Generic Function: code-proc CONDITION
Package

lisa.utils

Methods
Method: code-proc (CONDITION code)
Source

utils.lisp (file)

Generic Function: combine-tokens LEFT-TOKENS RIGHT-TOKEN
Package

lisa

Methods
Method: combine-tokens (LEFT-TOKENS token) RIGHT-TOKEN
Source

join-node.lisp (file)

Method: combine-tokens (LEFT-TOKENS token) (RIGHT-TOKEN token)
Source

join-node.lisp (file)

Generic Function: conflict-set SELF
Package

lisa

Methods
Method: conflict-set (SELF rule)
Source

rule.lisp (file)

Method: conflict-set (SELF context)
Source

context.lisp (file)

Generic Function: context-rules OBJECT
Package

lisa

Methods
Method: context-rules (CONTEXT context)

automatically generated reader method

Source

context.lisp (file)

Generic Function: context-strategy OBJECT
Package

lisa

Methods
Method: context-strategy (CONTEXT context)

automatically generated reader method

Source

context.lisp (file)

Generic Function: decrement-use-count SELF
Package

lisa

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

network-ops.lisp (file)

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

network-ops.lisp (file)

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

shared-node.lisp (file)

Generic Function: deffacts-fact-list OBJECT
Package

lisa

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

automatically generated reader method

Source

deffacts.lisp (file)

Generic Function: deffacts-name OBJECT
Package

lisa

Methods
Method: deffacts-name (DEFFACTS deffacts)

automatically generated reader method

Source

deffacts.lisp (file)

Generic Function: disable-activation SELF ACTIVATION
Package

lisa

Methods
Method: disable-activation (SELF rete) ACTIVATION
Source

rete.lisp (file)

Generic Function: duplicate-fact-existing-fact CONDITION
Package

lisa

Methods
Method: duplicate-fact-existing-fact (CONDITION duplicate-fact)
Source

conditions.lisp (file)

Generic Function: equals A B
Package

lisa

Source

preamble.lisp (file)

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

fact.lisp (file)

Generic Function: fact-clos-instance OBJECT
Package

lisa

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

automatically generated reader method

Source

fact.lisp (file)

Generic Function: fact-id-table OBJECT
Generic Function: (setf fact-id-table) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Method: (setf fact-id-table) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: fact-meta-data OBJECT
Package

lisa

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

automatically generated reader method

Source

fact.lisp (file)

Generic Function: fact-shadowsp OBJECT
Package

lisa

Methods
Method: fact-shadowsp (FACT fact)

automatically generated reader method

Source

fact.lisp (file)

Generic Function: fact-slot-table OBJECT
Package

lisa

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

automatically generated reader method

Source

fact.lisp (file)

Generic Function: find-activation STRATEGY RULE TOKEN
Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Methods
Method: find-activation (SELF builtin-strategy) RULE TOKEN
Generic Function: find-all-activations STRATEGY RULE
Package

lisa

Source

conflict-resolution-strategies.lisp (file)

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 (file)

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

network-ops.lisp (file)

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 (file)

Method: find-rule-in-context (SELF context) (RULE-NAME string)
Source

context.lisp (file)

Generic Function: fire-activation SELF
Package

lisa

Methods
Method: fire-activation (SELF activation)
Source

activation.lisp (file)

Generic Function: fire-rule SELF TOKENS
Package

lisa

Methods
Method: fire-rule (SELF rule) TOKENS
Source

rule.lisp (file)

Generic Function: forget-rule SELF RULE-NAME
Package

lisa

Methods
Method: forget-rule (SELF rete) (RULE-NAME string)
Source

rete.lisp (file)

Method: forget-rule (SELF rete) (RULE rule)
Source

rete.lisp (file)

Method: forget-rule (SELF rete) (RULE-NAME symbol)
Source

rete.lisp (file)

Generic Function: get-all-activations SELF
Package

lisa

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

conflict-resolution-strategies.lisp (file)

Generic Function: get-next-activation SELF
Package

lisa

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

conflict-resolution-strategies.lisp (file)

Generic Function: get-slot-value SELF SLOT-NAME
Package

lisa

Methods
Method: get-slot-value (SELF fact) (SLOT-NAME (eql object))
Source

fact.lisp (file)

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 (file)

Generic Function: hash-key SELF
Package

lisa

Methods
Method: hash-key (SELF token)
Source

token.lisp (file)

Method: hash-key (SELF activation)
Source

activation.lisp (file)

Method: hash-key (SELF fact)
Source

fact.lisp (file)

Generic Function: heap OBJECT
Package

lisa

Methods
Method: heap (PRIORITY-QUEUE-MIXIN priority-queue-mixin)

automatically generated reader method

Source

conflict-resolution-strategies.lisp (file)

Generic Function: increment-use-count SELF
Package

lisa

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

shared-node.lisp (file)

Generic Function: insert-activation SELF ACTIVATION
Package

lisa

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

conflict-resolution-strategies.lisp (file)

Generic Function: join-node-add-test SELF TEST
Package

lisa

Methods
Method: join-node-add-test (SELF join-node) TEST
Source

join-node.lisp (file)

Generic Function: join-node-left-memory OBJECT
Package

lisa

Methods
Method: join-node-left-memory (JOIN-NODE join-node)

automatically generated reader method

Source

join-node.lisp (file)

Generic Function: join-node-logical-block OBJECT
Package

lisa

Methods
Method: join-node-logical-block (JOIN-NODE join-node)

automatically generated reader method

Source

join-node.lisp (file)

Generic Function: join-node-right-memory OBJECT
Package

lisa

Methods
Method: join-node-right-memory (JOIN-NODE join-node)

automatically generated reader method

Source

join-node.lisp (file)

Generic Function: join-node-successor OBJECT
Generic Function: (setf join-node-successor) NEW-VALUE OBJECT
Package

lisa

Methods
Method: join-node-successor (JOIN-NODE join-node)

automatically generated reader method

Source

join-node.lisp (file)

Method: (setf join-node-successor) NEW-VALUE (JOIN-NODE join-node)

automatically generated writer method

Source

join-node.lisp (file)

Generic Function: join-node-tests OBJECT
Generic Function: (setf join-node-tests) NEW-VALUE OBJECT
Package

lisa

Methods
Method: join-node-tests (JOIN-NODE join-node)

automatically generated reader method

Source

join-node.lisp (file)

Method: (setf join-node-tests) NEW-VALUE (JOIN-NODE join-node)

automatically generated writer method

Source

join-node.lisp (file)

Generic Function: list-activations STRATEGY
Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Methods
Method: list-activations (SELF builtin-strategy)
Generic Function: location CONDITION
Package

lisa

Methods
Method: location (CONDITION parsing-error)
Source

conditions.lisp (file)

Generic Function: lookup-activation SELF RULE TOKENS
Package

lisa

Methods
Method: lookup-activation (SELF priority-queue-mixin) RULE TOKENS
Source

conflict-resolution-strategies.lisp (file)

Generic Function: lookup-activations SELF RULE
Package

lisa

Methods
Method: lookup-activations (SELF priority-queue-mixin) RULE
Source

conflict-resolution-strategies.lisp (file)

Generic Function: make-add-token FACT
Package

lisa

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

token.lisp (file)

Generic Function: make-remove-token FACT
Package

lisa

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

token.lisp (file)

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

token.lisp (file)

Generic Function: make-reset-token FACT
Package

lisa

Methods
Method: make-reset-token FACT
Source

token.lisp (file)

Generic Function: make-rete-network &rest ARGS &key &allow-other-keys
Package

lisa

Source

preamble.lisp (file)

Methods
Method: make-rete-network &rest ARGS &key &allow-other-keys
Source

rete-compiler.lisp (file)

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 (file)

Generic Function: modify-fact SELF FACT &rest SLOT-CHANGES
Package

lisa

Methods
Method: modify-fact (SELF rete) FACT &rest SLOT-CHANGES
Source

rete.lisp (file)

Generic Function: next-activation STRATEGY
Package

lisa

Source

conflict-resolution-strategies.lisp (file)

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 (file)

Generic Function: node-test-cache OBJECT
Package

lisa

Methods
Method: node-test-cache (RETE-NETWORK rete-network)

automatically generated reader method

Source

rete-compiler.lisp (file)

Generic Function: node-use-count SELF
Package

lisa

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

shared-node.lisp (file)

Generic Function: node1-test OBJECT
Package

lisa

Methods
Method: node1-test (NODE1 node1)

automatically generated reader method

Source

node1.lisp (file)

Generic Function: pass-token-to-successors SELF TOKEN
Package

lisa

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

shared-node.lisp (file)

Generic Function: pass-tokens-to-successor SELF LEFT-TOKENS
Package

lisa

Methods
Method: pass-tokens-to-successor (SELF join-node) (LEFT-TOKENS remove-token) before
Source

tms.lisp (file)

Method: pass-tokens-to-successor (SELF join-node) LEFT-TOKENS
Source

join-node.lisp (file)

Generic Function: recalculate-cf OBJECTS RULE-CF OLD-CF
Package

lisa.belief

Source

certainty-factors.lisp (file)

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 (file)

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 (file)

Method: remove-node-from-parent (SELF rete-network) PARENT CHILD
Source

rete-compiler.lisp (file)

Generic Function: remove-rule-from-context SELF RULE-NAME
Package

lisa

Methods
Method: remove-rule-from-context (SELF context) RULE
Source

context.lisp (file)

Method: remove-rule-from-context (SELF context) (RULE-NAME symbol)
Source

context.lisp (file)

Generic Function: remove-successor SELF SUCCESSOR-NODE
Package

lisa

Methods
Method: remove-successor (SELF node1) SUCCESSOR-NODE
Source

node1.lisp (file)

Generic Function: reset-activations SELF
Package

lisa

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

conflict-resolution-strategies.lisp (file)

Generic Function: reset-engine SELF
Package

lisa

Methods
Method: reset-engine (SELF rete)
Source

rete.lisp (file)

Generic Function: rete-autofacts OBJECT
Generic Function: (setf rete-autofacts) NEW-VALUE OBJECT
Package

lisa

Methods
Method: rete-autofacts (RETE rete)

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-autofacts) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-contexts OBJECT
Package

lisa

Methods
Method: rete-contexts (RETE rete)

automatically generated reader method

Source

rete.lisp (file)

Generic Function: rete-dependency-table OBJECT
Generic Function: (setf rete-dependency-table) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-dependency-table) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-fact-table OBJECT
Generic Function: (setf rete-fact-table) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-fact-table) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-firing-count OBJECT
Generic Function: (setf rete-firing-count) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-firing-count) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-focus-stack OBJECT
Generic Function: (setf rete-focus-stack) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-focus-stack) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-halted OBJECT
Generic Function: (setf rete-halted) NEW-VALUE OBJECT
Package

lisa

Methods
Method: rete-halted (RETE rete)

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-halted) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-instance-table OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Generic Function: rete-meta-data OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Generic Function: rete-next-fact-id OBJECT
Generic Function: (setf rete-next-fact-id) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

rete.lisp (file)

Method: (setf rete-next-fact-id) NEW-VALUE (RETE rete)

automatically generated writer method

Source

rete.lisp (file)

Generic Function: rete-roots OBJECT
Package

lisa

Methods
Method: rete-roots (RETE-NETWORK rete-network)

automatically generated reader method

Source

rete-compiler.lisp (file)

Generic Function: retract-fact SELF FACT
Package

lisa

Methods
Method: retract-fact (SELF rete) (FACT-ID integer)
Source

rete.lisp (file)

Method: retract-fact (SELF rete) (INSTANCE standard-object)
Source

rete.lisp (file)

Method: retract-fact (SELF rete) (FACT fact)
Source

rete.lisp (file)

Generic Function: rule-actions OBJECT
Package

lisa

Methods
Method: rule-actions (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-activations OBJECT
Generic Function: (setf rule-activations) NEW-VALUE OBJECT
Package

lisa

Methods
Method: rule-activations (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Method: (setf rule-activations) NEW-VALUE (RULE rule)

automatically generated writer method

Source

rule.lisp (file)

Generic Function: rule-active-dependencies OBJECT
Package

lisa

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

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-auto-focus OBJECT
Package

lisa

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

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-behavior OBJECT
Generic Function: (setf rule-behavior) NEW-VALUE OBJECT
Package

lisa

Methods
Method: rule-behavior (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Method: (setf rule-behavior) NEW-VALUE (RULE rule)

automatically generated writer method

Source

rule.lisp (file)

Generic Function: rule-binding-set OBJECT
Package

lisa

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

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-engine OBJECT
Package

lisa

Methods
Method: rule-engine (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-logical-marker OBJECT
Package

lisa

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

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-node-list OBJECT
Package

lisa

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

automatically generated reader method

Source

rule.lisp (file)

Generic Function: rule-patterns OBJECT
Package

lisa

Methods
Method: rule-patterns (RULE rule)

automatically generated reader method

Source

rule.lisp (file)

Generic Function: run-engine SELF &optional STEP
Package

lisa

Methods
Method: run-engine (SELF rete) &optional STEP
Source

rete.lisp (file)

Generic Function: shared-node-refcnt OBJECT
Generic Function: (setf shared-node-refcnt) NEW-VALUE OBJECT
Package

lisa

Methods
Method: shared-node-refcnt (SHARED-NODE shared-node)

automatically generated reader method

Source

shared-node.lisp (file)

Method: (setf shared-node-refcnt) NEW-VALUE (SHARED-NODE shared-node)

automatically generated writer method

Source

shared-node.lisp (file)

Generic Function: shared-node-successors OBJECT
Package

lisa

Methods
Method: shared-node-successors (SHARED-NODE shared-node)

automatically generated reader method

Source

shared-node.lisp (file)

Generic Function: slot-name CONDITION
Package

lisa

Methods
Method: slot-name (CONDITION slot-parsing-error)
Source

conditions.lisp (file)

Generic Function: terminal-node-rule OBJECT
Package

lisa

Methods
Method: terminal-node-rule (TERMINAL-NODE terminal-node)

automatically generated reader method

Source

terminal-node.lisp (file)

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 (file)

Method: test-against-left-memory (SELF node2-exists) (RIGHT-TOKEN add-token)
Source

node2-exists.lisp (file)

Method: test-against-left-memory (SELF node2-not) (RIGHT-TOKEN remove-token)
Source

node2-not.lisp (file)

Method: test-against-left-memory (SELF node2-not) (RIGHT-TOKEN add-token)
Source

node2-not.lisp (file)

Method: test-against-left-memory (SELF node2) (RIGHT-TOKEN remove-token)
Source

node2.lisp (file)

Method: test-against-left-memory (SELF node2) (RIGHT-TOKEN add-token)
Source

node2.lisp (file)

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 (file)

Method: test-against-right-memory (SELF node2-exists) (LEFT-TOKENS add-token)
Source

node2-exists.lisp (file)

Method: test-against-right-memory (SELF node2-not) LEFT-TOKENS
Source

node2-not.lisp (file)

Method: test-against-right-memory (SELF node2) LEFT-TOKENS
Source

node2.lisp (file)

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 (file)

Generic Function: text CONDITION
Package

lisa

Methods
Method: text (CONDITION parsing-error)
Source

conditions.lisp (file)

Generic Function: token-contents OBJECT
Package

lisa

Methods
Method: token-contents (TOKEN token)

automatically generated reader method

Source

token.lisp (file)

Generic Function: token-exists-counter OBJECT
Generic Function: (setf token-exists-counter) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

token.lisp (file)

Method: (setf token-exists-counter) NEW-VALUE (TOKEN token)

automatically generated writer method

Source

token.lisp (file)

Generic Function: token-facts OBJECT
Generic Function: (setf token-facts) NEW-VALUE OBJECT
Package

lisa

Methods
Method: token-facts (TOKEN token)

automatically generated reader method

Source

token.lisp (file)

Method: (setf token-facts) NEW-VALUE (TOKEN token)

automatically generated writer method

Source

token.lisp (file)

Generic Function: token-hash-code OBJECT
Generic Function: (setf token-hash-code) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

token.lisp (file)

Method: (setf token-hash-code) NEW-VALUE (TOKEN token)

automatically generated writer method

Source

token.lisp (file)

Generic Function: token-not-counter OBJECT
Generic Function: (setf token-not-counter) NEW-VALUE OBJECT
Package

lisa

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

automatically generated reader method

Source

token.lisp (file)

Method: (setf token-not-counter) NEW-VALUE (TOKEN token)

automatically generated writer method

Source

token.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

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 (file)

Direct superclasses

code (condition)

Direct methods

code-mesg (method)

Direct slots
Slot: mesg
Initargs

:mesg

Initform

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

Readers

code-mesg (generic function)

Condition: class-parsing-error ()
Package

lisa

Source

conditions.lisp (file)

Direct superclasses

parsing-error (condition)

Direct methods

cls-name (method)

Direct slots
Slot: cls-name
Initargs

:cls-name

Initform

(quote nil)

Readers

cls-name (generic function)

Condition: code ()

An error in the user code.

Package

lisa.utils

Source

utils.lisp (file)

Direct superclasses

error (condition)

Direct subclasses
Direct methods
Direct slots
Slot: proc
Initargs

:proc

Readers

code-proc (generic function)

Slot: mesg
Initargs

:mesg

Readers

code-mesg (generic function)

Slot: args
Initargs

:args

Readers

code-args (generic function)

Condition: not-implemented ()

Your implementation does not support this functionality.

Package

lisa.utils

Source

utils.lisp (file)

Direct superclasses

code (condition)

Direct methods
Direct slots
Slot: mesg
Initargs

:mesg

Initform

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

Readers

code-mesg (generic function)

Slot: args
Initargs

:args

Initform

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

Readers

code-args (generic function)

Condition: parsing-error ()
Package

lisa

Source

conditions.lisp (file)

Direct superclasses

error (condition)

Direct subclasses
Direct methods
Direct slots
Slot: text
Initargs

:text

Initform

(quote nil)

Readers

text (generic function)

Slot: location
Initargs

:location

Initform

(quote nil)

Readers

location (generic function)

Condition: rule-parsing-error ()
Package

lisa

Source

conditions.lisp (file)

Direct superclasses

parsing-error (condition)

Direct methods

rule-name (method)

Direct slots
Slot: rule-name
Initargs

:rule-name

Initform

(quote nil)

Readers

rule-name (generic function)

Condition: slot-parsing-error ()
Package

lisa

Source

conditions.lisp (file)

Direct superclasses

parsing-error (condition)

Direct methods

slot-name (method)

Direct slots
Slot: slot-name
Initargs

:slot-name

Initform

(quote nil)

Readers

slot-name (generic function)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.8 Structures

Structure: fact-meta-object ()
Package

lisa

Source

rete.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: class-name
Type

symbol

Readers

fact-meta-object-class-name (function)

Writers

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

Slot: slot-list
Type

list

Readers

fact-meta-object-slot-list (function)

Writers

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

Slot: superclasses
Type

list

Readers

fact-meta-object-superclasses (function)

Writers

(setf fact-meta-object-superclasses) (function)

Structure: heap ()
Package

lisa.heap

Source

heap.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: less-fn
Readers

heap-less-fn (function)

Writers

(setf heap-less-fn) (function)

Slot: order
Readers

heap-order (function)

Writers

(setf heap-order) (function)

Slot: a
Readers

heap-a (function)

Writers

(setf heap-a) (function)

Slot: max-count
Readers

heap-max-count (function)

Writers

(setf heap-max-count) (function)

Structure: parsed-pattern ()

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

Package

lisa

Source

pattern.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: class
Type

symbol

Readers

parsed-pattern-class (function)

Writers

(setf parsed-pattern-class) (function)

Slot: slots
Readers

parsed-pattern-slots (function)

Writers

(setf parsed-pattern-slots) (function)

Slot: address
Type

integer

Initform

0

Readers

parsed-pattern-address (function)

Writers

(setf parsed-pattern-address) (function)

Slot: pattern-binding
Readers

parsed-pattern-pattern-binding (function)

Writers

(setf parsed-pattern-pattern-binding) (function)

Slot: test-bindings
Type

list

Readers

parsed-pattern-test-bindings (function)

Writers

(setf parsed-pattern-test-bindings) (function)

Slot: binding-set
Type

list

Readers

parsed-pattern-binding-set (function)

Writers

(setf parsed-pattern-binding-set) (function)

Slot: logical
Type

symbol

Readers

parsed-pattern-logical (function)

Writers

(setf parsed-pattern-logical) (function)

Slot: sub-patterns
Type

list

Readers

parsed-pattern-sub-patterns (function)

Writers

(setf parsed-pattern-sub-patterns) (function)

Slot: type
Type

symbol

Initform

:generic

Readers

parsed-pattern-type (function)

Writers

(setf parsed-pattern-type) (function)

Structure: pattern-slot ()

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

Package

lisa

Source

pattern.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: name
Type

symbol

Readers

pattern-slot-name (function)

Writers

(setf pattern-slot-name) (function)

Slot: value
Readers

pattern-slot-value (function)

Writers

(setf pattern-slot-value) (function)

Slot: slot-binding
Type

list

Readers

pattern-slot-slot-binding (function)

Writers

(setf pattern-slot-slot-binding) (function)

Slot: negated
Type

symbol

Readers

pattern-slot-negated (function)

Writers

(setf pattern-slot-negated) (function)

Slot: intra-pattern-bindings
Type

symbol

Readers

pattern-slot-intra-pattern-bindings (function)

Writers

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

Slot: constraint
Readers

pattern-slot-constraint (function)

Writers

(setf pattern-slot-constraint) (function)

Slot: constraint-bindings
Type

list

Readers

pattern-slot-constraint-bindings (function)

Writers

(setf pattern-slot-constraint-bindings) (function)

Structure: rule-actions ()
Package

lisa

Source

pattern.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots
Slot: bindings
Type

list

Readers

rule-actions-bindings (function)

Writers

(setf rule-actions-bindings) (function)

Slot: actions
Type

list

Readers

rule-actions-actions (function)

Writers

(setf rule-actions-actions) (function)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

6.2.9 Classes

Class: add-token ()
Package

lisa

Source

token.lisp (file)

Direct superclasses

token (class)

Direct methods
Class: breadth-first-strategy ()

A breadth-first conflict resolution strategy.

Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Direct superclasses

builtin-strategy (class)

Class: builtin-strategy ()

A base class for all LISA builtin conflict resolution strategies.

Package

lisa

Source

conflict-resolution-strategies.lisp (file)

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

A depth-first conflict resolution strategy.

Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Direct superclasses

builtin-strategy (class)

Class: inference-engine-object ()
Package

lisa

Source

preamble.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods

class-matches-p (method)

Class: join-node ()
Package

lisa

Source

join-node.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses
Direct methods
Direct slots
Slot: successor
Readers

join-node-successor (generic function)

Writers

(setf join-node-successor) (generic function)

Slot: logical-block
Readers

join-node-logical-block (generic function)

Slot: tests
Initform

(list)

Readers

join-node-tests (generic function)

Writers

(setf join-node-tests) (generic function)

Slot: left-memory
Initform

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

Readers

join-node-left-memory (generic function)

Slot: right-memory
Initform

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

Readers

join-node-right-memory (generic function)

Class: node1 ()
Package

lisa

Source

node1.lisp (file)

Direct superclasses

shared-node (class)

Direct methods
Direct slots
Slot: test
Initargs

:test

Readers

node1-test (generic function)

Class: node2 ()
Package

lisa

Source

node2.lisp (file)

Direct superclasses

join-node (class)

Direct methods
Class: node2-exists ()
Package

lisa

Source

node2-exists.lisp (file)

Direct superclasses

join-node (class)

Direct methods
Class: node2-not ()
Package

lisa

Source

node2-not.lisp (file)

Direct superclasses

join-node (class)

Direct methods
Class: node2-test ()
Package

lisa

Source

node2-test.lisp (file)

Direct superclasses

join-node (class)

Direct methods
Class: priority-queue-mixin ()
Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

builtin-strategy (class)

Direct methods
Direct slots
Slot: heap
Initargs

:heap

Readers

heap (generic function)

Class: query-fact ()
Package

lisa

Source

epilogue.lisp (file)

Direct superclasses

inference-engine-object (class)

Class: remove-token ()
Package

lisa

Source

token.lisp (file)

Direct superclasses

token (class)

Direct methods
Class: reset-token ()
Package

lisa

Source

token.lisp (file)

Direct superclasses

token (class)

Direct methods
Class: shared-node ()
Package

lisa

Source

shared-node.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

node1 (class)

Direct methods
Direct slots
Slot: successors
Initform

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

Readers

shared-node-successors (generic function)

Slot: refcnt
Initform

0

Readers

shared-node-refcnt (generic function)

Writers

(setf shared-node-refcnt) (generic function)

Class: strategy ()

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

Package

lisa

Source

conflict-resolution-strategies.lisp (file)

Direct superclasses

standard-object (class)

Direct subclasses

builtin-strategy (class)

Class: terminal-node ()
Package

lisa

Source

terminal-node.lisp (file)

Direct superclasses

standard-object (class)

Direct methods
Direct slots
Slot: rule
Initargs

:rule

Readers

terminal-node-rule (generic function)


Previous: , Up: Internal definitions   [Contents][Index]

6.2.10 Types

Type: certainty-factor ()
Package

lisa.belief

Source

certainty-factors.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   L   M  
Index Entry  Section

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

L
lisa.asd: The lisa<dot>asd file
lisa/src: The lisa/src module
lisa/src/belief-systems: The lisa/src/belief-systems module
lisa/src/belief-systems/belief.lisp: The lisa/src/belief-systems/belief<dot>lisp file
lisa/src/belief-systems/certainty-factors.lisp: The lisa/src/belief-systems/certainty-factors<dot>lisp file
lisa/src/config: The lisa/src/config module
lisa/src/config/config.lisp: The lisa/src/config/config<dot>lisp file
lisa/src/config/epilogue.lisp: The lisa/src/config/epilogue<dot>lisp file
lisa/src/core: The lisa/src/core module
lisa/src/core/activation.lisp: The lisa/src/core/activation<dot>lisp file
lisa/src/core/belief-interface.lisp: The lisa/src/core/belief-interface<dot>lisp file
lisa/src/core/binding.lisp: The lisa/src/core/binding<dot>lisp file
lisa/src/core/conditions.lisp: The lisa/src/core/conditions<dot>lisp file
lisa/src/core/conflict-resolution-strategies.lisp: The lisa/src/core/conflict-resolution-strategies<dot>lisp file
lisa/src/core/context.lisp: The lisa/src/core/context<dot>lisp file
lisa/src/core/deffacts.lisp: The lisa/src/core/deffacts<dot>lisp file
lisa/src/core/fact-parser.lisp: The lisa/src/core/fact-parser<dot>lisp file
lisa/src/core/fact.lisp: The lisa/src/core/fact<dot>lisp file
lisa/src/core/heap.lisp: The lisa/src/core/heap<dot>lisp file
lisa/src/core/language.lisp: The lisa/src/core/language<dot>lisp file
lisa/src/core/meta.lisp: The lisa/src/core/meta<dot>lisp file
lisa/src/core/pattern.lisp: The lisa/src/core/pattern<dot>lisp file
lisa/src/core/preamble.lisp: The lisa/src/core/preamble<dot>lisp file
lisa/src/core/rete.lisp: The lisa/src/core/rete<dot>lisp file
lisa/src/core/retrieve.lisp: The lisa/src/core/retrieve<dot>lisp file
lisa/src/core/rule-parser.lisp: The lisa/src/core/rule-parser<dot>lisp file
lisa/src/core/rule.lisp: The lisa/src/core/rule<dot>lisp file
lisa/src/core/tms-support.lisp: The lisa/src/core/tms-support<dot>lisp file
lisa/src/core/token.lisp: The lisa/src/core/token<dot>lisp file