The lisa Reference Manual

Table of Contents

The lisa Reference Manual

This is the lisa Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Wed Oct 13 11:25:48 2021 GMT+0.

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) ...

2 Systems

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

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)

3 Modules

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

3.1 lisa/src

Parent

lisa (system)

Location

src/

Components

• packages (module)
• utils (module)
• belief-systems (module)
• reflect (module)
• core (module)
• implementations (module)
• rete (module)
• config (module)

3.2 lisa/src/packages

Parent

src (module)

Location

src/packages/

Component

pkgdecl.lisp (file)

3.3 lisa/src/utils

Dependency

packages (module)

Parent

src (module)

Location

src/utils/

Components

• compose.lisp (file)
• utils.lisp (file)

3.4 lisa/src/belief-systems

Dependency

utils (module)

Parent

src (module)

Location

src/belief-systems/

Components

• belief.lisp (file)
• certainty-factors.lisp (file)

3.5 lisa/src/reflect

Dependency

belief-systems (module)

Parent

src (module)

Location

src/reflect/

Component

reflect.lisp (file)

3.6 lisa/src/core

Dependency

reflect (module)

Parent

src (module)

Location

src/core/

Components

• preamble.lisp (file)
• conditions.lisp (file)
• deffacts.lisp (file)
• fact.lisp (file)
• watches.lisp (file)
• activation.lisp (file)
• heap.lisp (file)
• conflict-resolution-strategies.lisp (file)
• context.lisp (file)
• rule.lisp (file)
• pattern.lisp (file)
• rule-parser.lisp (file)
• fact-parser.lisp (file)
• language.lisp (file)
• tms-support.lisp (file)
• rete.lisp (file)
• belief-interface.lisp (file)
• meta.lisp (file)
• binding.lisp (file)
• token.lisp (file)
• retrieve.lisp (file)

3.7 lisa/src/implementations

Dependency

core (module)

Parent

src (module)

Location

src/implementations/

Component

workarounds.lisp (file)

3.8 lisa/src/rete

Dependency

implementations (module)

Parent

src (module)

Location

src/rete/reference/

Components

• node-tests.lisp (file)
• shared-node.lisp (file)
• successor.lisp (file)
• node-pair.lisp (file)
• terminal-node.lisp (file)
• node1.lisp (file)
• join-node.lisp (file)
• node2.lisp (file)
• node2-not.lisp (file)
• node2-test.lisp (file)
• node2-exists.lisp (file)
• rete-compiler.lisp (file)
• tms.lisp (file)
• network-ops.lisp (file)
• network-crawler.lisp (file)

3.9 lisa/src/config

Dependency

rete (module)

Parent

src (module)

Location

src/config/

Components

• config.lisp (file)
• epilogue.lisp (file)

4 Files

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

4.1 Lisp

4.1.1 lisa.asd

Location

lisa.asd

Systems

lisa (system)

Packages

lisa-system

Internal Definitions

• *lisa-root-pathname* (special variable)
• lisa-debugger (function)
• make-lisa-path (function)

4.1.2 lisa/src/packages/pkgdecl.lisp

Parent

packages (module)

Location

src/packages/pkgdecl.lisp

Packages

• lisa.utils
• lisa.reflect
• lisa
• lisa.belief
• lisa.heap
• lisa-user

4.1.3 lisa/src/utils/compose.lisp

Parent

utils (module)

Location

src/utils/compose.lisp

Internal Definitions

• build-lambda-expression (function)
• compile-function (macro)

4.1.4 lisa/src/utils/utils.lisp

Dependency

compose.lisp (file)

Parent

utils (module)

Location

src/utils/utils.lisp

Exported Definitions

• collect (function)
• compose (macro)
• find-after (function)
• find-before (function)
• find-if-after (function)
• flatten (function)
• lsthash (function)
• map-in (macro)
• string-tokens (function)

Internal Definitions

• +eof+ (special variable)
• case-error (condition)
• code (condition)
• code-args (method)
• code-args (method)
• code-mesg (method)
• code-mesg (method)
• code-mesg (method)
• code-proc (method)
• defconst (macro)
• defcustom (macro)
• defsubst (macro)
• eof-p (function)
• gc (function)
• mk-arr (macro)
• not-implemented (condition)
• quit (function)
• required-argument (function)
• with-gensyms (macro)

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

Parent

belief-systems (module)

Location

src/belief-systems/belief.lisp

Exported Definitions

• adjust-belief (generic function)
• belief->english (generic function)
• belief-factor (generic function)

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

• adjust-belief (method)
• adjust-belief (method)
• belief->english (method)
• false-p (function)
• true-p (function)
• unknown-p (function)

Internal Definitions

• +false+ (constant)
• +true+ (constant)
• +unknown+ (constant)
• certainty-factor (type)
• certainty-factor-p (function)
• cf->english (function)
• cf-combine (function)
• conjunct-cf (function)
• recalculate-cf (generic function)
• recalculate-cf (method)
• recalculate-cf (method)
• recalculate-cf (method)

4.1.7 lisa/src/reflect/reflect.lisp

Parent

reflect (module)

Location

src/reflect/reflect.lisp

Exported Definitions

• class-all-superclasses (function)
• class-slot-list (function)
• find-direct-superclasses (function)

Internal Definitions

• class-slot-initargs (function)
• is-standard-classp (function)

4.1.8 lisa/src/core/preamble.lisp

Parent

core (module)

Location

src/core/preamble.lisp

Exported Definitions

• active-rule (function)
• allow-duplicate-facts (function)
• (setf allow-duplicate-facts) (setf expander)
• consider-taxonomy (function)
• (setf consider-taxonomy) (setf expander)
• current-engine (function)
• in-rule-firing-p (function)
• inference-engine (function)
• slot-value-of-instance (generic function)
• (setf slot-value-of-instance) (generic function)
• use-default-engine (function)
• use-fancy-assert (function)
• (setf use-fancy-assert) (setf expander)
• with-inference-engine (macro)

Internal Definitions

• *active-context* (special variable)
• *active-engine* (special variable)
• *active-rule* (special variable)
• *active-tokens* (special variable)
• *allow-duplicate-facts* (special variable)
• *clear-handlers* (special variable)
• *consider-taxonomy-when-reasoning* (special variable)
• *ignore-this-instance* (special variable)
• *use-fancy-assert* (special variable)
• active-context (function)
• active-engine (function)
• active-tokens (function)
• clear-environment-handlers (function)
• clear-system-environment (function)
• constraintp (macro)
• equals (generic function)
• inference-engine-object (class)
• literalp (macro)
• make-default-inference-engine (function)
• make-rete-network (generic function)
• multifieldp (macro)
• quotablep (macro)
• register-clear-handler (macro)
• slot-valuep (macro)
• starts-with-? (macro)
• variable-p (function)
• variablep (macro)
• with-auto-notify (macro)

4.1.9 lisa/src/core/conditions.lisp

Dependency

preamble.lisp (file)

Parent

core (module)

Location

