Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the lisa Reference Manual, generated automatically by Declt version 3.0 "Montgomery Scott" on Tue Dec 22 14:01:41 2020 GMT+0.
• Introduction | What lisa is all about | |
• Systems | The systems documentation | |
• Modules | The modules documentation | |
• Files | The files documentation | |
• Packages | The packages documentation | |
• Definitions | The symbols documentation | |
• Indexes | Concepts, functions, variables and data types |
This is a fork of http://sourceforge.net/projects/lisa TODO: 1) Fix CL-implementation specific issues for OpenMCL and SBCL. DONE! 2009-06-24 2) Replace the hash-table based implementation of the activation list with an adjustable array. 3) Implement support for not as a connected constraint 4) Implement possibility to bind the same variable in two or more slots and make it so that this creates a join node on that variable in the Rete network. 5) ...
Next: Modules, Previous: Introduction, Up: Top [Contents][Index]
The main system appears first, followed by any subsystem dependency.
• The lisa system |
David E. Young
David E. Young
LGPL
The Lisa expert system shell
lisa.asd (file)
src (module)
Modules are listed depth-first from the system components tree.
Next: The lisa/src/packages module, Previous: Modules, Up: Modules [Contents][Index]
lisa (system)
src/
Next: The lisa/src/utils module, Previous: The lisa/src module, Up: Modules [Contents][Index]
src (module)
src/packages/
pkgdecl.lisp (file)
Next: The lisa/src/belief-systems module, Previous: The lisa/src/packages module, Up: Modules [Contents][Index]
packages (module)
src (module)
src/utils/
Next: The lisa/src/reflect module, Previous: The lisa/src/utils module, Up: Modules [Contents][Index]
utils (module)
src (module)
src/belief-systems/
Next: The lisa/src/core module, Previous: The lisa/src/belief-systems module, Up: Modules [Contents][Index]
belief-systems (module)
src (module)
src/reflect/
reflect.lisp (file)
Next: The lisa/src/implementations module, Previous: The lisa/src/reflect module, Up: Modules [Contents][Index]
reflect (module)
src (module)
src/core/
Next: The lisa/src/rete module, Previous: The lisa/src/core module, Up: Modules [Contents][Index]
core (module)
src (module)
src/implementations/
workarounds.lisp (file)
Next: The lisa/src/config module, Previous: The lisa/src/implementations module, Up: Modules [Contents][Index]
implementations (module)
src (module)
src/rete/reference/
Previous: The lisa/src/rete module, Up: Modules [Contents][Index]
rete (module)
src (module)
src/config/
Files are sorted by type and then listed depth-first from the systems components trees.
• Lisp files |
Next: The lisa/src/packages/pkgdecl․lisp file, Previous: Lisp files, Up: Lisp files [Contents][Index]
lisa.asd
lisa (system)
Next: The lisa/src/utils/compose․lisp file, Previous: The lisa․asd file, Up: Lisp files [Contents][Index]
packages (module)
src/packages/pkgdecl.lisp
Next: The lisa/src/utils/utils․lisp file, Previous: The lisa/src/packages/pkgdecl․lisp file, Up: Lisp files [Contents][Index]
utils (module)
src/utils/compose.lisp
Next: The lisa/src/belief-systems/belief․lisp file, Previous: The lisa/src/utils/compose․lisp file, Up: Lisp files [Contents][Index]
compose.lisp (file)
utils (module)
src/utils/utils.lisp
Next: The lisa/src/belief-systems/certainty-factors․lisp file, Previous: The lisa/src/utils/utils․lisp file, Up: Lisp files [Contents][Index]
belief-systems (module)
src/belief-systems/belief.lisp
Next: The lisa/src/reflect/reflect․lisp file, Previous: The lisa/src/belief-systems/belief․lisp file, Up: Lisp files [Contents][Index]
belief.lisp (file)
belief-systems (module)
src/belief-systems/certainty-factors.lisp
Next: The lisa/src/core/preamble․lisp file, Previous: The lisa/src/belief-systems/certainty-factors․lisp file, Up: Lisp files [Contents][Index]
reflect (module)
src/reflect/reflect.lisp
Next: The lisa/src/core/conditions․lisp file, Previous: The lisa/src/reflect/reflect․lisp file, Up: Lisp files [Contents][Index]
core (module)
src/core/preamble.lisp
Next: The lisa/src/core/deffacts․lisp file, Previous: The lisa/src/core/preamble․lisp file, Up: Lisp files [Contents][Index]
preamble.lisp (file)
core (module)
src/core/conditions.lisp
Next: The lisa/src/core/fact․lisp file, Previous: The lisa/src/core/conditions․lisp file, Up: Lisp files [Contents][Index]
conditions.lisp (file)
core (module)
src/core/deffacts.lisp
deffacts (class)
Next: The lisa/src/core/watches․lisp file, Previous: The lisa/src/core/deffacts․lisp file, Up: Lisp files [Contents][Index]
deffacts.lisp (file)
core (module)
src/core/fact.lisp
Next: The lisa/src/core/activation․lisp file, Previous: The lisa/src/core/fact․lisp file, Up: Lisp files [Contents][Index]
fact.lisp (file)
core (module)
src/core/watches.lisp
Next: The lisa/src/core/heap․lisp file, Previous: The lisa/src/core/watches․lisp file, Up: Lisp files [Contents][Index]
watches.lisp (file)
core (module)
src/core/activation.lisp
activation (class)
Next: The lisa/src/core/conflict-resolution-strategies․lisp file, Previous: The lisa/src/core/activation․lisp file, Up: Lisp files [Contents][Index]
activation.lisp (file)
core (module)
src/core/heap.lisp
Next: The lisa/src/core/context․lisp file, Previous: The lisa/src/core/heap․lisp file, Up: Lisp files [Contents][Index]
heap.lisp (file)
core (module)
src/core/conflict-resolution-strategies.lisp
Next: The lisa/src/core/rule․lisp file, Previous: The lisa/src/core/conflict-resolution-strategies․lisp file, Up: Lisp files [Contents][Index]
core (module)
src/core/context.lisp
Next: The lisa/src/core/pattern․lisp file, Previous: The lisa/src/core/context․lisp file, Up: Lisp files [Contents][Index]
context.lisp (file)
core (module)
src/core/rule.lisp
Next: The lisa/src/core/rule-parser․lisp file, Previous: The lisa/src/core/rule․lisp file, Up: Lisp files [Contents][Index]
rule.lisp (file)
core (module)
src/core/pattern.lisp
Next: The lisa/src/core/fact-parser․lisp file, Previous: The lisa/src/core/pattern․lisp file, Up: Lisp files [Contents][Index]
pattern.lisp (file)
core (module)
src/core/rule-parser.lisp
Next: The lisa/src/core/language․lisp file, Previous: The lisa/src/core/rule-parser․lisp file, Up: Lisp files [Contents][Index]
rule-parser.lisp (file)
core (module)
src/core/fact-parser.lisp
Next: The lisa/src/core/tms-support․lisp file, Previous: The lisa/src/core/fact-parser․lisp file, Up: Lisp files [Contents][Index]
fact-parser.lisp (file)
core (module)
src/core/language.lisp
expand-slots (function)
Next: The lisa/src/core/rete․lisp file, Previous: The lisa/src/core/language․lisp file, Up: Lisp files [Contents][Index]
language.lisp (file)
core (module)
src/core/tms-support.lisp
Next: The lisa/src/core/belief-interface․lisp file, Previous: The lisa/src/core/tms-support․lisp file, Up: Lisp files [Contents][Index]
tms-support.lisp (file)
core (module)
src/core/rete.lisp
Next: The lisa/src/core/meta․lisp file, Previous: The lisa/src/core/rete․lisp file, Up: Lisp files [Contents][Index]
rete.lisp (file)
core (module)
src/core/belief-interface.lisp
Next: The lisa/src/core/binding․lisp file, Previous: The lisa/src/core/belief-interface․lisp file, Up: Lisp files [Contents][Index]
belief-interface.lisp (file)
core (module)
src/core/meta.lisp
Next: The lisa/src/core/token․lisp file, Previous: The lisa/src/core/meta․lisp file, Up: Lisp files [Contents][Index]
meta.lisp (file)
core (module)
src/core/binding.lisp
Next: The lisa/src/core/retrieve․lisp file, Previous: The lisa/src/core/binding․lisp file, Up: Lisp files [Contents][Index]
binding.lisp (file)
core (module)
src/core/token.lisp
token (class)
Next: The lisa/src/implementations/workarounds․lisp file, Previous: The lisa/src/core/token․lisp file, Up: Lisp files [Contents][Index]
token.lisp (file)
core (module)
src/core/retrieve.lisp
Next: The lisa/src/rete/node-tests․lisp file, Previous: The lisa/src/core/retrieve․lisp file, Up: Lisp files [Contents][Index]
implementations (module)
src/implementations/workarounds.lisp
Next: The lisa/src/rete/shared-node․lisp file, Previous: The lisa/src/implementations/workarounds․lisp file, Up: Lisp files [Contents][Index]
rete (module)
src/rete/reference/node-tests.lisp
Next: The lisa/src/rete/successor․lisp file, Previous: The lisa/src/rete/node-tests․lisp file, Up: Lisp files [Contents][Index]
node-tests.lisp (file)
rete (module)
src/rete/reference/shared-node.lisp
Next: The lisa/src/rete/node-pair․lisp file, Previous: The lisa/src/rete/shared-node․lisp file, Up: Lisp files [Contents][Index]
shared-node.lisp (file)
rete (module)
src/rete/reference/successor.lisp
Next: The lisa/src/rete/terminal-node․lisp file, Previous: The lisa/src/rete/successor․lisp file, Up: Lisp files [Contents][Index]
successor.lisp (file)
rete (module)
src/rete/reference/node-pair.lisp
Next: The lisa/src/rete/node1․lisp file, Previous: The lisa/src/rete/node-pair․lisp file, Up: Lisp files [Contents][Index]
node-pair.lisp (file)
rete (module)
src/rete/reference/terminal-node.lisp
Next: The lisa/src/rete/join-node․lisp file, Previous: The lisa/src/rete/terminal-node․lisp file, Up: Lisp files [Contents][Index]
terminal-node.lisp (file)
rete (module)
src/rete/reference/node1.lisp
Next: The lisa/src/rete/node2․lisp file, Previous: The lisa/src/rete/node1․lisp file, Up: Lisp files [Contents][Index]
node1.lisp (file)
rete (module)
src/rete/reference/join-node.lisp
Next: The lisa/src/rete/node2-not․lisp file, Previous: The lisa/src/rete/join-node․lisp file, Up: Lisp files [Contents][Index]
join-node.lisp (file)
rete (module)
src/rete/reference/node2.lisp
Next: The lisa/src/rete/node2-test․lisp file, Previous: The lisa/src/rete/node2․lisp file, Up: Lisp files [Contents][Index]
node2.lisp (file)
rete (module)
src/rete/reference/node2-not.lisp
Next: The lisa/src/rete/node2-exists․lisp file, Previous: The lisa/src/rete/node2-not․lisp file, Up: Lisp files [Contents][Index]
node2-not.lisp (file)
rete (module)
src/rete/reference/node2-test.lisp
Next: The lisa/src/rete/rete-compiler․lisp file, Previous: The lisa/src/rete/node2-test․lisp file, Up: Lisp files [Contents][Index]
node2-test.lisp (file)
rete (module)
src/rete/reference/node2-exists.lisp
Next: The lisa/src/rete/tms․lisp file, Previous: The lisa/src/rete/node2-exists․lisp file, Up: Lisp files [Contents][Index]
node2-exists.lisp (file)
rete (module)
src/rete/reference/rete-compiler.lisp
rete-network (class)
Next: The lisa/src/rete/network-ops․lisp file, Previous: The lisa/src/rete/rete-compiler․lisp file, Up: Lisp files [Contents][Index]
rete-compiler.lisp (file)
rete (module)
src/rete/reference/tms.lisp
pass-tokens-to-successor (method)
Next: The lisa/src/rete/network-crawler․lisp file, Previous: The lisa/src/rete/tms․lisp file, Up: Lisp files [Contents][Index]
tms.lisp (file)
rete (module)
src/rete/reference/network-ops.lisp
Next: The lisa/src/config/config․lisp file, Previous: The lisa/src/rete/network-ops․lisp file, Up: Lisp files [Contents][Index]
network-ops.lisp (file)
rete (module)
src/rete/reference/network-crawler.lisp
show-network (function)
Next: The lisa/src/config/epilogue․lisp file, Previous: The lisa/src/rete/network-crawler․lisp file, Up: Lisp files [Contents][Index]
config (module)
src/config/config.lisp
Previous: The lisa/src/config/config․lisp file, Up: Lisp files [Contents][Index]
config.lisp (file)
config (module)
src/config/epilogue.lisp
initial-fact (class)
Next: Definitions, Previous: Files, Up: Top [Contents][Index]
Packages are listed by definition order.
• The lisa-system package | ||
• The lisa.utils package | ||
• The lisa package | ||
• The lisa.belief package | ||
• The lisa.reflect package | ||
• The lisa.heap package | ||
• The lisa-user package | ||
• The lisa-lisp package |
Next: The lisa․utils package, Previous: Packages, Up: Packages [Contents][Index]
lisa.asd
Next: The lisa package, Previous: The lisa-system package, Up: Packages [Contents][Index]
pkgdecl.lisp (file)
utils
common-lisp
Next: The lisa․belief package, Previous: The lisa․utils package, Up: Packages [Contents][Index]
pkgdecl.lisp (file)
common-lisp
Next: The lisa․reflect package, Previous: The lisa package, Up: Packages [Contents][Index]
pkgdecl.lisp (file)
belief
common-lisp
Next: The lisa․heap package, Previous: The lisa․belief package, Up: Packages [Contents][Index]
pkgdecl.lisp (file)
reflect
common-lisp
Next: The lisa-user package, Previous: The lisa․reflect package, Up: Packages [Contents][Index]
pkgdecl.lisp (file)
heap
common-lisp
Next: The lisa-lisp package, Previous: The lisa․heap package, Up: Packages [Contents][Index]
pkgdecl.lisp (file)
common-lisp
Previous: The lisa-user package, Up: Packages [Contents][Index]
epilogue.lisp (file)
common-lisp
Definitions are sorted by export status, category, package, and then by lexicographic order.
• Exported definitions | ||
• Internal definitions |
Next: Internal definitions, Previous: Definitions, Up: Definitions [Contents][Index]
• Exported macros | ||
• Exported functions | ||
• Exported generic functions | ||
• Exported conditions | ||
• Exported classes |
Next: Exported functions, Previous: Exported definitions, Up: Exported definitions [Contents][Index]
language.lisp (file)
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))))
utils.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
‘map-into’ the first sequence, evaluating it once. (map-in F S) == (map-into S F S)
utils.lisp (file)
language.lisp (file)
retrieve.lisp (file)
language.lisp (file)
Evaluates BODY within the context of the inference engine ENGINE. This macro is MP-safe.
preamble.lisp (file)
For each variable/instance pair in a query result, invoke BODY with VAR bound to the query variable and VALUE bound to the instance.
retrieve.lisp (file)
Next: Exported generic functions, Previous: Exported macros, Up: Exported definitions [Contents][Index]
preamble.lisp (file)
language.lisp (file)
preamble.lisp (file)
(setf allow-duplicate-facts) (setf expander)
preamble.lisp (file)
allow-duplicate-facts (function)
language.lisp (file)
reflect.lisp (file)
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.
reflect.lisp (file)
language.lisp (file)
utils.lisp (file)
preamble.lisp (file)
(setf consider-taxonomy) (setf expander)
preamble.lisp (file)
consider-taxonomy (function)
language.lisp (file)
Returns the currently-active inference engine. Usually only invoked by code running within the context of WITH-INFERENCE-ENGINE.
preamble.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
certainty-factors.lisp (file)
Returns that portion of SEQUENCE that occurs after ITEM, or NIL otherwise.
utils.lisp (file)
Returns both that portion of SEQUENCE that occurs before ITEM and the rest of SEQUENCE anchored at ITEM, or NIL otherwise.
utils.lisp (file)
reflect.lisp (file)
utils.lisp (file)
utils.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
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?)
preamble.lisp (file)
preamble.lisp (file)
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.
utils.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
network-crawler.lisp (file)
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.
utils.lisp (file)
certainty-factors.lisp (file)
language.lisp (file)
certainty-factors.lisp (file)
language.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
(setf use-fancy-assert) (setf expander)
preamble.lisp (file)
use-fancy-assert (function)
language.lisp (file)
language.lisp (file)
language.lisp (file)
Next: Exported conditions, Previous: Exported functions, Up: Exported definitions [Contents][Index]
belief.lisp (file)
certainty-factors.lisp (file)
certainty-factors.lisp (file)
belief.lisp (file)
certainty-factors.lisp (file)
belief.lisp (file)
belief-interface.lisp (file)
belief-interface.lisp (file)
automatically generated reader method
context.lisp (file)
language.lisp (file)
language.lisp (file)
language.lisp (file)
automatically generated reader method
rule.lisp (file)
conditions.lisp (file)
preamble.lisp (file)
fact.lisp (file)
Next: Exported classes, Previous: Exported generic functions, Up: Exported definitions [Contents][Index]
conditions.lisp (file)
error (condition)
duplicate-fact-existing-fact (method)
:existing-fact
duplicate-fact-existing-fact (generic function)
Previous: Exported conditions, Up: Exported definitions [Contents][Index]
Represents a rule activation.
activation.lisp (file)
standard-object (class)
:rule
activation-rule (generic function)
:tokens
activation-tokens (generic function)
(incf lisa::*activation-timestamp*)
activation-timestamp (generic function)
t
activation-eligible (generic function)
(setf activation-eligible) (generic function)
context.lisp (file)
standard-object (class)
:name
context-name (generic function)
(make-hash-table :test (function equal))
context-rules (generic function)
:strategy
context-strategy (generic function)
This class represents ’autoloaded’ facts that are asserted automatically as part of an inference engine reset.
deffacts.lisp (file)
standard-object (class)
:name
deffacts-name (generic function)
:fact-list
deffacts-fact-list (generic function)
This class represents all facts in the knowledge base.
fact.lisp (file)
standard-object (class)
:name
fact-name (generic function)
-1
fact-id (generic function)
(setf fact-id) (generic function)
(make-hash-table :test (function equal))
fact-slot-table (generic function)
:belief
belief-factor (generic function)
(setf belief-factor) (generic function)
fact-clos-instance (generic function)
fact-shadowsp (generic function)
fact-meta-data (generic function)
epilogue.lisp (file)
inference-engine-object (class)
rete.lisp (file)
standard-object (class)
(make-hash-table :test (function equalp))
rete-fact-table (generic function)
(setf rete-fact-table) (generic function)
(make-hash-table)
fact-id-table (generic function)
(setf fact-id-table) (generic function)
(make-hash-table)
rete-instance-table (generic function)
(lisa::make-rete-network)
rete-network (generic function)
-1
rete-next-fact-id (generic function)
(setf rete-next-fact-id) (generic function)
(list)
rete-autofacts (generic function)
(setf rete-autofacts) (generic function)
(make-hash-table)
rete-meta-data (generic function)
(make-hash-table :test (function equal))
rete-dependency-table (generic function)
(setf rete-dependency-table) (generic function)
(make-hash-table :test (function equal))
rete-contexts (generic function)
(list)
rete-focus-stack (generic function)
(setf rete-focus-stack) (generic function)
rete-halted (generic function)
(setf rete-halted) (generic function)
0
rete-firing-count (generic function)
(setf rete-firing-count) (generic function)
rete-compiler.lisp (file)
standard-object (class)
:root-nodes
(make-hash-table)
rete-roots (generic function)
:node-test-cache
(make-hash-table :test (function equal))
node-test-cache (generic function)
Represents production rules after they’ve been analysed by the language parser.
rule.lisp (file)
standard-object (class)
:short-name
rule-short-name (generic function)
rule-name (generic function)
:comment
rule-comment (generic function)
:salience
0
rule-salience (generic function)
:context
rule-context (generic function)
:auto-focus
rule-auto-focus (generic function)
:behavior
rule-behavior (generic function)
(setf rule-behavior) (generic function)
:binding-set
rule-binding-set (generic function)
rule-node-list (generic function)
(make-hash-table :test (function equal))
rule-activations (generic function)
(setf rule-activations) (generic function)
:patterns
(list)
rule-patterns (generic function)
:actions
rule-actions (generic function)
:logical-marker
rule-logical-marker (generic function)
:belief
belief-factor (generic function)
(make-hash-table :test (function equal))
rule-active-dependencies (generic function)
:engine
rule-engine (generic function)
token.lisp (file)
standard-object (class)
(make-array 0 :adjustable t :fill-pointer t)
token-facts (generic function)
(setf token-facts) (generic function)
0
token-not-counter (generic function)
(setf token-not-counter) (generic function)
0
token-exists-counter (generic function)
(setf token-exists-counter) (generic function)
(list)
token-hash-code (generic function)
(setf token-hash-code) (generic function)
token-contents (generic function)
Previous: Exported definitions, Up: Definitions [Contents][Index]
Next: Internal special variables, Previous: Internal definitions, Up: Internal definitions [Contents][Index]
rule-parser.lisp (file)
certainty-factors.lisp (file)
certainty-factors.lisp (file)
certainty-factors.lisp (file)
Next: Internal symbol macros, Previous: Internal constants, Up: Internal definitions [Contents][Index]
activation.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
watches.lisp (file)
rule-parser.lisp (file)
preamble.lisp (file)
rule-parser.lisp (file)
preamble.lisp (file)
rule-parser.lisp (file)
rule-parser.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
preamble.lisp (file)
rule-parser.lisp (file)
rete-compiler.lisp (file)
lisa.asd
rete-compiler.lisp (file)
network-ops.lisp (file)
node-tests.lisp (file)
Holds the results of query firings.
retrieve.lisp (file)
watches.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
tms-support.lisp (file)
rule-parser.lisp (file)
preamble.lisp (file)
watches.lisp (file)
*The end-of-file object.
To be passed as the third arg to ‘read’ and checked against using ‘eq’.
utils.lisp (file)
Next: Internal macros, Previous: Internal special variables, Up: Internal definitions [Contents][Index]
tms-support.lisp (file)
lisa::*scheduled-dependencies*
Next: Internal functions, Previous: Internal symbol macros, Up: Internal definitions [Contents][Index]
Build and compile an anonymous function, using the body provided in FORMS.
compose.lisp (file)
preamble.lisp (file)
Define a typed constant.
utils.lisp (file)
Define a typed global variable.
utils.lisp (file)
epilogue.lisp (file)
Defines a new query identified by the symbol NAME.
retrieve.lisp (file)
Declare an inline defun.
utils.lisp (file)
preamble.lisp (file)
Make array with elements of TYPE, initializing.
utils.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
context.lisp (file)
Bind symbols to gensyms. First sym is a string - ‘gensym’ prefix. Inspired by Paul Graham, <On Lisp>, p. 145.
utils.lisp (file)
rule-parser.lisp (file)
context.lisp (file)
rule-parser.lisp (file)
tms-support.lisp (file)
Next: Internal generic functions, Previous: Internal macros, Up: Internal definitions [Contents][Index]
binding.lisp (file)
activation.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
preamble.lisp (file)
network-ops.lisp (file)
The beta memory nodes and tests
rete-compiler.lisp (file)
The alpha memory nodes and tests
rete-compiler.lisp (file)
rete-compiler.lisp (file)
tms-support.lisp (file)
context.lisp (file)
rete-compiler.lisp (file)
network-ops.lisp (file)
join-node.lisp (file)
join-node.lisp (file)
fact-parser.lisp (file)
binding.lisp (file)
binding.lisp (file)
binding.lisp (file)
pattern.lisp (file)
compose.lisp (file)
successor.lisp (file)
certainty-factors.lisp (file)
certainty-factors.lisp (file)
certainty-factors.lisp (file)
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.
reflect.lisp (file)
context.lisp (file)
context.lisp (file)
preamble.lisp (file)
node-tests.lisp (file)
preamble.lisp (file)
rule-parser.lisp (file)
rule-parser.lisp (file)
rete-compiler.lisp (file)
pattern.lisp (file)
Combines the certainty factors of objects matched within a single rule.
certainty-factors.lisp (file)
pattern.lisp (file)
context.lisp (file)
context.lisp (file)
Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.
SYS:SRC;CODE;SEQ.LISP (not found)
rete-compiler.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
fact-parser.lisp (file)
rule-parser.lisp (file)
rete-compiler.lisp (file)
activation.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
Return T if the stream has no more data in it.
utils.lisp (file)
pattern.lisp (file)
language.lisp (file)
rule-parser.lisp (file)
rule-parser.lisp (file)
Retrieves the CLOS instance associated with a fact. FACT is a FACT instance.
tms-support.lisp (file)
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.
rule-parser.lisp (file)
Given a variable, retrieve the binding object for it.
rule-parser.lisp (file)
node-tests.lisp (file)
Supports the parsing of embedded DEFRULE forms.
rule-parser.lisp (file)
join-node.lisp (file)
Invoke the garbage collector.
utils.lisp (file)
pattern.lisp (file)
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.
activation.lisp (file)
context.lisp (file)
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?
rule-parser.lisp (file)
pattern.lisp (file)
reflect.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
join-node.lisp (file)
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)).
lisa.asd
rete-compiler.lisp (file)
join-node.lisp (file)
rule-parser.lisp (file)
pattern.lisp (file)
activation.lisp (file)
node-tests.lisp (file)
binding.lisp (file)
rule-parser.lisp (file)
node-tests.lisp (file)
context.lisp (file)
context.lisp (file)
preamble.lisp (file)
deffacts.lisp (file)
tms-support.lisp (file)
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.
node-tests.lisp (file)
node-tests.lisp (file)
rete-compiler.lisp (file)
node-tests.lisp (file)
node-tests.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
lisa.asd
node-pair.lisp (file)
node1.lisp (file)
node2.lisp (file)
node2-exists.lisp (file)
node2-not.lisp (file)
node2-test.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
node-tests.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
pattern.lisp (file)
node-tests.lisp (file)
node-tests.lisp (file)
successor.lisp (file)
terminal-node.lisp (file)
join-node.lisp (file)
network-ops.lisp (file)
rete-compiler.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
node-pair.lisp (file)
node-pair.lisp (file)
fact-parser.lisp (file)
fact-parser.lisp (file)
fact-parser.lisp (file)
rule-parser.lisp (file)
rule-parser.lisp (file)
rule-parser.lisp (file)
Parses a single raw pattern slot
rule-parser.lisp (file)
Parses a single slot constraint, eg. (slot-name ?var 1) or (slot-name ?var (equal ?var 1))
rule-parser.lisp (file)
rule-parser.lisp (file)
rule-parser.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
binding.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
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.
rule-parser.lisp (file)
utils.lisp (file)
rete-compiler.lisp (file)
rule-parser.lisp (file)
fact-parser.lisp (file)
join-node.lisp (file)
network-ops.lisp (file)
network-ops.lisp (file)
join-node.lisp (file)
join-node.lisp (file)
token.lisp (file)
A useful default for required arguments and DEFSTRUCT slots.
utils.lisp (file)
network-ops.lisp (file)
rete-compiler.lisp (file)
join-node.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
Runs a query (RULE instance), and returns both the value of *QUERY-RESULT* and the query name itself.
retrieve.lisp (file)
tms-support.lisp (file)
rete-compiler.lisp (file)
rule-parser.lisp (file)
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.
shared-node.lisp (file)
shared-node.lisp (file)
fact-parser.lisp (file)
pattern.lisp (file)
pattern.lisp (file)
Is the slot value a simple constraint?
rule-parser.lisp (file)
Is the slot value a simple negated constraint?
rule-parser.lisp (file)
rule-parser.lisp (file)
Is the slot value a Lisa variable?
rule-parser.lisp (file)
successor.lisp (file)
successor.lisp (file)
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.
pattern.lisp (file)
pattern.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
watches.lisp (file)
preamble.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
watches.lisp (file)
Next: Internal conditions, Previous: Internal functions, Up: Internal definitions [Contents][Index]
node1.lisp (file)
node1.lisp (file)
terminal-node.lisp (file)
terminal-node.lisp (file)
terminal-node.lisp (file)
node2-exists.lisp (file)
node2-exists.lisp (file)
node2-not.lisp (file)
node2-not.lisp (file)
node2.lisp (file)
node2.lisp (file)
join-node.lisp (file)
node2-exists.lisp (file)
node2-exists.lisp (file)
node2-test.lisp (file)
node2-test.lisp (file)
node2-not.lisp (file)
node2-not.lisp (file)
node2.lisp (file)
node2.lisp (file)
join-node.lisp (file)
automatically generated reader method
activation.lisp (file)
automatically generated writer method
activation.lisp (file)
activation.lisp (file)
automatically generated reader method
activation.lisp (file)
automatically generated reader method
activation.lisp (file)
automatically generated reader method
activation.lisp (file)
rete.lisp (file)
network-ops.lisp (file)
network-ops.lisp (file)
network-ops.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
join-node.lisp (file)
node1.lisp (file)
node1.lisp (file)
automatically generated reader method
rule.lisp (file)
automatically generated reader method
fact.lisp (file)
automatically generated writer method
fact.lisp (file)
node-tests.lisp (file)
node-tests.lisp (file)
join-node.lisp (file)
conditions.lisp (file)
utils.lisp (file)
utils.lisp (file)
utils.lisp (file)
utils.lisp (file)
utils.lisp (file)
utils.lisp (file)
join-node.lisp (file)
join-node.lisp (file)
rule.lisp (file)
context.lisp (file)
automatically generated reader method
context.lisp (file)
automatically generated reader method
context.lisp (file)
network-ops.lisp (file)
network-ops.lisp (file)
shared-node.lisp (file)
automatically generated reader method
deffacts.lisp (file)
automatically generated reader method
deffacts.lisp (file)
conditions.lisp (file)
preamble.lisp (file)
fact.lisp (file)
network-ops.lisp (file)
network-ops.lisp (file)
context.lisp (file)
context.lisp (file)
activation.lisp (file)
token.lisp (file)
activation.lisp (file)
fact.lisp (file)
automatically generated reader method
shared-node.lisp (file)
join-node.lisp (file)
automatically generated reader method
join-node.lisp (file)
automatically generated reader method
join-node.lisp (file)
automatically generated reader method
join-node.lisp (file)
automatically generated reader method
join-node.lisp (file)
automatically generated writer method
join-node.lisp (file)
automatically generated reader method
join-node.lisp (file)
automatically generated writer method
join-node.lisp (file)
conditions.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
token.lisp (file)
preamble.lisp (file)
rete-compiler.lisp (file)
shared-node.lisp (file)
automatically generated reader method
rete-compiler.lisp (file)
shared-node.lisp (file)
automatically generated reader method
node1.lisp (file)
shared-node.lisp (file)
tms.lisp (file)
join-node.lisp (file)
certainty-factors.lisp (file)
rete-compiler.lisp (file)
rete-compiler.lisp (file)
context.lisp (file)
context.lisp (file)
node1.lisp (file)
automatically generated reader method
rete-compiler.lisp (file)
automatically generated reader method
shared-node.lisp (file)
automatically generated writer method
shared-node.lisp (file)
automatically generated reader method
shared-node.lisp (file)
conditions.lisp (file)
automatically generated reader method
terminal-node.lisp (file)
node2-exists.lisp (file)
node2-exists.lisp (file)
node2-not.lisp (file)
node2-not.lisp (file)
node2.lisp (file)
node2.lisp (file)
node2-exists.lisp (file)
node2-exists.lisp (file)
node2-not.lisp (file)
node2.lisp (file)
join-node.lisp (file)
conditions.lisp (file)
automatically generated reader method
token.lisp (file)
automatically generated reader method
token.lisp (file)
automatically generated writer method
token.lisp (file)
automatically generated reader method
token.lisp (file)
automatically generated writer method
token.lisp (file)
automatically generated reader method
token.lisp (file)
automatically generated writer method
token.lisp (file)
automatically generated reader method
token.lisp (file)
automatically generated writer method
token.lisp (file)
Next: Internal structures, Previous: Internal generic functions, Up: Internal definitions [Contents][Index]
An error in a case statement.
This carries the function name which makes the error message more useful.
utils.lisp (file)
code (condition)
code-mesg (method)
:mesg
(quote "`~s' evaluated to `~s', not one of [~@{`~s'~^ ~}]")
code-mesg (generic function)
conditions.lisp (file)
parsing-error (condition)
cls-name (method)
:cls-name
(quote nil)
cls-name (generic function)
An error in the user code.
utils.lisp (file)
error (condition)
:proc
code-proc (generic function)
:mesg
code-mesg (generic function)
:args
code-args (generic function)
Your implementation does not support this functionality.
utils.lisp (file)
code (condition)
:mesg
(quote "not implemented for ~a [~a]")
code-mesg (generic function)
:args
(quote (list (lisp-implementation-type) (lisp-implementation-version)))
code-args (generic function)
conditions.lisp (file)
error (condition)
:text
(quote nil)
text (generic function)
:location
(quote nil)
location (generic function)
conditions.lisp (file)
parsing-error (condition)
rule-name (method)
:rule-name
(quote nil)
rule-name (generic function)
conditions.lisp (file)
parsing-error (condition)
slot-name (method)
:slot-name
(quote nil)
slot-name (generic function)
Next: Internal classes, Previous: Internal conditions, Up: Internal definitions [Contents][Index]
rete.lisp (file)
structure-object (structure)
symbol
fact-meta-object-class-name (function)
(setf fact-meta-object-class-name) (function)
list
fact-meta-object-slot-list (function)
(setf fact-meta-object-slot-list) (function)
list
fact-meta-object-superclasses (function)
(setf fact-meta-object-superclasses) (function)
heap.lisp (file)
structure-object (structure)
heap-less-fn (function)
(setf heap-less-fn) (function)
heap-order (function)
(setf heap-order) (function)
heap-a (function)
(setf heap-a) (function)
heap-max-count (function)
(setf heap-max-count) (function)
Represents the canonical form of a pattern analysed by the DEFRULE parser.
pattern.lisp (file)
structure-object (structure)
symbol
parsed-pattern-class (function)
(setf parsed-pattern-class) (function)
parsed-pattern-slots (function)
(setf parsed-pattern-slots) (function)
integer
0
parsed-pattern-address (function)
(setf parsed-pattern-address) (function)
parsed-pattern-pattern-binding (function)
(setf parsed-pattern-pattern-binding) (function)
list
parsed-pattern-test-bindings (function)
(setf parsed-pattern-test-bindings) (function)
list
parsed-pattern-binding-set (function)
(setf parsed-pattern-binding-set) (function)
symbol
parsed-pattern-logical (function)
(setf parsed-pattern-logical) (function)
list
parsed-pattern-sub-patterns (function)
(setf parsed-pattern-sub-patterns) (function)
symbol
:generic
parsed-pattern-type (function)
(setf parsed-pattern-type) (function)
Represents the canonical form of a slot within a pattern analysed by the DEFRULE parser.
pattern.lisp (file)
structure-object (structure)
symbol
pattern-slot-name (function)
(setf pattern-slot-name) (function)
pattern-slot-value (function)
(setf pattern-slot-value) (function)
list
pattern-slot-slot-binding (function)
(setf pattern-slot-slot-binding) (function)
symbol
pattern-slot-negated (function)
(setf pattern-slot-negated) (function)
symbol
pattern-slot-intra-pattern-bindings (function)
(setf pattern-slot-intra-pattern-bindings) (function)
pattern-slot-constraint (function)
(setf pattern-slot-constraint) (function)
list
pattern-slot-constraint-bindings (function)
(setf pattern-slot-constraint-bindings) (function)
pattern.lisp (file)
structure-object (structure)
list
rule-actions-bindings (function)
(setf rule-actions-bindings) (function)
list
rule-actions-actions (function)
(setf rule-actions-actions) (function)
Next: Internal types, Previous: Internal structures, Up: Internal definitions [Contents][Index]
token.lisp (file)
token (class)
A breadth-first conflict resolution strategy.
builtin-strategy (class)
A base class for all LISA builtin conflict resolution strategies.
A depth-first conflict resolution strategy.
builtin-strategy (class)
preamble.lisp (file)
standard-object (class)
class-matches-p (method)
join-node.lisp (file)
standard-object (class)
join-node-successor (generic function)
(setf join-node-successor) (generic function)
join-node-logical-block (generic function)
(list)
join-node-tests (generic function)
(setf join-node-tests) (generic function)
(make-hash-table :test (function equal))
join-node-left-memory (generic function)
(make-hash-table :test (function equal))
join-node-right-memory (generic function)
node1.lisp (file)
shared-node (class)
:test
node1-test (generic function)
node2.lisp (file)
join-node (class)
node2-exists.lisp (file)
join-node (class)
node2-not.lisp (file)
join-node (class)
node2-test.lisp (file)
join-node (class)
standard-object (class)
builtin-strategy (class)
:heap
heap (generic function)
epilogue.lisp (file)
inference-engine-object (class)
token.lisp (file)
token (class)
token.lisp (file)
token (class)
shared-node.lisp (file)
standard-object (class)
node1 (class)
(make-hash-table :test (function equal))
shared-node-successors (generic function)
0
shared-node-refcnt (generic function)
(setf shared-node-refcnt) (generic function)
Serves as the base class for all classes implementing conflict resolution strategies.
standard-object (class)
builtin-strategy (class)
terminal-node.lisp (file)
standard-object (class)
:rule
terminal-node-rule (generic function)
Previous: Internal classes, Up: Internal definitions [Contents][Index]
certainty-factors.lisp (file)
Previous: Definitions, Up: Top [Contents][Index]
• Concept index | ||
• Function index | ||
• Variable index | ||
• Data type index |
Next: Function index, Previous: Indexes, Up: Indexes [Contents][Index]
Jump to: | F L M |
---|
Jump to: | F L M |
---|
Next: Variable index, Previous: Concept index, Up: Indexes [Contents][Index]
Jump to: | %
(
A B C D E F G H I J L M N P Q R S T U V W |
---|