This is the lisa Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Fri Sep 15 05:37:33 2023 GMT+0.
lisa/lisa.asdlisa/src/packages/pkgdecl.lisplisa/src/utils/compose.lisplisa/src/utils/utils.lisplisa/src/belief-systems/belief.lisplisa/src/belief-systems/certainty-factors.lisplisa/src/reflect/reflect.lisplisa/src/core/preamble.lisplisa/src/core/conditions.lisplisa/src/core/deffacts.lisplisa/src/core/fact.lisplisa/src/core/watches.lisplisa/src/core/activation.lisplisa/src/core/heap.lisplisa/src/core/conflict-resolution-strategies.lisplisa/src/core/context.lisplisa/src/core/rule.lisplisa/src/core/pattern.lisplisa/src/core/rule-parser.lisplisa/src/core/fact-parser.lisplisa/src/core/language.lisplisa/src/core/tms-support.lisplisa/src/core/rete.lisplisa/src/core/belief-interface.lisplisa/src/core/meta.lisplisa/src/core/binding.lisplisa/src/core/token.lisplisa/src/core/retrieve.lisplisa/src/implementations/workarounds.lisplisa/src/rete/node-tests.lisplisa/src/rete/shared-node.lisplisa/src/rete/successor.lisplisa/src/rete/node-pair.lisplisa/src/rete/terminal-node.lisplisa/src/rete/node1.lisplisa/src/rete/join-node.lisplisa/src/rete/node2.lisplisa/src/rete/node2-not.lisplisa/src/rete/node2-test.lisplisa/src/rete/node2-exists.lisplisa/src/rete/rete-compiler.lisplisa/src/rete/tms.lisplisa/src/rete/network-ops.lisplisa/src/rete/network-crawler.lisplisa/src/config/config.lisplisa/src/config/epilogue.lispThe main system appears first, followed by any subsystem dependency.
Modules are listed depth-first from the system components tree.
lisa/srclisa/src/packageslisa/src/utilslisa/src/belief-systemslisa/src/reflectlisa/src/corelisa/src/implementationslisa/src/retelisa/src/configlisa/srclisa (system).
packages (module).
utils (module).
belief-systems (module).
reflect (module).
core (module).
implementations (module).
rete (module).
config (module).
lisa/src/utilspackages (module).
src (module).
compose.lisp (file).
utils.lisp (file).
lisa/src/belief-systemsutils (module).
src (module).
belief.lisp (file).
certainty-factors.lisp (file).
lisa/src/reflectbelief-systems (module).
src (module).
reflect.lisp (file).
lisa/src/corereflect (module).
src (module).
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).
lisa/src/implementationscore (module).
src (module).
workarounds.lisp (file).
lisa/src/reteimplementations (module).
src (module).
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).
lisa/src/configrete (module).
src (module).
config.lisp (file).
epilogue.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
lisa/lisa.asdlisa/src/packages/pkgdecl.lisplisa/src/utils/compose.lisplisa/src/utils/utils.lisplisa/src/belief-systems/belief.lisplisa/src/belief-systems/certainty-factors.lisplisa/src/reflect/reflect.lisplisa/src/core/preamble.lisplisa/src/core/conditions.lisplisa/src/core/deffacts.lisplisa/src/core/fact.lisplisa/src/core/watches.lisplisa/src/core/activation.lisplisa/src/core/heap.lisplisa/src/core/conflict-resolution-strategies.lisplisa/src/core/context.lisplisa/src/core/rule.lisplisa/src/core/pattern.lisplisa/src/core/rule-parser.lisplisa/src/core/fact-parser.lisplisa/src/core/language.lisplisa/src/core/tms-support.lisplisa/src/core/rete.lisplisa/src/core/belief-interface.lisplisa/src/core/meta.lisplisa/src/core/binding.lisplisa/src/core/token.lisplisa/src/core/retrieve.lisplisa/src/implementations/workarounds.lisplisa/src/rete/node-tests.lisplisa/src/rete/shared-node.lisplisa/src/rete/successor.lisplisa/src/rete/node-pair.lisplisa/src/rete/terminal-node.lisplisa/src/rete/node1.lisplisa/src/rete/join-node.lisplisa/src/rete/node2.lisplisa/src/rete/node2-not.lisplisa/src/rete/node2-test.lisplisa/src/rete/node2-exists.lisplisa/src/rete/rete-compiler.lisplisa/src/rete/tms.lisplisa/src/rete/network-ops.lisplisa/src/rete/network-crawler.lisplisa/src/config/config.lisplisa/src/config/epilogue.lisplisa/lisa.asdlisa (system).
lisa.
*lisa-root-pathname* (special variable).
lisa-debugger (function).
make-lisa-path (function).
lisa/src/utils/compose.lisputils (module).
build-lambda-expression (function).
compile-function (macro).
lisa/src/utils/utils.lispcompose.lisp (file).
utils (module).
collect (function).
compose (macro).
find-after (function).
find-before (function).
find-if-after (function).
flatten (function).
lsthash (function).
map-in (macro).
string-tokens (function).
+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).
lisa/src/belief-systems/belief.lispbelief-systems (module).
adjust-belief (generic function).
belief->english (generic function).
belief-factor (generic function).
lisa/src/belief-systems/certainty-factors.lispbelief.lisp (file).
belief-systems (module).
adjust-belief (method).
adjust-belief (method).
belief->english (method).
false-p (function).
true-p (function).
unknown-p (function).
+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).
lisa/src/reflect/reflect.lispreflect (module).
class-all-superclasses (function).
class-slot-list (function).
find-direct-superclasses (function).
class-slot-initargs (function).
is-standard-classp (function).
lisa/src/core/preamble.lispcore (module).
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).
*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).
lisa/src/core/conditions.lisppreamble.lisp (file).
core (module).
duplicate-fact (condition).
rule-name (reader method).
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).
lisa/src/core/deffacts.lispconditions.lisp (file).
core (module).
deffacts (class).
print-object (method).
deffacts-fact-list (reader method).
deffacts-name (reader method).
make-deffacts (function).
lisa/src/core/fact.lispdeffacts.lisp (file).
core (module).
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).
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).
lisa/src/core/watches.lispfact.lisp (file).
core (module).
*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).
lisa/src/core/activation.lispwatches.lisp (file).
core (module).
activation (class).
print-object (method).
*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).
lisa/src/core/heap.lispactivation.lisp (file).
core (module).
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).
*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).
lisa/src/core/conflict-resolution-strategies.lispheap.lisp (file).
core (module).
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).
lisa/src/core/context.lispcore (module).
context (class).
context-name (reader method).
print-object (method).
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).
lisa/src/core/rule.lispcontext.lisp (file).
core (module).
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).
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).
lisa/src/core/pattern.lisprule.lisp (file).
core (module).
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).
lisa/src/core/rule-parser.lisppattern.lisp (file).
core (module).
*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).
lisa/src/core/fact-parser.lisprule-parser.lisp (file).
core (module).
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).
lisa/src/core/language.lispfact-parser.lisp (file).
core (module).
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).
expand-slots (function).
lisa/src/core/tms-support.lisplanguage.lisp (file).
core (module).
*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).
lisa/src/core/rete.lisptms-support.lisp (file).
core (module).
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).
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).
lisa/src/core/belief-interface.lisprete.lisp (file).
core (module).
belief-factor (method).
belief-factor (method).
lisa/src/core/meta.lispbelief-interface.lisp (file).
core (module).
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).
lisa/src/core/binding.lispmeta.lisp (file).
core (module).
%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).
lisa/src/core/token.lispbinding.lisp (file).
core (module).
token (class).
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).
lisa/src/core/retrieve.lisptoken.lisp (file).
core (module).
retrieve (macro).
with-simple-query (macro).
*query-result* (special variable).
defquery (macro).
run-query (function).
lisa/src/rete/node-tests.lisprete (module).
*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).
lisa/src/rete/successor.lispshared-node.lisp (file).
rete (module).
call-successor (function).
make-successor (function).
successor-connector (function).
successor-node (function).
lisa/src/rete/node-pair.lispsuccessor.lisp (file).
rete (module).
make-node-pair (function).
node-pair-child (function).
node-pair-parent (function).
lisa/src/rete/terminal-node.lispnode-pair.lisp (file).
rete (module).
print-object (method).
accept-token (method).
accept-token (method).
accept-token (method).
make-terminal-node (function).
terminal-node (class).
terminal-node-rule (reader method).
lisa/src/rete/node1.lispterminal-node.lisp (file).
rete (module).
print-object (method).
accept-token (method).
accept-token (method).
add-successor (method).
add-successor (method).
make-node1 (function).
node1 (class).
node1-test (reader method).
remove-successor (method).
lisa/src/rete/join-node.lispnode1.lisp (file).
rete (module).
print-object (method).
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).
lisa/src/rete/node2.lispjoin-node.lisp (file).
rete (module).
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).
lisa/src/rete/node2-not.lispnode2.lisp (file).
rete (module).
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).
lisa/src/rete/node2-test.lispnode2-not.lisp (file).
rete (module).
accept-tokens-from-left (method).
accept-tokens-from-left (method).
make-node2-test (function).
node2-test (class).
lisa/src/rete/node2-exists.lispnode2-test.lisp (file).
rete (module).
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).
lisa/src/rete/rete-compiler.lispnode2-exists.lisp (file).
rete (module).
rete-network (class).
*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).
lisa/src/rete/tms.lisprete-compiler.lisp (file).
rete (module).
pass-tokens-to-successor (method).
lisa/src/rete/network-ops.lisptms.lisp (file).
rete (module).
*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).
lisa/src/rete/network-crawler.lispnetwork-ops.lisp (file).
rete (module).
show-network (function).
lisa/src/config/epilogue.lispconfig.lisp (file).
config (module).
initial-fact (class).
define-lisa-lisp (macro).
query-fact (class).
Packages are listed by definition order.
lisa.heapheap
common-lisp.
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).
*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).
lisa.beliefbelief
common-lisp.
adjust-belief (generic function).
belief->english (generic function).
belief-factor (generic function).
false-p (function).
true-p (function).
unknown-p (function).
+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).
lisacommon-lisp.
activation (class).
active-rule (function).
agenda (function).
(setf allow-duplicate-facts) (setf expander).
allow-duplicate-facts (function).
assert (macro).
assert-instance (function).
auto-focus-p (function).
clear (function).
(setf consider-taxonomy) (setf expander).
consider-taxonomy (function).
context (class).
context-name (generic reader).
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 reader).
(setf fact-id) (generic writer).
fact-name (generic reader).
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 reader).
rete-network (class).
retract (generic function).
retract-instance (function).
retrieve (macro).
rule (function).
rule (class).
rule-comment (generic reader).
rule-context (generic reader).
rule-default-name (function).
rule-name (generic reader).
rule-salience (generic reader).
rule-short-name (generic reader).
rules (function).
run (function).
show-network (function).
slot-value-of-instance (generic function).
(setf slot-value-of-instance) (generic function).
token (class).
undefcontext (macro).
undefrule (function).
unwatch (function).
use-default-engine (function).
(setf use-fancy-assert) (setf expander).
use-fancy-assert (function).
walk (function).
watch (function).
watching (function).
with-inference-engine (macro).
with-simple-query (macro).
%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-from-right (generic function).
accept-tokens-from-left (generic function).
acquire-meta-data (function).
activation-eligible (generic reader).
(setf activation-eligible) (generic writer).
activation-fact-list (function).
activation-priority (generic function).
activation-rule (generic reader).
activation-timestamp (generic reader).
activation-tokens (generic reader).
active-context (function).
active-engine (function).
active-tokens (function).
add-activation (generic function).
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-rule-to-context (function).
add-rule-to-network (function).
add-successor (generic function).
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).
assert-autofacts (function).
assert-fact (generic function).
assert-fact-aux (generic function).
attach-rule-nodes (function).
belief-factor (generic reader).
(setf belief-factor) (generic writer).
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-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-node-test-table (function).
clear-system-environment (function).
cls-name (generic reader).
collect-bindings (function).
collect-constraint-bindings (function).
combine-tokens (generic function).
compile-function (macro).
compile-rule (function).
compile-rule-behavior (function).
compile-rule-into-network (function).
compound-pattern-p (function).
conflict-set (generic function).
constrained-slot-p (function).
constraintp (macro).
context-activation-list (function).
context-rule-list (function).
context-rules (generic reader).
context-strategy (generic reader).
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).
deffacts-fact-list (generic reader).
deffacts-name (generic reader).
define-lisa-lisp (macro).
define-rule (function).
defquery (macro).
depth-first-strategy (class).
disable-activation (generic function).
distribute-token (function).
duplicate-fact-existing-fact (generic reader).
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).
existential-pattern-p (function).
expand-slots (function).
extract-rule-headers (function).
fact-clos-instance (generic reader).
fact-id-table (generic reader).
(setf fact-id-table) (generic writer).
fact-meta-data (generic reader).
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).
fact-shadowsp (generic reader).
fact-slot-table (generic reader).
fact-symbolic-id (function).
find-activation (generic function).
find-activation-binding (function).
find-all-activations (generic function).
find-any-logical-boundaries (function).
find-conditional-element-parser (function).
find-existing-successor (generic function).
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-slot-binding (function).
find-test (function).
fire-activation (generic function).
fire-rule (generic function).
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-token (function).
generic-pattern-p (function).
get-activation-list (function).
get-all-activations (generic function).
get-class-name (function).
get-fact-list (function).
get-next-activation (generic function).
get-rule-list (function).
get-slot-list (function).
get-slot-value (generic function).
get-slot-values (function).
get-superclasses (function).
halt-engine (function).
has-superclass (function).
hash-key (generic function).
heap (generic reader).
import-class-specification (function).
inactive-p (function).
increment-use-count (generic function).
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).
intra-pattern-bindings-p (function).
intra-pattern-slot-p (function).
join-node (class).
join-node-add-test (generic function).
join-node-left-memory (generic reader).
join-node-logical-block (generic reader).
join-node-right-memory (generic reader).
join-node-successor (generic reader).
(setf join-node-successor) (generic writer).
join-node-tests (generic reader).
(setf join-node-tests) (generic writer).
leaf-node (function).
left-input (function).
left-memory-count (function).
list-activations (generic function).
literalp (macro).
location (generic reader).
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-activations (generic function).
make-activation (function).
make-add-token (generic function).
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-reset-token (generic function).
make-rete (function).
make-rete-network (generic function).
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).
merge-networks (function).
merge-rule-into-network (function).
modify-fact (generic function).
multifieldp (macro).
negated-pattern-p (function).
negated-slot-p (function).
next-activation (generic function).
next-context (function).
next-fact-id (function).
node-pair-child (function).
node-pair-parent (function).
node-referenced-p (generic function).
node-test-cache (generic reader).
node-use-count (generic function).
node1 (class).
node1-test (generic reader).
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 (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).
parsing-error (condition).
pass-token (function).
pass-token-on-right (function).
pass-token-to-successors (generic function).
pass-tokens-on-left (function).
pass-tokens-to-successor (generic function).
pattern-binding-p (function).
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).
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-autofacts (function).
remove-fact-from-network (function).
remove-node-from-parent (generic function).
remove-rule-from-context (generic function).
remove-rule-from-network (function).
remove-successor (generic function).
remove-token (class).
remove-token-from-right-memory (function).
remove-tokens-from-left-memory (function).
replicate-token (function).
reset-activations (generic function).
reset-engine (generic function).
reset-focus-stack (function).
reset-network (function).
reset-token (class).
rete-autofacts (generic reader).
(setf rete-autofacts) (generic writer).
rete-contexts (generic reader).
rete-dependency-table (generic reader).
(setf rete-dependency-table) (generic writer).
rete-fact-count (function).
rete-fact-table (generic reader).
(setf rete-fact-table) (generic writer).
rete-firing-count (generic reader).
(setf rete-firing-count) (generic writer).
rete-focus-stack (generic reader).
(setf rete-focus-stack) (generic writer).
rete-halted (generic reader).
(setf rete-halted) (generic writer).
rete-instance-table (generic reader).
rete-meta-data (generic reader).
rete-next-fact-id (generic reader).
(setf rete-next-fact-id) (generic writer).
rete-roots (generic reader).
retract-fact (generic function).
retrieve-contexts (function).
right-input (function).
right-memory-count (function).
rule-actions (generic reader).
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).
rule-activations (generic reader).
(setf rule-activations) (generic writer).
rule-active-dependencies (generic reader).
rule-auto-focus (generic reader).
rule-behavior (generic reader).
(setf rule-behavior) (generic writer).
rule-binding-set (generic reader).
rule-engine (generic reader).
rule-logical-marker (generic reader).
rule-node-list (generic reader).
rule-parsing-error (condition).
rule-patterns (generic reader).
run-engine (generic function).
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 reader).
(setf shared-node-refcnt) (generic writer).
shared-node-successor-nodes (function).
shared-node-successors (generic reader).
show-deffacts (function).
simple-bound-slot-p (function).
simple-slot-p (function).
slot-name (generic reader).
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 reader).
test-against-left-memory (generic function).
test-against-right-memory (generic function).
test-pattern-p (function).
test-pattern-predicate (function).
test-tokens (generic function).
text (generic reader).
token-contents (generic reader).
token-decrement-exists-counter (function).
token-decrement-not-counter (function).
token-exists-counter (generic reader).
(setf token-exists-counter) (generic writer).
token-fact-count (function).
token-facts (generic reader).
(setf token-facts) (generic writer).
token-find-fact (function).
token-hash-code (generic reader).
(setf token-hash-code) (generic writer).
token-increment-exists-counter (function).
token-increment-not-counter (function).
token-make-fact-list (function).
token-negated-p (function).
token-not-counter (generic reader).
(setf token-not-counter) (generic writer).
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).
lisa.reflectreflect
common-lisp.
class-all-superclasses (function).
class-slot-list (function).
find-direct-superclasses (function).
class-slot-initargs (function).
is-standard-classp (function).
lisa.utilsutils
common-lisp.
collect (function).
compose (macro).
find-after (function).
find-before (function).
find-if-after (function).
flatten (function).
lsthash (function).
map-in (macro).
string-tokens (function).
+eof+ (special variable).
case-error (condition).
code (condition).
code-args (generic reader).
code-mesg (generic reader).
code-proc (generic reader).
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).
lisa-systemasdf/interface.
common-lisp.
*lisa-root-pathname* (special variable).
lisa-debugger (function).
make-lisa-path (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
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))))
‘map-into’ the first sequence, evaluating it once. (map-in F S) == (map-into S F S)
Evaluates BODY within the context of the inference engine ENGINE. This macro is MP-safe.
lisa.
For each variable/instance pair in a query result, invoke BODY with VAR bound to the query variable and VALUE bound to the instance.
lisa.
lisa.
Return the list of slots of a CLASS.
CLASS can be a symbol, a class object (as returned by ‘class-of’)
or an instance of a class.
If the second optional argument ALL is non-NIL (default),
all slots are returned, otherwise only the slots with
:allocation type :instance are returned.
Returns the currently-active inference engine. Usually only invoked by code running within the context of WITH-INFERENCE-ENGINE.
lisa.
Returns that portion of SEQUENCE that occurs after ITEM, or NIL otherwise.
Returns both that portion of SEQUENCE that occurs before ITEM and the rest of SEQUENCE anchored at ITEM, or NIL otherwise.
Remove all elements from the heap, leaving it empty. Faster (& more convenient) than calling HEAP-REMOVE until the heap is empty.
Returns non-NIL if & only if the heap contains no items.
Insert a new element into the heap. Return the element (which probably
isn’t very useful).
Return the first element in the heap, but don’t remove it. It’ll be an error if the heap is empty. (Should that be an error?)
Remove the minimum (first) element in the heap & return it. It’s an error if the heap is already empty. (Should that be an error?)
Applies FUNC to each entry in hashtable HT and, if FUNC so indicates, appends the object to a LIST. If NIL is an acceptable object, then FUNC should return two values; NIL and T.
Read from STRING repeatedly, starting with START, up to MAX tokens.
Return the list of objects read and the final index in STRING.
Binds ‘*package*’ to the keyword package,
so that the bare symbols are read as keywords.
number)) ¶lisa.
rule-parsing-error)) ¶fact) &key slots instance) ¶Initializes a FACT instance. SLOTS is a list of slot name / value pairs,
where (FIRST SLOTS) is a symbol and (SECOND SLOT) is the slot’s
value. INSTANCE is the CLOS instance to be associated with this FACT; if
INSTANCE is NIL then FACT is associated with a template and a suitable
instance must be created; otherwise FACT is bound to a user-defined class.
activation) strm) ¶terminal-node) strm) ¶Represents a rule activation.
lisa.
:rule
This slot is read-only.
:tokens
This slot is read-only.
(incf lisa::*activation-timestamp*)
This slot is read-only.
t
This class represents ’autoloaded’ facts that are asserted automatically as part of an inference engine reset.
This class represents all facts in the knowledge base.
lisa.
-1
(make-hash-table :test (function equal))
This slot is read-only.
:belief
This slot is read-only.
This slot is read-only.
This slot is read-only.
lisa.
add-activation.
assert-fact.
assert-fact-aux.
disable-activation.
(setf fact-id-table).
fact-id-table.
forget-rule.
forget-rule.
forget-rule.
initialize-instance.
mark-clos-instance-as-changed.
modify-fact.
reset-engine.
(setf rete-autofacts).
rete-autofacts.
rete-contexts.
(setf rete-dependency-table).
rete-dependency-table.
(setf rete-fact-table).
rete-fact-table.
(setf rete-firing-count).
rete-firing-count.
(setf rete-focus-stack).
rete-focus-stack.
(setf rete-halted).
rete-halted.
rete-instance-table.
rete-meta-data.
rete-network.
(setf rete-next-fact-id).
rete-next-fact-id.
retract-fact.
retract-fact.
retract-fact.
run-engine.
(make-hash-table :test (function equalp))
(make-hash-table)
(make-hash-table)
This slot is read-only.
(lisa::make-rete-network)
This slot is read-only.
-1
(list)
(make-hash-table)
This slot is read-only.
(make-hash-table :test (function equal))
(make-hash-table :test (function equal))
This slot is read-only.
(list)
0
Represents production rules after they’ve been analysed by the language parser.
lisa.
belief-factor.
belief-factor.
conflict-set.
fire-rule.
forget-rule.
initialize-instance.
print-object.
rule-actions.
(setf rule-activations).
rule-activations.
rule-active-dependencies.
rule-auto-focus.
(setf rule-behavior).
rule-behavior.
rule-binding-set.
rule-comment.
rule-context.
rule-engine.
rule-logical-marker.
rule-name.
rule-node-list.
rule-patterns.
rule-salience.
rule-short-name.
:short-name
This slot is read-only.
:comment
This slot is read-only.
0
:salience
This slot is read-only.
:context
This slot is read-only.
:auto-focus
This slot is read-only.
:behavior
:binding-set
This slot is read-only.
This slot is read-only.
(make-hash-table :test (function equal))
(list)
:patterns
This slot is read-only.
:actions
This slot is read-only.
:logical-marker
This slot is read-only.
:belief
This slot is read-only.
(make-hash-table :test (function equal))
This slot is read-only.
:engine
This slot is read-only.
lisa.
(make-array 0 :adjustable t :fill-pointer t)
0
0
(list)
This slot is read-only.
*The end-of-file object.
To be passed as the third arg to ‘read’ and checked against using ‘eq’.
Build and compile an anonymous function, using the body provided in FORMS.
lisa.
Define a typed constant.
Define a typed global variable.
Defines a new query identified by the symbol NAME.
lisa.
Declare an inline defun.
Make array with elements of TYPE, initializing.
Bind symbols to gensyms. First sym is a string - ‘gensym’ prefix. Inspired by Paul Graham, <On Lisp>, p. 145.
lisa.
lisa.
The alpha memory nodes and tests
lisa.
Return the list of initargs of a CLASS.
CLASS can be a symbol, a class object (as returned by ‘class-of’)
or an instance of a class.
If the second optional argument ALL is non-NIL (default),
initargs for all slots are returned, otherwise only the slots with
:allocation type :instance are returned.
Combines the certainty factors of objects matched within a single rule.
Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.
lisa.
copy-seq.
Return T if the stream has no more data in it.
lisa.
lisa.
Retrieves the CLOS instance associated with a fact. FACT is a FACT instance.
Locates the META-FACT instance associated with SYMBOLIC-NAME. If ERRORP is non-nil, signals an error if no binding is found.
Given a variable, either retrieve the binding object for it or create a new one.
lisa.
Given a variable, retrieve the binding object for it.
lisa.
Supports the parsing of embedded DEFRULE forms.
lisa.
Invoke the garbage collector.
Returns a list of slot name / value pairs for every slot in a fact. FACT is a fact instance.
Return the index of the element which satisfies the predicate FNP. If there is no such element, return the fill pointer of HEAP’s array A.
Initialize the indicated heap. If INITIAL-CONTENTS is a non-empty list, the heap’s contents are intiailized to the values in that list; they are ordered according to LESS-FN. INITIAL-CONTENTS must be a list or NIL.
Initializes a fact associated with a user-created CLOS instance. The fact’s slot values are taken from the CLOS instance. FACT is a FACT instance; INSTANCE is the CLOS instance associated with this fact.
Initializes a template-bound FACT. An instance of the FACT’s associated class is created and the slots of both are synchronized from the SLOTS list. FACT is a FACT instance; SLOTS is a list of symbol/value pairs.
Sets the value of a slot in a fact’s slot table. FACT is a FACT instance; SLOT-NAME is a symbol; VALUE is the slot’s new value.
Is every variable in a pattern ’local’; i.e. does not reference a binding in a previous pattern?
lisa.
Return the index of the lesser child. If there’s one child, return its index. If there are no children, return (FILL-POINTER (HEAP-A HEAP)).
The default constructor for class FACT. NAME is the symbolic fact name as used in rules; SLOTS is a list of symbol/value pairs.
A constructor for class FACT that creates an instance bound to a user-defined CLOS instance. NAME is the symbolic fact name; CLOS-INSTANCE is a user-supplied CLOS object.
Creates a FACT instance using another FACT instance as a
template. Basically a clone operation useful for such things as asserting
DEFFACTS.
lisa.
lisa.
Parses a single slot constraint, eg. (slot-name ?var 1) or (slot-name ?var (equal ?var 1))
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
lisa.
Private. Move the HOLE down until it’s in a location suitable for X. Return the new index of the hole.
Private. Moves the HOLE until it’s in a location suitable for holding
X. Does not actually bind X to the HOLE. Returns the new
index of the HOLE. The hole itself percolates down; it’s the X
that percolates up.
lisa.
A useful default for required arguments and DEFSTRUCT slots.
lisa.
lisa.
Runs a query (RULE instance), and returns both the value of *QUERY-RESULT* and the query name itself.
lisa.
Assigns to a slot the value from the corresponding slot in the fact’s CLOS instance. FACT is a FACT instance; META-FACT is a META-FACT instance; INSTANCE is the fact’s CLOS instance; SLOT-NAME is a symbol representing the affected slot.
Assigns a new value to a slot in a fact and its associated CLOS instance. SLOT-NAME is a symbol; VALUE is the new value for the slot.
lisa.
lisa.
Is the slot value a simple constraint?
lisa.
Is the slot value a simple negated constraint?
lisa.
Is the slot value a Lisa variable?
lisa.
Makes a fact’s slot values and its CLOS instance’s slot values match. If a slot identifier is provided then only that slot is synchronized. FACT is a FACT instance; EFFECTIVE-SLOT, if supplied, is a symbol representing the CLOS instance’s slot.
lisa.
node1) (token reset-token)) ¶terminal-node) (token reset-token)) ¶terminal-node) (tokens remove-token)) ¶terminal-node) (tokens add-token)) ¶lisa.
node2-exists) (right-token remove-token)) ¶node2-exists) (right-token add-token)) ¶node2-not) (right-token remove-token)) ¶node2) (right-token remove-token)) ¶join-node) (left-tokens reset-token)) ¶lisa.
node2-exists) (left-tokens remove-token)) ¶node2-exists) (left-tokens add-token)) ¶node2-test) (left-tokens remove-token)) ¶node2-test) (left-tokens add-token)) ¶node2-not) (left-tokens remove-token)) ¶node2) (left-tokens remove-token)) ¶join-node) (left-tokens reset-token)) ¶lisa.
activation)) ¶automatically generated reader method
lisa.
activation)) ¶automatically generated writer method
lisa.
activation)) ¶lisa.
activation)) ¶automatically generated reader method
rule.
lisa.
activation)) ¶automatically generated reader method
lisa.
activation)) ¶automatically generated reader method
lisa.
builtin-strategy) activation) ¶lisa.
shared-node) new-node connector) ¶lisa.
inference-engine-object) fact class) ¶lisa.
class-parsing-error)) ¶not-implemented)) ¶mesg.
case-error)) ¶mesg.
lisa.
terminal-node)) ¶shared-node)) ¶lisa.
duplicate-fact)) ¶lisa.
builtin-strategy) rule token) ¶lisa.
builtin-strategy) rule) ¶lisa.
shared-node) (node node1)) ¶lisa.
activation)) ¶lisa.
priority-queue-mixin)) ¶lisa.
priority-queue-mixin)) ¶lisa.
activation)) ¶lisa.
priority-queue-mixin)) ¶automatically generated reader method
heap.
lisa.
shared-node)) ¶lisa.
priority-queue-mixin) activation) ¶lisa.
builtin-strategy)) ¶lisa.
parsing-error)) ¶lisa.
priority-queue-mixin) rule tokens) ¶lisa.
priority-queue-mixin) rule) ¶lisa.
builtin-strategy)) ¶lisa.
shared-node)) ¶lisa.
rete-network)) ¶automatically generated reader method
lisa.
shared-node)) ¶lisa.
shared-node) token) ¶lisa.
builtin-strategy)) ¶lisa.
rete-network) (parent shared-node) child) ¶rete-network) parent child) ¶lisa.
priority-queue-mixin)) ¶lisa.
rete-network)) ¶automatically generated reader method
lisa.
lisa.
lisa.
lisa.
slot-parsing-error)) ¶lisa.
terminal-node)) ¶automatically generated reader method
rule.
lisa.
node2-exists) (right-token remove-token)) ¶node2-exists) (right-token add-token)) ¶node2-not) (right-token remove-token)) ¶node2) (right-token remove-token)) ¶lisa.
node2-exists) (left-tokens remove-token)) ¶node2-exists) (left-tokens add-token)) ¶lisa.
parsing-error)) ¶text.
An error in a case statement.
This carries the function name which makes the error message more useful.
code.
lisa.
An error in the user code.
error.
Your implementation does not support this functionality.
lisa.
error.
lisa.
lisa.
Represents the canonical form of a pattern analysed by the DEFRULE parser.
lisa.
structure-object.
common-lisp.
symbol
integer
0
list
list
symbol
list
common-lisp.
symbol
:generic
Represents the canonical form of a slot within a pattern analysed by the DEFRULE parser.
lisa.
structure-object.
symbol
list
symbol
symbol
list
A breadth-first conflict resolution strategy.
lisa.
A base class for all LISA builtin conflict resolution strategies.
lisa.
A depth-first conflict resolution strategy.
lisa.
lisa.
accept-token-from-right.
accept-tokens-from-left.
add-node-set.
add-successor.
clear-memories.
decrement-use-count.
join-node-add-test.
join-node-left-memory.
join-node-logical-block.
join-node-right-memory.
(setf join-node-successor).
join-node-successor.
(setf join-node-tests).
join-node-tests.
pass-tokens-to-successor.
pass-tokens-to-successor.
print-object.
test-tokens.
This slot is read-only.