src/core/conditions.lisp

Exported Definitions

• duplicate-fact (condition)
• rule-name (method)

Internal Definitions

• class-parsing-error (condition)
• cls-name (method)
• duplicate-fact-existing-fact (method)
• location (method)
• parsing-error (condition)
• rule-parsing-error (condition)
• slot-name (method)
• slot-parsing-error (condition)
• text (method)

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

• deffacts-fact-list (method)
• deffacts-name (method)
• make-deffacts (function)

4.1.11 lisa/src/core/fact.lisp

Dependency

deffacts.lisp (file)

Parent

core (module)

Location

src/core/fact.lisp

Exported Definitions

• fact (class)
• fact-id (method)
• (setf fact-id) (method)
• fact-name (method)
• slot-value-of-instance (method)
• (setf slot-value-of-instance) (method)

Internal Definitions

• belief-factor (method)
• (setf belief-factor) (method)
• equals (method)
• fact-clos-instance (method)
• fact-meta-data (method)
• fact-shadowsp (method)
• fact-slot-table (method)
• fact-symbolic-id (function)
• find-instance-of-fact (function)
• get-slot-value (method)
• get-slot-value (method)
• get-slot-values (function)
• has-superclass (function)
• hash-key (method)
• initialize-fact-from-instance (function)
• initialize-fact-from-template (function)
• initialize-slot-value (function)
• make-fact (function)
• make-fact-from-instance (function)
• make-fact-from-template (function)
• reconstruct-fact (function)
• set-slot-from-instance (function)
• set-slot-value (function)
• synchronize-with-instance (function)

4.1.12 lisa/src/core/watches.lisp

Dependency

fact.lisp (file)

Parent

core (module)

Location

src/core/watches.lisp

Internal Definitions

• *assert-fact* (special variable)
• *disable-activation* (special variable)
• *enable-activation* (special variable)
• *fire-rule* (special variable)
• *retract-fact* (special variable)
• *watches* (special variable)
• trace-assert (macro)
• trace-disable-activation (macro)
• trace-enable-activation (macro)
• trace-firing (macro)
• trace-retract (macro)
• unwatch-event (function)
• watch-activation-detail (function)
• watch-assert (function)
• watch-disable-activation (function)
• watch-enable-activation (function)
• watch-event (function)
• watch-fact-detail (function)
• watch-retract (function)
• watch-rule-firing (function)
• watches (function)

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

• *activation-timestamp* (special variable)
• activation-eligible (method)
• (setf activation-eligible) (method)
• activation-fact-list (function)
• activation-priority (method)
• activation-rule (method)
• activation-timestamp (method)
• activation-tokens (method)
• eligible-p (function)
• fire-activation (method)
• hash-key (method)
• inactive-p (function)
• make-activation (function)

4.1.14 lisa/src/core/heap.lisp

Dependency

activation.lisp (file)

Parent

core (module)

Location

src/core/heap.lisp

Exported Definitions

• create-heap (function)
• heap-clear (function)
• heap-collect (function)
• heap-count (function)
• heap-empty-p (function)
• heap-find (function)
• heap-insert (function)
• heap-peek (function)
• heap-remove (function)

Internal Definitions

• *heap* (special variable)
• copy-heap (function)
• default-search-predicate (function)
• heap (structure)
• heap-a (function)
• (setf heap-a) (function)
• heap-find-idx (function)
• heap-init (function)
• heap-less-fn (function)
• (setf heap-less-fn) (function)
• heap-max-count (function)
• (setf heap-max-count) (function)
• heap-order (function)
• (setf heap-order) (function)
• heap-p (function)
• lesser-child (function)
• make-heap (function)
• percolate-down (function)
• percolate-up (function)

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

• add-activation (generic function)
• add-activation (method)
• breadth-first-strategy (class)
• builtin-strategy (class)
• depth-first-strategy (class)
• find-activation (generic function)
• find-activation (method)
• find-all-activations (generic function)
• find-all-activations (method)
• get-all-activations (method)
• get-next-activation (method)
• heap (method)
• insert-activation (method)
• list-activations (generic function)
• list-activations (method)
• lookup-activation (method)
• lookup-activations (method)
• make-breadth-first-strategy (function)
• make-depth-first-strategy (function)
• next-activation (generic function)
• next-activation (method)
• priority-queue-mixin (class)
• remove-activations (generic function)
• remove-activations (method)
• reset-activations (method)
• strategy (class)

4.1.16 lisa/src/core/context.lisp

Dependency

conflict-resolution-strategies.lisp (file)

Parent

core (module)

Location

src/core/context.lisp

Exported Definitions

• context (class)
• context-name (method)

Internal Definitions

• add-rule-to-context (function)
• clear-activations (function)
• clear-context (function)
• conflict-set (method)
• context-activation-list (function)
• context-rule-list (function)
• context-rules (method)
• context-strategy (method)
• find-rule-in-context (method)
• find-rule-in-context (method)
• initial-context-p (function)
• make-context (function)
• make-context-name (function)
• remove-rule-from-context (method)
• remove-rule-from-context (method)
• with-context (macro)
• with-rule-name-parts (macro)

4.1.17 lisa/src/core/rule.lisp

Dependency

context.lisp (file)

Parent

core (module)

Location

src/core/rule.lisp

Exported Definitions

• auto-focus-p (function)
• rule (class)
• rule-comment (method)
• rule-context (method)
• rule-default-name (function)
• rule-name (method)
• rule-salience (method)
• rule-short-name (method)

Internal Definitions

• attach-rule-nodes (function)
• belief-factor (method)
• bind-rule-activation (function)
• clear-activation-bindings (function)
• compile-rule (function)
• compile-rule-behavior (function)
• conflict-set (method)
• copy-rule (function)
• find-activation-binding (function)
• find-any-logical-boundaries (function)
• fire-rule (method)
• logical-rule-p (function)
• make-rule (function)
• rule-actions (method)
• rule-activations (method)
• (setf rule-activations) (method)
• rule-active-dependencies (method)
• rule-auto-focus (method)
• rule-behavior (method)
• (setf rule-behavior) (method)
• rule-binding-set (method)
• rule-engine (method)
• rule-logical-marker (method)
• rule-node-list (method)
• rule-patterns (method)
• unbind-rule-activation (function)

4.1.18 lisa/src/core/pattern.lisp

Dependency

rule.lisp (file)

Parent

core (module)

Location

src/core/pattern.lisp

Internal Definitions

