4.1.1 lisa/lisa.asd

Source

lisa.asd.

Parent Component

lisa (system).

ASDF Systems

lisa.

Packages

lisa-system.

Internals

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

4.1.2 lisa/src/packages/pkgdecl.lisp

Source

lisa.asd.

Parent Component

packages (module).

Packages

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

4.1.3 lisa/src/utils/compose.lisp

Source

lisa.asd.

Parent Component

utils (module).

Internals

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

4.1.4 lisa/src/utils/utils.lisp

Dependency

compose.lisp (file).

Source

lisa.asd.

Parent Component

utils (module).

Public Interface

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

Internals

• +eof+ (special variable).
• case-error (condition).
• code (condition).
• code-args (reader method).
• code-args (reader method).
• code-mesg (reader method).
• code-mesg (reader method).
• code-mesg (reader method).
• code-proc (reader 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

Source

lisa.asd.

Parent Component

belief-systems (module).

Public Interface

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

Source

lisa.asd.

Parent Component

belief-systems (module).

Public Interface

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

Internals

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

4.1.7 lisa/src/reflect/reflect.lisp

Source

lisa.asd.

Parent Component

reflect (module).

Public Interface

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

Internals

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

4.1.8 lisa/src/core/preamble.lisp

Source

lisa.asd.

Parent Component

core (module).

Public Interface

• active-rule (function).
• (setf allow-duplicate-facts) (setf expander).
• allow-duplicate-facts (function).
• (setf consider-taxonomy) (setf expander).
• consider-taxonomy (function).
• 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).
• (setf use-fancy-assert) (setf expander).
• use-fancy-assert (function).
• with-inference-engine (macro).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Public Interface

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

Internals

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

4.1.10 lisa/src/core/deffacts.lisp

Dependency

conditions.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

• deffacts (class).
• print-object (method).

Internals

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

4.1.11 lisa/src/core/fact.lisp

Dependency

deffacts.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

• fact (class).
• fact-id (reader method).
• (setf fact-id) (writer method).
• fact-name (reader method).
• initialize-instance (method).
• print-object (method).
• slot-value-of-instance (method).
• (setf slot-value-of-instance) (method).

Internals

• belief-factor (reader method).
• (setf belief-factor) (writer method).
• equals (method).
• fact-clos-instance (reader method).
• fact-meta-data (reader method).
• fact-shadowsp (reader method).
• fact-slot-table (reader 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).

Source

lisa.asd.

Parent Component

core (module).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Public Interface

• activation (class).
• print-object (method).

Internals

• *activation-timestamp* (special variable).
• activation-eligible (reader method).
• (setf activation-eligible) (writer method).
• activation-fact-list (function).
• activation-priority (method).
• activation-rule (reader method).
• activation-timestamp (reader method).
• activation-tokens (reader 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).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

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

Internals

• *heap* (special variable).
• copy-heap (function).
• default-search-predicate (function).
• heap (structure).
• heap-a (reader).
• (setf heap-a) (writer).
• heap-find-idx (function).
• heap-init (function).
• heap-less-fn (reader).
• (setf heap-less-fn) (writer).
• heap-max-count (reader).
• (setf heap-max-count) (writer).
• heap-order (reader).
• (setf heap-order) (writer).
• 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).

Source

lisa.asd.

Parent Component

core (module).

Internals

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

4.1.16 lisa/src/core/context.lisp

Dependency

conflict-resolution-strategies.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

• context (class).
• context-name (reader method).
• print-object (method).

Internals

• add-rule-to-context (function).
• clear-activations (function).
• clear-context (function).
• conflict-set (method).
• context-activation-list (function).
• context-rule-list (function).
• context-rules (reader method).
• context-strategy (reader 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).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

• auto-focus-p (function).
• initialize-instance (method).
• print-object (method).
• rule (class).
• rule-comment (reader method).
• rule-context (reader method).
• rule-default-name (function).
• rule-name (reader method).
• rule-salience (reader method).
• rule-short-name (reader method).

Internals

• attach-rule-nodes (function).
• belief-factor (reader 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 (reader method).
• rule-activations (reader method).
• (setf rule-activations) (writer method).
• rule-active-dependencies (reader method).
• rule-auto-focus (reader method).
• rule-behavior (reader method).
• (setf rule-behavior) (writer method).
• rule-binding-set (reader method).
• rule-engine (reader method).
• rule-logical-marker (reader method).
• rule-node-list (reader method).
• rule-patterns (reader method).
• unbind-rule-activation (function).

4.1.18 lisa/src/core/pattern.lisp

Dependency

rule.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

• 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 (reader).
• (setf parsed-pattern-address) (writer).
• parsed-pattern-binding-set (reader).
• (setf parsed-pattern-binding-set) (writer).
• parsed-pattern-class (reader).
• (setf parsed-pattern-class) (writer).
• parsed-pattern-logical (reader).
• (setf parsed-pattern-logical) (writer).
• parsed-pattern-p (function).
• parsed-pattern-pattern-binding (reader).
• (setf parsed-pattern-pattern-binding) (writer).
• parsed-pattern-slots (reader).
• (setf parsed-pattern-slots) (writer).
• parsed-pattern-sub-patterns (reader).
• (setf parsed-pattern-sub-patterns) (writer).
• parsed-pattern-test-bindings (reader).
• (setf parsed-pattern-test-bindings) (writer).
• parsed-pattern-test-forms (function).
• parsed-pattern-type (reader).
• (setf parsed-pattern-type) (writer).
• pattern-slot (structure).
• pattern-slot-constraint (reader).
• (setf pattern-slot-constraint) (writer).
• pattern-slot-constraint-bindings (reader).
• (setf pattern-slot-constraint-bindings) (writer).
• pattern-slot-intra-pattern-bindings (reader).
• (setf pattern-slot-intra-pattern-bindings) (writer).
• pattern-slot-name (reader).
• (setf pattern-slot-name) (writer).
• pattern-slot-negated (reader).
• (setf pattern-slot-negated) (writer).
• pattern-slot-p (function).
• pattern-slot-slot-binding (reader).
• (setf pattern-slot-slot-binding) (writer).
• pattern-slot-value (reader).
• (setf pattern-slot-value) (writer).
• rule-actions (structure).
• rule-actions-actions (reader).
• (setf rule-actions-actions) (writer).
• rule-actions-bindings (reader).
• (setf rule-actions-bindings) (writer).
• 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).