• bound-pattern-p (function)
• compound-pattern-p (function)
• constrained-slot-p (function)
• copy-parsed-pattern (function)
• copy-pattern-slot (function)
• copy-rule-actions (function)
• existential-pattern-p (function)
• generic-pattern-p (function)
• intra-pattern-slot-p (function)
• logical-pattern-p (function)
• make-parsed-pattern (function)
• make-pattern-slot (function)
• make-rule-actions (function)
• negated-pattern-p (function)
• negated-slot-p (function)
• parsed-pattern (structure)
• parsed-pattern-address (function)
• (setf parsed-pattern-address) (function)
• parsed-pattern-binding-set (function)
• (setf parsed-pattern-binding-set) (function)
• parsed-pattern-class (function)
• (setf parsed-pattern-class) (function)
• parsed-pattern-logical (function)
• (setf parsed-pattern-logical) (function)
• parsed-pattern-p (function)
• parsed-pattern-pattern-binding (function)
• (setf parsed-pattern-pattern-binding) (function)
• parsed-pattern-slots (function)
• (setf parsed-pattern-slots) (function)
• parsed-pattern-sub-patterns (function)
• (setf parsed-pattern-sub-patterns) (function)
• parsed-pattern-test-bindings (function)
• (setf parsed-pattern-test-bindings) (function)
• parsed-pattern-test-forms (function)
• parsed-pattern-type (function)
• (setf parsed-pattern-type) (function)
• pattern-slot (structure)
• pattern-slot-constraint (function)
• (setf pattern-slot-constraint) (function)
• pattern-slot-constraint-bindings (function)
• (setf pattern-slot-constraint-bindings) (function)
• pattern-slot-intra-pattern-bindings (function)
• (setf pattern-slot-intra-pattern-bindings) (function)
• pattern-slot-name (function)
• (setf pattern-slot-name) (function)
• pattern-slot-negated (function)
• (setf pattern-slot-negated) (function)
• pattern-slot-p (function)
• pattern-slot-slot-binding (function)
• (setf pattern-slot-slot-binding) (function)
• pattern-slot-value (function)
• (setf pattern-slot-value) (function)
• rule-actions (structure)
• rule-actions-actions (function)
• (setf rule-actions-actions) (function)
• rule-actions-bindings (function)
• (setf rule-actions-bindings) (function)
• rule-actions-p (function)
• simple-bound-slot-p (function)
• simple-slot-p (function)
• test-pattern-p (function)
• test-pattern-predicate (function)

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

Dependency

pattern.lisp (file)

Parent

core (module)

Location

src/core/rule-parser.lisp

Internal Definitions

• *binding-table* (special variable)
• *conditional-elements-table* (special variable)
• *current-defrule* (special variable)
• *current-defrule-pattern-location* (special variable)
• *in-logical-pattern-p* (special variable)
• *rule-separator* (constant)
• *special-initial-elements* (special variable)
• collect-bindings (function)
• collect-constraint-bindings (function)
• define-rule (function)
• extract-rule-headers (function)
• find-conditional-element-parser (function)
• find-or-set-slot-binding (function)
• find-slot-binding (function)
• fixup-runtime-bindings (function)
• intra-pattern-bindings-p (function)
• logical-element-p (function)
• make-binding-set (function)
• parse-exists-pattern (function)
• parse-generic-pattern (function)
• parse-not-pattern (function)
• parse-one-slot (function)
• parse-one-slot-constraint (function)
• parse-rule-body (function)
• parse-test-pattern (function)
• preprocess-left-side (function)
• redefine-defrule (function)
• set-pattern-binding (function)
• slot-value-is-atom-p (function)
• slot-value-is-negated-atom-p (function)
• slot-value-is-negated-variable-p (function)
• slot-value-is-variable-p (function)
• with-rule-components (macro)
• with-slot-components (macro)

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

• bind-logical-dependencies (function)
• create-template-class-slots (function)
• parse-and-insert-deffacts (function)
• parse-and-insert-instance (function)
• parse-and-retract-instance (function)
• redefine-deftemplate (function)
• show-deffacts (function)

4.1.21 lisa/src/core/language.lisp

Dependency

fact-parser.lisp (file)

Parent

core (module)

Location

src/core/language.lisp

Exported Definitions

• agenda (function)
• assert (macro)
• assert-instance (function)
• clear (function)
• contexts (function)
• defcontext (macro)
• deffacts (macro)
• defrule (macro)
• deftemplate (macro)
• dependencies (function)
• engine (function)
• facts (function)
• focus (function)
• focus-stack (function)
• halt (function)
• mark-instance-as-changed (function)
• modify (macro)
• refocus (function)
• reset (function)
• retract (method)
• retract (method)
• retract (method)
• retract-instance (function)
• rule (function)
• rules (function)
• run (function)
• undefcontext (macro)
• undefrule (function)
• unwatch (function)
• walk (function)
• watch (function)
• watching (function)

Internal Definitions

expand-slots (function)

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

Dependency

language.lisp (file)

Parent

core (module)

Location

src/core/tms-support.lisp

Internal Definitions

• *scheduled-dependencies* (special variable)
• add-logical-dependency (function)
• find-logical-dependencies (function)
• make-dependency-set (function)
• schedule-dependency-removal (function)
• scheduled-dependencies (symbol macro)
• with-truth-maintenance (macro)

4.1.23 lisa/src/core/rete.lisp

Dependency

tms-support.lisp (file)

Parent

core (module)

Location

src/core/rete.lisp

Exported Definitions

• find-context (function)
• find-fact-by-id (function)
• find-fact-by-name (function)
• find-rule (function)
• make-inference-engine (function)
• rete (class)
• rete-network (method)

Internal Definitions

• add-activation (method)
• add-autofact (function)
• add-rule-to-network (function)
• adjust-belief (method)
• adjust-belief (method)
• assert-autofacts (function)
• assert-fact (method)
• assert-fact-aux (method)
• clear-contexts (function)
• clear-focus-stack (function)
• copy-fact-meta-object (function)
• copy-network (function)
• current-context (function)
• disable-activation (method)
• duplicate-fact-p (function)
• ensure-fact-is-unique (macro)
• fact-id-table (method)
• (setf fact-id-table) (method)
• fact-meta-object (structure)
• fact-meta-object-class-name (function)
• (setf fact-meta-object-class-name) (function)
• fact-meta-object-p (function)
• fact-meta-object-slot-list (function)
• (setf fact-meta-object-slot-list) (function)
• fact-meta-object-superclasses (function)
• (setf fact-meta-object-superclasses) (function)
• find-fact-using-instance (function)
• find-meta-object (function)
• forget-all-facts (function)
• forget-clos-instance (function)
• forget-clos-instances (function)
• forget-context (function)
• forget-fact (function)
• forget-rule (method)
• forget-rule (method)
• forget-rule (method)
• get-activation-list (function)
• get-fact-list (function)
• get-rule-list (function)
• halt-engine (function)
• initial-context (function)
• make-fact-meta-object (function)
• make-query-engine (function)
• make-rete (function)
• mark-clos-instance-as-changed (method)
• modify-fact (method)
• next-context (function)
• next-fact-id (function)
• pop-context (function)
• push-context (function)
• register-clos-instance (function)
• register-meta-object (function)
• register-new-context (function)
• remember-fact (function)
• remove-autofacts (function)
• reset-engine (method)
• reset-focus-stack (function)
• rete-autofacts (method)
• (setf rete-autofacts) (method)
• rete-contexts (method)
• rete-dependency-table (method)
• (setf rete-dependency-table) (method)
• rete-fact-count (function)
• rete-fact-table (method)
• (setf rete-fact-table) (method)
• rete-firing-count (method)
• (setf rete-firing-count) (method)
• rete-focus-stack (method)
• (setf rete-focus-stack) (method)
• rete-halted (method)
• (setf rete-halted) (method)
• rete-instance-table (method)
• rete-meta-data (method)
• rete-next-fact-id (method)
• (setf rete-next-fact-id) (method)
• retract-fact (method)
• retract-fact (method)
• retract-fact (method)
• retrieve-contexts (function)
• run-engine (method)
• set-initial-state (function)
• starting-context (function)
• with-unique-fact (macro)

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

Dependency

rete.lisp (file)

Parent

core (module)

Location

src/core/belief-interface.lisp

Exported Definitions

• belief-factor (method)
• belief-factor (method)

4.1.25 lisa/src/core/meta.lisp

Dependency

belief-interface.lisp (file)

Parent

core (module)

Location

src/core/meta.lisp

Internal Definitions

• acquire-meta-data (function)
• ensure-meta-data-exists (function)
• find-meta-fact (function)
• get-class-name (function)
• get-slot-list (function)
• get-superclasses (function)
• import-class-specification (function)

4.1.26 lisa/src/core/binding.lisp

Dependency

meta.lisp (file)

Parent

core (module)

Location

src/core/binding.lisp

Internal Definitions

• %make-binding (function)
• binding-address (function)
• (setf binding-address) (function)
• binding-slot-name (function)
• (setf binding-slot-name) (function)
• binding-variable (function)
• (setf binding-variable) (function)
• make-binding (function)
• pattern-binding-p (function)

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

• add-token (class)
• hash-key (method)
• make-add-token (method)
• make-remove-token (method)
• make-remove-token (method)
• make-reset-token (method)
• remove-token (class)
• replicate-token (function)
• reset-token (class)
• token-contents (method)
• token-decrement-exists-counter (function)
• token-decrement-not-counter (function)
• token-exists-counter (method)
• (setf token-exists-counter) (method)
• token-fact-count (function)
• token-facts (method)
• (setf token-facts) (method)
• token-find-fact (function)
• token-hash-code (method)
• (setf token-hash-code) (method)
• token-increment-exists-counter (function)
• token-increment-not-counter (function)
• token-make-fact-list (function)
• token-negated-p (function)
• token-not-counter (method)
• (setf token-not-counter) (method)
• token-pop-fact (function)
• token-push-fact (function)
• token-top-fact (function)

4.1.28 lisa/src/core/retrieve.lisp

Dependency

token.lisp (file)

Parent

core (module)

Location

src/core/retrieve.lisp

Exported Definitions

• retrieve (macro)
• with-simple-query (macro)

Internal Definitions

• *query-result* (special variable)
• defquery (macro)
• run-query (function)

4.1.29 lisa/src/implementations/workarounds.lisp

Parent

implementations (module)

Location

src/implementations/workarounds.lisp

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

Parent

rete (module)

Location

src/rete/reference/node-tests.lisp

Internal Definitions

• *node-test-table* (special variable)
• class-matches-p (method)
• class-matches-p (method)
• clear-node-test-table (function)
• find-test (function)
• make-behavior (function)
• make-class-test (function)
• make-inter-pattern-test (function)
• make-intra-pattern-constraint-test (function)
• make-intra-pattern-predicate (function)
• make-intra-pattern-test (function)
• make-predicate-test (function)
• make-simple-slot-test (function)
• make-simple-slot-test-aux (function)

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

• decrement-use-count (method)
• increment-use-count (method)
• node-referenced-p (method)
• node-use-count (method)
• pass-token-to-successors (method)
• shared-node (class)
• shared-node-all-successors (function)
• shared-node-refcnt (method)
• (setf shared-node-refcnt) (method)
• shared-node-successor-nodes (function)
• shared-node-successors (method)

4.1.32 lisa/src/rete/successor.lisp

Dependency

shared-node.lisp (file)

Parent

rete (module)

Location

src/rete/reference/successor.lisp

Internal Definitions

• call-successor (function)
• make-successor (function)
• successor-connector (function)
• successor-node (function)

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

• make-node-pair (function)
• node-pair-child (function)
• node-pair-parent (function)

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

• accept-token (method)
• accept-token (method)
• accept-token (method)
• make-terminal-node (function)
• terminal-node (class)
• terminal-node-rule (method)

4.1.35 lisa/src/rete/node1.lisp

Dependency

terminal-node.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node1.lisp

Internal Definitions

• accept-token (method)
• accept-token (method)
• add-successor (method)
• add-successor (method)
• make-node1 (function)
• node1 (class)
• node1-test (method)
• remove-successor (method)

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

• accept-token-from-right (method)
• accept-tokens-from-left (method)
• add-successor (method)
• add-token-to-right-memory (function)
• add-tokens-to-left-memory (function)
• clear-memories (method)
• combine-tokens (method)
• combine-tokens (method)
• forget-token (function)
• join-node (class)
• join-node-add-test (method)
• join-node-left-memory (method)
• join-node-logical-block (method)
• join-node-right-memory (method)
• join-node-successor (method)
• (setf join-node-successor) (method)
• join-node-tests (method)
• (setf join-node-tests) (method)
• left-memory-count (function)
• logical-block-p (function)
• mark-as-logical-block (function)
• pass-tokens-to-successor (method)
• remember-token (function)
• remove-token-from-right-memory (function)
• remove-tokens-from-left-memory (function)
• right-memory-count (function)
• test-tokens (method)

4.1.37 lisa/src/rete/node2.lisp

Dependency

join-node.lisp (file)

Parent

rete (module)

Location

src/rete/reference/node2.lisp

Internal Definitions

• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• make-node2 (function)
• node2 (class)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-right-memory (method)

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

• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• make-node2-not (function)
• node2-not (class)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-right-memory (method)

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

• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• make-node2-test (function)
• node2-test (class)

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

• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• make-node2-exists (function)
• node2-exists (class)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-right-memory (method)
• test-against-right-memory (method)

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

• *leaf-nodes* (special variable)
• *logical-block-marker* (special variable)
• *root-nodes* (special variable)
• *rule-specific-nodes* (special variable)
• add-inter-pattern-nodes (function)
• add-intra-pattern-nodes (function)
• add-join-node-tests (function)
• add-successor (method)
• add-successor (method)
• add-terminal-node (function)
• compile-rule-into-network (function)
• copy-node-test-table (function)
• distribute-token (function)
• enter-join-network-from-left (function)
• enter-join-network-from-right (function)
• leaf-node (function)
• left-input (function)
• logical-block-marker (function)
• make-intra-pattern-node (function)
• make-join-node (function)
• make-left-join-connection (function)
• make-rete-network (method)
• make-right-join-connection (function)
• make-root-node (function)
• merge-rule-into-network (function)
• node-test-cache (method)
• pass-token (function)
• pass-token-on-right (function)
• pass-tokens-on-left (function)
• record-node (function)
• remove-node-from-parent (method)
• remove-node-from-parent (method)
• rete-roots (method)
• right-input (function)
• set-leaf-node (function)

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)

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