Source

lisa.asd.

Parent Component

core (module).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Public Interface

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

Internals

expand-slots (function).

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

Dependency

language.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Public Interface

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

Internals

• 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 (reader method).
• (setf fact-id-table) (writer method).
• fact-meta-object (structure).
• fact-meta-object-class-name (reader).
• (setf fact-meta-object-class-name) (writer).
• fact-meta-object-p (function).
• fact-meta-object-slot-list (reader).
• (setf fact-meta-object-slot-list) (writer).
• fact-meta-object-superclasses (reader).
• (setf fact-meta-object-superclasses) (writer).
• 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 (reader method).
• (setf rete-autofacts) (writer method).
• rete-contexts (reader method).
• rete-dependency-table (reader method).
• (setf rete-dependency-table) (writer method).
• rete-fact-count (function).
• rete-fact-table (reader method).
• (setf rete-fact-table) (writer method).
• rete-firing-count (reader method).
• (setf rete-firing-count) (writer method).
• rete-focus-stack (reader method).
• (setf rete-focus-stack) (writer method).
• rete-halted (reader method).
• (setf rete-halted) (writer method).
• rete-instance-table (reader method).
• rete-meta-data (reader method).
• rete-next-fact-id (reader method).
• (setf rete-next-fact-id) (writer 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).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

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

4.1.25 lisa/src/core/meta.lisp

Dependency

belief-interface.lisp (file).

Source

lisa.asd.

Parent Component

core (module).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Internals

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

Source

lisa.asd.

Parent Component

core (module).

Public Interface

token (class).

Internals

• 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 (reader method).
• token-decrement-exists-counter (function).
• token-decrement-not-counter (function).
• token-exists-counter (reader method).
• (setf token-exists-counter) (writer method).
• token-fact-count (function).
• token-facts (reader method).
• (setf token-facts) (writer method).
• token-find-fact (function).
• token-hash-code (reader method).
• (setf token-hash-code) (writer method).
• token-increment-exists-counter (function).
• token-increment-not-counter (function).
• token-make-fact-list (function).
• token-negated-p (function).
• token-not-counter (reader method).
• (setf token-not-counter) (writer 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).

Source

lisa.asd.

Parent Component

core (module).

Public Interface

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

Internals

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

4.1.29 lisa/src/implementations/workarounds.lisp

Source

lisa.asd.

Parent Component

implementations (module).

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

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Internals

• 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 (reader method).
• (setf shared-node-refcnt) (writer method).
• shared-node-successor-nodes (function).
• shared-node-successors (reader method).

4.1.32 lisa/src/rete/successor.lisp

Dependency

shared-node.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

print-object (method).

Internals

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

4.1.35 lisa/src/rete/node1.lisp

Dependency

terminal-node.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

print-object (method).

Internals

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

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

Dependency

node1.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

print-object (method).

Internals

• 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 (reader method).
• join-node-logical-block (reader method).
• join-node-right-memory (reader method).
• join-node-successor (reader method).
• (setf join-node-successor) (writer method).
• join-node-tests (reader method).
• (setf join-node-tests) (writer 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).

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

rete-network (class).

Internals

• *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 (reader 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 (reader method).
• right-input (function).
• set-leaf-node (function).

4.1.42 lisa/src/rete/tms.lisp

Dependency

rete-compiler.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

pass-tokens-to-successor (method).

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

Dependency

tms.lisp (file).

Source

lisa.asd.

Parent Component

rete (module).

Internals

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

Source

lisa.asd.

Parent Component

rete (module).

Public Interface

show-network (function).

4.1.45 lisa/src/config/config.lisp

Source

lisa.asd.

Parent Component

config (module).

4.1.46 lisa/src/config/epilogue.lisp

Dependency

config.lisp (file).

Source

lisa.asd.

Parent Component

config (module).

Packages

lisa-lisp.

Public Interface

initial-fact (class).

Internals

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

6.1.1 Macros

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

Package

lisa.

Source

language.lisp.

Macro: compose (&rest functions) ¶

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

Package

lisa.utils.

Source

utils.lisp.

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

Package

lisa.

Source

language.lisp.

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

Package

lisa.

Source

language.lisp.

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

Package

lisa.

Source

language.lisp.

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

Package

lisa.

Source

language.lisp.

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

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

Package

lisa.utils.

Source

utils.lisp.

Macro: modify (fact &body body) ¶

Package

lisa.

Source

language.lisp.

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

Package

lisa.

Source

retrieve.lisp.

Macro: undefcontext (context-name) ¶

Package

lisa.

Source

language.lisp.