• *node-set* (special variable)
• add-fact-to-network (function)
• add-node-set (method)
• add-node-set (method)
• add-node-set (method)
• add-token-to-network (function)
• decrement-use-count (method)
• decrement-use-count (method)
• find-existing-successor (method)
• find-existing-successor (method)
• merge-networks (function)
• remove-fact-from-network (function)
• remove-rule-from-network (function)
• reset-network (function)

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)

4.1.45 lisa/src/config/config.lisp

Parent

config (module)

Location

src/config/config.lisp

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

• define-lisa-lisp (macro)
• query-fact (class)

5 Packages

Packages are listed by definition order.

5.1 lisa-system

Source

lisa.asd

Use List

• asdf/interface
• common-lisp

Internal Definitions

• *lisa-root-pathname* (special variable)
• lisa-debugger (function)
• make-lisa-path (function)

5.2 lisa.utils

Source

pkgdecl.lisp (file)

Nickname

utils

Use List

common-lisp

Exported Definitions

• collect (function)
• compose (macro)
• find-after (function)
• find-before (function)
• find-if-after (function)
• flatten (function)
• lsthash (function)
• map-in (macro)
• string-tokens (function)

Internal Definitions

• +eof+ (special variable)
• case-error (condition)
• code (condition)
• code-args (generic function)
• code-args (method)
• code-args (method)
• code-mesg (generic function)
• code-mesg (method)
• code-mesg (method)
• code-mesg (method)
• code-proc (generic function)
• code-proc (method)
• defconst (macro)
• defcustom (macro)
• defsubst (macro)
• eof-p (function)
• gc (function)
• mk-arr (macro)
• not-implemented (condition)
• quit (function)
• required-argument (function)
• with-gensyms (macro)

5.3 lisa.reflect

Source

pkgdecl.lisp (file)

Nickname

reflect

Use List

common-lisp

Exported Definitions

• class-all-superclasses (function)
• class-slot-list (function)
• find-direct-superclasses (function)

Internal Definitions

• class-slot-initargs (function)
• is-standard-classp (function)

5.4 lisa

Source

pkgdecl.lisp (file)

Use List

common-lisp

Exported Definitions

• activation (class)
• active-rule (function)
• agenda (function)
• allow-duplicate-facts (function)
• (setf allow-duplicate-facts) (setf expander)
• assert (macro)
• assert-instance (function)
• auto-focus-p (function)
• clear (function)
• consider-taxonomy (function)
• (setf consider-taxonomy) (setf expander)
• context (class)
• context-name (generic function)
• context-name (method)
• contexts (function)
• current-engine (function)
• defcontext (macro)
• deffacts (macro)
• deffacts (class)
• defrule (macro)
• deftemplate (macro)
• dependencies (function)
• duplicate-fact (condition)
• engine (function)
• fact (class)
• fact-id (generic function)
• fact-id (method)
• (setf fact-id) (method)
• (setf fact-id) (generic function)
• fact-name (generic function)
• fact-name (method)
• facts (function)
• find-context (function)
• find-fact-by-id (function)
• find-fact-by-name (function)
• find-rule (function)
• focus (function)
• focus-stack (function)
• halt (function)
• in-rule-firing-p (function)
• inference-engine (function)
• initial-fact (class)
• make-inference-engine (function)
• mark-instance-as-changed (function)
• modify (macro)
• refocus (function)
• reset (function)
• rete (class)
• rete-network (generic function)
• rete-network (method)
• rete-network (class)
• retract (generic function)
• retract (method)
• retract (method)
• retract (method)
• retract-instance (function)
• retrieve (macro)
• rule (function)
• rule (class)
• rule-comment (generic function)
• rule-comment (method)
• rule-context (generic function)
• rule-context (method)
• rule-default-name (function)
• rule-name (generic function)
• rule-name (method)
• rule-name (method)
• rule-salience (generic function)
• rule-salience (method)
• rule-short-name (generic function)
• rule-short-name (method)
• rules (function)
• run (function)
• show-network (function)
• slot-value-of-instance (generic function)
• slot-value-of-instance (method)
• (setf slot-value-of-instance) (method)
• (setf slot-value-of-instance) (generic function)
• token (class)
• undefcontext (macro)
• undefrule (function)
• unwatch (function)
• use-default-engine (function)
• use-fancy-assert (function)
• (setf use-fancy-assert) (setf expander)
• walk (function)
• watch (function)
• watching (function)
• with-inference-engine (macro)
• with-simple-query (macro)

Internal Definitions

• %make-binding (function)
• *activation-timestamp* (special variable)
• *active-context* (special variable)
• *active-engine* (special variable)
• *active-rule* (special variable)
• *active-tokens* (special variable)
• *allow-duplicate-facts* (special variable)
• *assert-fact* (special variable)
• *binding-table* (special variable)
• *clear-handlers* (special variable)
• *conditional-elements-table* (special variable)
• *consider-taxonomy-when-reasoning* (special variable)
• *current-defrule* (special variable)
• *current-defrule-pattern-location* (special variable)
• *disable-activation* (special variable)
• *enable-activation* (special variable)
• *fire-rule* (special variable)
• *ignore-this-instance* (special variable)
• *in-logical-pattern-p* (special variable)
• *leaf-nodes* (special variable)
• *logical-block-marker* (special variable)
• *node-set* (special variable)
• *node-test-table* (special variable)
• *query-result* (special variable)
• *retract-fact* (special variable)
• *root-nodes* (special variable)
• *rule-separator* (constant)
• *rule-specific-nodes* (special variable)
• *scheduled-dependencies* (special variable)
• *special-initial-elements* (special variable)
• *use-fancy-assert* (special variable)
• *watches* (special variable)
• accept-token (generic function)
• accept-token (method)
• accept-token (method)
• accept-token (method)
• accept-token (method)
• accept-token (method)
• accept-token-from-right (generic function)
• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-token-from-right (method)
• accept-tokens-from-left (generic function)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• accept-tokens-from-left (method)
• acquire-meta-data (function)
• activation-eligible (generic function)
• activation-eligible (method)
• (setf activation-eligible) (method)
• (setf activation-eligible) (generic function)
• activation-fact-list (function)
• activation-priority (generic function)
• activation-priority (method)
• activation-rule (generic function)
• activation-rule (method)
• activation-timestamp (generic function)
• activation-timestamp (method)
• activation-tokens (generic function)
• activation-tokens (method)
• active-context (function)
• active-engine (function)
• active-tokens (function)
• add-activation (generic function)
• add-activation (method)
• add-activation (method)
• add-autofact (function)
• add-fact-to-network (function)
• add-inter-pattern-nodes (function)
• add-intra-pattern-nodes (function)
• add-join-node-tests (function)
• add-logical-dependency (function)
• add-node-set (generic function)
• add-node-set (method)
• add-node-set (method)
• add-node-set (method)
• add-rule-to-context (function)
• add-rule-to-network (function)
• add-successor (generic function)
• add-successor (method)
• add-successor (method)
• add-successor (method)
• add-successor (method)
• add-successor (method)
• add-terminal-node (function)
• add-token (class)
• add-token-to-network (function)
• add-token-to-right-memory (function)
• add-tokens-to-left-memory (function)
• adjust-belief (generic function)
• adjust-belief (method)
• adjust-belief (method)
• assert-autofacts (function)
• assert-fact (generic function)
• assert-fact (method)
• assert-fact-aux (generic function)
• assert-fact-aux (method)
• attach-rule-nodes (function)
• belief-factor (generic function)
• belief-factor (method)
• belief-factor (method)
• (setf belief-factor) (method)
• (setf belief-factor) (generic function)
• bind-logical-dependencies (function)
• bind-rule-activation (function)
• binding-address (function)
• (setf binding-address) (function)
• binding-slot-name (function)
• (setf binding-slot-name) (function)
• binding-variable (function)
• (setf binding-variable) (function)
• bound-pattern-p (function)
• breadth-first-strategy (class)
• build-lambda-expression (function)
• builtin-strategy (class)
• call-successor (function)
• class-matches-p (generic function)
• class-matches-p (method)
• class-matches-p (method)
• class-parsing-error (condition)
• clear-activation-bindings (function)
• clear-activations (function)
• clear-context (function)
• clear-contexts (function)
• clear-environment-handlers (function)
• clear-focus-stack (function)
• clear-memories (generic function)
• clear-memories (method)
• clear-node-test-table (function)
• clear-system-environment (function)
• cls-name (generic function)
• cls-name (method)
• collect-bindings (function)
• collect-constraint-bindings (function)
• combine-tokens (generic function)
• combine-tokens (method)
• combine-tokens (method)
• compile-function (macro)
• compile-rule (function)
• compile-rule-behavior (function)
• compile-rule-into-network (function)
• compound-pattern-p (function)
• conflict-set (generic function)
• conflict-set (method)
• conflict-set (method)
• constrained-slot-p (function)
• constraintp (macro)
• context-activation-list (function)
• context-rule-list (function)
• context-rules (generic function)
• context-rules (method)
• context-strategy (generic function)
• context-strategy (method)
• copy-binding (function)
• copy-fact-meta-object (function)
• copy-network (function)
• copy-node-test-table (function)
• copy-parsed-pattern (function)
• copy-pattern-slot (function)
• copy-rule (function)
• copy-rule-actions (function)
• create-template-class-slots (function)
• current-context (function)
• decrement-use-count (generic function)
• decrement-use-count (method)
• decrement-use-count (method)
• decrement-use-count (method)
• deffacts-fact-list (generic function)
• deffacts-fact-list (method)
• deffacts-name (generic function)
• deffacts-name (method)
• define-lisa-lisp (macro)
• define-rule (function)
• defquery (macro)
• depth-first-strategy (class)
• disable-activation (generic function)
• disable-activation (method)
• distribute-token (function)
• duplicate-fact-existing-fact (generic function)
• duplicate-fact-existing-fact (method)
• duplicate-fact-p (function)
• eligible-p (function)
• ensure-fact-is-unique (macro)
• ensure-meta-data-exists (function)
• enter-join-network-from-left (function)
• enter-join-network-from-right (function)
• equals (generic function)
• equals (method)
• existential-pattern-p (function)
• expand-slots (function)
• extract-rule-headers (function)
• fact-clos-instance (generic function)
• fact-clos-instance (method)
• fact-id-table (generic function)
• fact-id-table (method)
• (setf fact-id-table) (method)
• (setf fact-id-table) (generic function)
• fact-meta-data (generic function)
• fact-meta-data (method)
• fact-meta-object (structure)
• fact-meta-object-class-name (function)
• (setf fact-meta-object-class-name) (function)
• fact-meta-object-p (function)
• fact-meta-object-slot-list (function)
• (setf fact-meta-object-slot-list) (function)
• fact-meta-object-superclasses (function)
• (setf fact-meta-object-superclasses) (function)
• fact-shadowsp (generic function)
• fact-shadowsp (method)
• fact-slot-table (generic function)
• fact-slot-table (method)
• fact-symbolic-id (function)
• find-activation (generic function)
• find-activation (method)
• find-activation-binding (function)
• find-all-activations (generic function)
• find-all-activations (method)
• find-any-logical-boundaries (function)
• find-conditional-element-parser (function)
• find-existing-successor (generic function)
• find-existing-successor (method)
• find-existing-successor (method)
• find-fact-using-instance (function)
• find-instance-of-fact (function)
• find-logical-dependencies (function)
• find-meta-fact (function)
• find-meta-object (function)
• find-or-set-slot-binding (function)
• find-rule-in-context (generic function)
• find-rule-in-context (method)
• find-rule-in-context (method)
• find-slot-binding (function)
• find-test (function)
• fire-activation (generic function)
• fire-activation (method)
• fire-rule (generic function)
• fire-rule (method)
• fixup-runtime-bindings (function)
• forget-all-facts (function)
• forget-clos-instance (function)
• forget-clos-instances (function)
• forget-context (function)
• forget-fact (function)
• forget-rule (generic function)
• forget-rule (method)
• forget-rule (method)
• forget-rule (method)
• forget-token (function)
• generic-pattern-p (function)
• get-activation-list (function)
• get-all-activations (generic function)
• get-all-activations (method)
• get-class-name (function)
• get-fact-list (function)
• get-next-activation (generic function)
• get-next-activation (method)
• get-rule-list (function)
• get-slot-list (function)
• get-slot-value (generic function)
• get-slot-value (method)
• get-slot-value (method)
• get-slot-values (function)
• get-superclasses (function)
• halt-engine (function)
• has-superclass (function)
• hash-key (generic function)
• hash-key (method)
• hash-key (method)
• hash-key (method)
• heap (generic function)
• heap (method)
• import-class-specification (function)
• inactive-p (function)
• increment-use-count (generic function)
• increment-use-count (method)
• inference-engine-object (class)
• initial-context (function)
• initial-context-p (function)
• initialize-fact-from-instance (function)
• initialize-fact-from-template (function)
• initialize-slot-value (function)
• insert-activation (generic function)
• insert-activation (method)
• intra-pattern-bindings-p (function)
• intra-pattern-slot-p (function)
• join-node (class)
• join-node-add-test (generic function)
• join-node-add-test (method)
• join-node-left-memory (generic function)
• join-node-left-memory (method)
• join-node-logical-block (generic function)
• join-node-logical-block (method)
• join-node-right-memory (generic function)
• join-node-right-memory (method)
• join-node-successor (generic function)
• join-node-successor (method)
• (setf join-node-successor) (method)
• (setf join-node-successor) (generic function)
• join-node-tests (generic function)
• join-node-tests (method)
• (setf join-node-tests) (method)
• (setf join-node-tests) (generic function)
• leaf-node (function)
• left-input (function)
• left-memory-count (function)
• list-activations (generic function)
• list-activations (method)
• literalp (macro)
• location (generic function)
• location (method)
• logical-block-marker (function)
• logical-block-p (function)
• logical-element-p (function)
• logical-pattern-p (function)
• logical-rule-p (function)
• lookup-activation (generic function)
• lookup-activation (method)
• lookup-activations (generic function)
• lookup-activations (method)
• make-activation (function)
• make-add-token (generic function)
• make-add-token (method)
• make-behavior (function)
• make-binding (function)
• make-binding-set (function)
• make-breadth-first-strategy (function)
• make-class-test (function)
• make-context (function)
• make-context-name (function)
• make-default-inference-engine (function)
• make-deffacts (function)
• make-dependency-set (function)
• make-depth-first-strategy (function)
• make-fact (function)
• make-fact-from-instance (function)
• make-fact-from-template (function)
• make-fact-meta-object (function)
• make-inter-pattern-test (function)
• make-intra-pattern-constraint-test (function)
• make-intra-pattern-node (function)
• make-intra-pattern-predicate (function)
• make-intra-pattern-test (function)
• make-join-node (function)
• make-left-join-connection (function)
• make-node-pair (function)
• make-node1 (function)
• make-node2 (function)
• make-node2-exists (function)
• make-node2-not (function)
• make-node2-test (function)
• make-parsed-pattern (function)
• make-pattern-slot (function)
• make-predicate-test (function)
• make-query-engine (function)
• make-remove-token (generic function)
• make-remove-token (method)
• make-remove-token (method)
• make-reset-token (generic function)
• make-reset-token (method)
• make-rete (function)
• make-rete-network (generic function)
• make-rete-network (method)
• make-right-join-connection (function)
• make-root-node (function)
• make-rule (function)
• make-rule-actions (function)
• make-simple-slot-test (function)
• make-simple-slot-test-aux (function)
• make-successor (function)
• make-terminal-node (function)
• mark-as-logical-block (function)
• mark-clos-instance-as-changed (generic function)
• mark-clos-instance-as-changed (method)
• merge-networks (function)
• merge-rule-into-network (function)
• modify-fact (generic function)
• modify-fact (method)
• multifieldp (macro)
• negated-pattern-p (function)
• negated-slot-p (function)
• next-activation (generic function)
• next-activation (method)
• next-context (function)
• next-fact-id (function)
• node-pair-child (function)
• node-pair-parent (function)
• node-referenced-p (generic function)
• node-referenced-p (method)
• node-test-cache (generic function)
• node-test-cache (method)
• node-use-count (generic function)
• node-use-count (method)
• node1 (class)
• node1-test (generic function)
• node1-test (method)
• node2 (class)
• node2-exists (class)
• node2-not (class)
• node2-test (class)
• parse-and-insert-deffacts (function)
• parse-and-insert-instance (function)
• parse-and-retract-instance (function)
• parse-exists-pattern (function)
• parse-generic-pattern (function)
• parse-not-pattern (function)
• parse-one-slot (function)
• parse-one-slot-constraint (function)
• parse-rule-body (function)
• parse-test-pattern (function)
• parsed-pattern (structure)
• parsed-pattern-address (function)
• (setf parsed-pattern-address) (function)
• parsed-pattern-binding-set (function)
• (setf parsed-pattern-binding-set) (function)
• parsed-pattern-class (function)
• (setf parsed-pattern-class) (function)
• parsed-pattern-logical (function)
• (setf parsed-pattern-logical) (function)
• parsed-pattern-p (function)
• parsed-pattern-pattern-binding (function)
• (setf parsed-pattern-pattern-binding) (function)
• parsed-pattern-slots (function)
• (setf parsed-pattern-slots) (function)
• parsed-pattern-sub-patterns (function)
• (setf parsed-pattern-sub-patterns) (function)
• parsed-pattern-test-bindings (function)
• (setf parsed-pattern-test-bindings) (function)
• parsed-pattern-test-forms (function)
• parsed-pattern-type (function)
• (setf parsed-pattern-type) (function)
• parsing-error (condition)
• pass-token (function)
• pass-token-on-right (function)
• pass-token-to-successors (generic function)
• pass-token-to-successors (method)
• pass-tokens-on-left (function)
• pass-tokens-to-successor (generic function)
• pass-tokens-to-successor (method)
• pass-tokens-to-successor (method)
• pattern-binding-p (function)
• pattern-slot (structure)
• pattern-slot-constraint (function)
• (setf pattern-slot-constraint) (function)
• pattern-slot-constraint-bindings (function)
• (setf pattern-slot-constraint-bindings) (function)
• pattern-slot-intra-pattern-bindings (function)
• (setf pattern-slot-intra-pattern-bindings) (function)
• pattern-slot-name (function)
• (setf pattern-slot-name) (function)
• pattern-slot-negated (function)
• (setf pattern-slot-negated) (function)
• pattern-slot-p (function)
• pattern-slot-slot-binding (function)
• (setf pattern-slot-slot-binding) (function)
• pattern-slot-value (function)
• (setf pattern-slot-value) (function)
• pop-context (function)
• preprocess-left-side (function)
• priority-queue-mixin (class)
• push-context (function)
• query-fact (class)
• quotablep (macro)
• reconstruct-fact (function)
• record-node (function)
• redefine-defrule (function)
• redefine-deftemplate (function)
• register-clear-handler (macro)
• register-clos-instance (function)
• register-meta-object (function)
• register-new-context (function)
• remember-fact (function)
• remember-token (function)
• remove-activations (generic function)
• remove-activations (method)
• remove-autofacts (function)
• remove-fact-from-network (function)
• remove-node-from-parent (generic function)
• remove-node-from-parent (method)
• remove-node-from-parent (method)
• remove-rule-from-context (generic function)
• remove-rule-from-context (method)
• remove-rule-from-context (method)
• remove-rule-from-network (function)
• remove-successor (generic function)
• remove-successor (method)
• remove-token (class)
• remove-token-from-right-memory (function)
• remove-tokens-from-left-memory (function)
• replicate-token (function)
• reset-activations (generic function)
• reset-activations (method)
• reset-engine (generic function)
• reset-engine (method)
• reset-focus-stack (function)
• reset-network (function)
• reset-token (class)
• rete-autofacts (generic function)
• rete-autofacts (method)
• (setf rete-autofacts) (method)
• (setf rete-autofacts) (generic function)
• rete-contexts (generic function)
• rete-contexts (method)
• rete-dependency-table (generic function)
• rete-dependency-table (method)
• (setf rete-dependency-table) (method)
• (setf rete-dependency-table) (generic function)
• rete-fact-count (function)
• rete-fact-table (generic function)
• rete-fact-table (method)
• (setf rete-fact-table) (method)
• (setf rete-fact-table) (generic function)
• rete-firing-count (generic function)
• rete-firing-count (method)
• (setf rete-firing-count) (method)
• (setf rete-firing-count) (generic function)
• rete-focus-stack (generic function)
• rete-focus-stack (method)
• (setf rete-focus-stack) (method)
• (setf rete-focus-stack) (generic function)
• rete-halted (generic function)
• rete-halted (method)
• (setf rete-halted) (method)
• (setf rete-halted) (generic function)
• rete-instance-table (generic function)
• rete-instance-table (method)
• rete-meta-data (generic function)
• rete-meta-data (method)
• rete-next-fact-id (generic function)
• rete-next-fact-id (method)
• (setf rete-next-fact-id) (method)
• (setf rete-next-fact-id) (generic function)
• rete-roots (generic function)
• rete-roots (method)
• retract-fact (generic function)
• retract-fact (method)
• retract-fact (method)
• retract-fact (method)
• retrieve-contexts (function)
• right-input (function)
• right-memory-count (function)
• rule-actions (generic function)
• rule-actions (method)
• rule-actions (structure)
• rule-actions-actions (function)
• (setf rule-actions-actions) (function)
• rule-actions-bindings (function)
• (setf rule-actions-bindings) (function)
• rule-actions-p (function)
• rule-activations (generic function)
• rule-activations (method)
• (setf rule-activations) (method)
• (setf rule-activations) (generic function)
• rule-active-dependencies (generic function)
• rule-active-dependencies (method)
• rule-auto-focus (generic function)
• rule-auto-focus (method)
• rule-behavior (generic function)
• rule-behavior (method)
• (setf rule-behavior) (method)
• (setf rule-behavior) (generic function)
• rule-binding-set (generic function)
• rule-binding-set (method)
• rule-engine (generic function)
• rule-engine (method)
• rule-logical-marker (generic function)
• rule-logical-marker (method)
• rule-node-list (generic function)
• rule-node-list (method)
• rule-parsing-error (condition)
• rule-patterns (generic function)
• rule-patterns (method)
• run-engine (generic function)
• run-engine (method)
• run-query (function)
• schedule-dependency-removal (function)
• scheduled-dependencies (symbol macro)
• set-initial-state (function)
• set-leaf-node (function)
• set-pattern-binding (function)
• set-slot-from-instance (function)
• set-slot-value (function)
• shared-node (class)
• shared-node-all-successors (function)
• shared-node-refcnt (generic function)
• shared-node-refcnt (method)
• (setf shared-node-refcnt) (method)
• (setf shared-node-refcnt) (generic function)
• shared-node-successor-nodes (function)
• shared-node-successors (generic function)
• shared-node-successors (method)
• show-deffacts (function)
• simple-bound-slot-p (function)
• simple-slot-p (function)
• slot-name (generic function)
• slot-name (method)
• slot-parsing-error (condition)
• slot-value-is-atom-p (function)
• slot-value-is-negated-atom-p (function)
• slot-value-is-negated-variable-p (function)
• slot-value-is-variable-p (function)
• slot-valuep (macro)
• starting-context (function)
• starts-with-? (macro)
• strategy (class)
• successor-connector (function)
• successor-node (function)
• synchronize-with-instance (function)
• terminal-node (class)
• terminal-node-rule (generic function)
• terminal-node-rule (method)
• test-against-left-memory (generic function)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-left-memory (method)
• test-against-right-memory (generic function)
• test-against-right-memory (method)
• test-against-right-memory (method)
• test-against-right-memory (method)
• test-against-right-memory (method)
• test-pattern-p (function)
• test-pattern-predicate (function)
• test-tokens (generic function)
• test-tokens (method)
• text (generic function)
• text (method)
• token-contents (generic function)
• token-contents (method)
• token-decrement-exists-counter (function)
• token-decrement-not-counter (function)
• token-exists-counter (generic function)
• token-exists-counter (method)
• (setf token-exists-counter) (method)
• (setf token-exists-counter) (generic function)
• token-fact-count (function)
• token-facts (generic function)
• token-facts (method)
• (setf token-facts) (method)
• (setf token-facts) (generic function)
• token-find-fact (function)
• token-hash-code (generic function)
• token-hash-code (method)
• (setf token-hash-code) (method)
• (setf token-hash-code) (generic function)
• token-increment-exists-counter (function)
• token-increment-not-counter (function)
• token-make-fact-list (function)
• token-negated-p (function)
• token-not-counter (generic function)
• token-not-counter (method)
• (setf token-not-counter) (method)
• (setf token-not-counter) (generic function)
• token-pop-fact (function)
• token-push-fact (function)
• token-top-fact (function)
• trace-assert (macro)
• trace-disable-activation (macro)
• trace-enable-activation (macro)
• trace-firing (macro)
• trace-retract (macro)
• unbind-rule-activation (function)
• unwatch-event (function)
• variable-p (function)
• variablep (macro)
• watch-activation-detail (function)
• watch-assert (function)
• watch-disable-activation (function)
• watch-enable-activation (function)
• watch-event (function)
• watch-fact-detail (function)
• watch-retract (function)
• watch-rule-firing (function)
• watches (function)
• with-auto-notify (macro)
• with-context (macro)
• with-rule-components (macro)
• with-rule-name-parts (macro)
• with-slot-components (macro)
• with-truth-maintenance (macro)
• with-unique-fact (macro)

5.5 lisa.belief

Source

pkgdecl.lisp (file)

Nickname

belief

Use List

common-lisp

Exported Definitions

• adjust-belief (generic function)
• adjust-belief (method)
• adjust-belief (method)
• belief->english (generic function)
• belief->english (method)
• belief-factor (generic function)
• belief-factor (method)
• belief-factor (method)
• false-p (function)
• true-p (function)
• unknown-p (function)

Internal Definitions

• +false+ (constant)
• +true+ (constant)
• +unknown+ (constant)
• certainty-factor (type)
• certainty-factor-p (function)
• cf->english (function)
• cf-combine (function)
• conjunct-cf (function)
• recalculate-cf (generic function)
• recalculate-cf (method)
• recalculate-cf (method)
• recalculate-cf (method)

5.6 lisa.heap

Source

pkgdecl.lisp (file)

Nickname

heap

Use List

common-lisp

Exported Definitions

• create-heap (function)
• heap-clear (function)
• heap-collect (function)
• heap-count (function)
• heap-empty-p (function)
• heap-find (function)
• heap-insert (function)
• heap-peek (function)
• heap-remove (function)

Internal Definitions

• *heap* (special variable)
• copy-heap (function)
• default-search-predicate (function)
• heap (structure)
• heap-a (function)
• (setf heap-a) (function)
• heap-find-idx (function)
• heap-init (function)
• heap-less-fn (function)
• (setf heap-less-fn) (function)
• heap-max-count (function)
• (setf heap-max-count) (function)
• heap-order (function)
• (setf heap-order) (function)
• heap-p (function)
• lesser-child (function)
• make-heap (function)
• percolate-down (function)
• percolate-up (function)