This is the km Reference Manual, version 2.5.33, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 05:37:55 2024 GMT+0.
km/km.asd
km/header.lisp
km/htextify.lisp
km/case.lisp
km/interpreter.lisp
km/get-slotvals.lisp
km/frame-io.lisp
km/trace.lisp
km/lazy-unify.lisp
km/constraints.lisp
km/explain.lisp
km/kbutils.lisp
km/stack.lisp
km/stats.lisp
km/sadl.lisp
km/anglify.lisp
km/writer.lisp
km/taxonomy.lisp
km/subsumes.lisp
km/prototypes.lisp
km/loadkb.lisp
km/minimatch.lisp
km/utils.lisp
km/strings.lisp
km/compiler.lisp
km/compiled-handlers.lisp
km/licence.lisp
km/initkb.lisp
The main system appears first, followed by any subsystem dependency.
km
THE KNOWLEDGE MACHINE - INFERENCE ENGINE
Peter Clark
GNU Lesser General Public Licence
KM knowledge representation language. KM is a powerful, frame-based language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism.
2.5.33
header.lisp
(file).
htextify.lisp
(file).
case.lisp
(file).
interpreter.lisp
(file).
get-slotvals.lisp
(file).
frame-io.lisp
(file).
trace.lisp
(file).
lazy-unify.lisp
(file).
constraints.lisp
(file).
explain.lisp
(file).
kbutils.lisp
(file).
stack.lisp
(file).
stats.lisp
(file).
sadl.lisp
(file).
anglify.lisp
(file).
writer.lisp
(file).
taxonomy.lisp
(file).
subsumes.lisp
(file).
prototypes.lisp
(file).
loadkb.lisp
(file).
minimatch.lisp
(file).
utils.lisp
(file).
strings.lisp
(file).
compiler.lisp
(file).
compiled-handlers.lisp
(file).
licence.lisp
(file).
initkb.lisp
(file).
Files are sorted by type and then listed depth-first from the systems components trees.
km/km.asd
km/header.lisp
km/htextify.lisp
km/case.lisp
km/interpreter.lisp
km/get-slotvals.lisp
km/frame-io.lisp
km/trace.lisp
km/lazy-unify.lisp
km/constraints.lisp
km/explain.lisp
km/kbutils.lisp
km/stack.lisp
km/stats.lisp
km/sadl.lisp
km/anglify.lisp
km/writer.lisp
km/taxonomy.lisp
km/subsumes.lisp
km/prototypes.lisp
km/loadkb.lisp
km/minimatch.lisp
km/utils.lisp
km/strings.lisp
km/compiler.lisp
km/compiled-handlers.lisp
km/licence.lisp
km/initkb.lisp
km/header.lisp
km
(system).
*acl-readtable*
(special variable).
*active-obj-stack*
(special variable).
*add-comments-to-names*
(special variable).
*am-classifying*
(special variable).
*are-some-constraints*
(special variable).
*are-some-defaults*
(special variable).
*are-some-definitions*
(special variable).
*are-some-prototype-definitions*
(special variable).
*are-some-prototypes*
(special variable).
*are-some-subslots*
(special variable).
*are-some-tags*
(special variable).
*called-forces-unification*
(special variable).
*check-kb*
(special variable).
*classes-using-assertions-slot*
(special variable).
*classify-in-local-situations*
(constant).
*coerce-undeclared-slots*
(special variable).
*compile-handlers*
(special variable).
*curr-prototype*
(special variable).
*deleted-frames*
(special variable).
*depth*
(special variable).
*dereferencing-on*
(special variable).
*developer-mode*
(special variable).
*eagerly-unify-prototypes*
(special variable).
*fluent-instance-marker-string*
(special variable).
*global-situation*
(constant).
*indirect-classification*
(special variable).
*instance-of-is-fluent*
(special variable).
*internal-logging*
(special variable).
*km-behavior-parameters*
(special variable).
*km-depth-limit*
(special variable).
*km-fixed-parameters*
(special variable).
*km-handler-alist*
(special variable).
*km-handler-alist1*
(special variable).
*km-handler-alist2*
(special variable).
*km-handler-function*
(special variable).
*km-package*
(constant).
*km-readtable*
(special variable).
*km-runtime-variables*
(special variable).
*km-state-parameters*
(special variable).
*km-version-str*
(special variable).
*linear-paths*
(special variable).
*logging*
(special variable).
*max-padding-instances*
(special variable).
*newline-str*
(special variable).
*output-precision*
(special variable).
*partially-included-prototype*
(special variable).
*project-cached-values-only*
(special variable).
*proto-marker-string*
(special variable).
*record-explanations*
(special variable).
*record-explanations-for-clones*
(special variable).
*record-sources*
(special variable).
*recursive-classification*
(special variable).
*recursive-prototypes*
(special variable).
*sanity-checks*
(special variable).
*show-comments*
(special variable).
*slot-checking-enabled*
(special variable).
*slots-not-to-clone-for*
(special variable).
*special-symbol-alist*
(special variable).
*statistics-classification-inferences*
(special variable).
*statistics-classifications-attempted*
(special variable).
*statistics-classifications-succeeded*
(special variable).
*statistics-cpu-time*
(special variable).
*statistics-kb-access*
(special variable).
*statistics-max-depth*
(special variable).
*statistics-query-directed-inferences*
(special variable).
*statistics-skolems*
(special variable).
*statistics-unifications*
(special variable).
*subslot-comment-tag*
(special variable).
*tolerance*
(special variable).
*trace*
(special variable).
*use-inheritance*
(special variable).
*use-no-inheritance-flag*
(special variable).
*use-prototypes*
(special variable).
*user-defined-infix-operators*
(special variable).
*using-km-package*
(special variable).
*var-marker-char*
(constant).
*var-marker-string*
(special variable).
*visible-theories*
(special variable).
*year*
(special variable).
checkkboff
(function).
checkkbon
(function).
checkkbp
(function).
km/htextify.lisp
header.lisp
(file).
km
(system).
htextify
(function).
km/case.lisp
htextify.lisp
(file).
km
(system).
*case-preserving-readtable*
(special variable).
*inverse-suffix*
(special variable).
*length-of-inverse-suffix*
(special variable).
*t-package*
(special variable).
*t-readtable*
(special variable).
add-quotes
(function).
case-sensitive-read
(function).
case-sensitive-read-from-string
(function).
case-sensitive-read-km
(function).
hash-comma-reader
(function).
hash-dollar
(function).
hash-dollar-reader
(function).
hash-t-reader
(function).
km-format
(function).
skolem-root
(function).
string-to-frame
(function).
tag-write
(function).
write-km-list
(function).
write-km-vals
(function).
write-km-vals2
(function).
km/interpreter.lisp
case.lisp
(file).
km
(system).
*additional-keywords*
(special variable).
*am-reasoning*
(special variable).
*built-in-classes-with-nonfluent-instances-relation*
(special variable).
*built-in-nonfluent-lookup-only-slots*
(special variable).
*catch-explanations*
(special variable).
*catch-next-explanations*
(special variable).
*decomment-top-level-only-headwords*
(special variable).
*default-fail-mode*
(constant).
*downcase-km-lisp-exprs*
(special variable).
*error-structures*
(special variable).
*errors*
(special variable).
*explanations*
(special variable).
*infinity*
(special variable).
*km-lisp-exprs*
(special variable).
*last-answer*
(special variable).
*last-question*
(special variable).
*loadsave-commands-with-keywords*
(special variable).
*looping*
(special variable).
*multidepth-path-default-searchdepth*
(special variable).
*no-decomment-headwords*
(special variable).
*print-explanations*
(special variable).
*profiling*
(special variable).
*reserved-keywords*
(special variable).
*silent-spypoints*
(special variable).
*silent-spypoints-log*
(special variable).
*spypoints*
(special variable).
*structured-list-val-keywords*
(special variable).
*top-level-fail-mode*
(special variable).
*warnings*
(special variable).
aggregate-vals
(function).
allof-must
(function).
allof-where-must
(function).
append-bags
(function).
append-seqs
(function).
fail-noisily
(function).
fail-quietly
(function).
find-ignored
(function).
follow-multidepth-path
(function).
follow-multidepth-path0
(function).
handle-looping
(function).
km
(function).
km-eval-print
(function).
km-int
(function).
km-int-with-trace
(function).
km-multi-slotvals
(function).
km-multi-slotvals0
(function).
km-read-eval-print
(function).
km-slotvals
(function).
km-slotvals2
(function).
km-unique
(function).
km-unique-int
(function).
km-unique0
(function).
km0
(function).
km1
(function).
no-reserved-keywords
(function).
oneof-where
(function).
print-km-prompt
(function).
process-km1-result
(function).
process-load-expression
(function).
process-unquotes
(function).
reset-for-top-level-call
(function).
rules-for
(function).
skip-checkpoint
(function).
structured-slotp
(function).
tidy-classes
(function).
vals-in-class
(function).
km/get-slotvals.lisp
interpreter.lisp
(file).
km
(system).
km-slotvals-from-kb
(function).
km-slotvals-via-projection
(function).
maybe-project-value
(function).
projectable
(function).
recursive-ruleset
(function).
reify-existentials-in-expr
(function).
reify-existentials-in-rule-set
(function).
reify-existentials-in-rule-sets
(function).
use-inheritance
(function).
use-prototypes
(function).
km/frame-io.lisp
get-slotvals.lisp
(file).
km
(system).
*all-facets*
(special variable).
*allow-ununify*
(special variable).
*am-in-situations-mode*
(special variable).
*built-in-aggregation-slots*
(special variable).
*built-in-atomic-vals-only-slots*
(special variable).
*built-in-bag-aggregation-slots*
(special variable).
*built-in-classes*
(special variable).
*built-in-classes-with-no-built-in-superclasses*
(special variable).
*built-in-combine-values-by-appending-slots*
(special variable).
*built-in-frames*
(special variable).
*built-in-inertial-fluent-slots*
(special variable).
*built-in-instance-of-links*
(special variable).
*built-in-instances*
(special variable).
*built-in-inverse2s*
(special variable).
*built-in-inverses*
(special variable).
*built-in-multivalued-slots*
(special variable).
*built-in-non-fluent-slots*
(special variable).
*built-in-non-inertial-fluent-slots*
(special variable).
*built-in-remove-subsumees-slots*
(special variable).
*built-in-remove-subsumers-slots*
(special variable).
*built-in-seq-aggregation-slots*
(constant).
*built-in-set-aggregation-slots*
(special variable).
*built-in-single-valued-slots*
(special variable).
*built-in-slots*
(special variable).
*built-in-slots-with-constraints*
(special variable).
*built-in-subslots*
(constant).
*built-in-superclass-links*
(special variable).
*classification-enabled*
(special variable).
*classify-slotless-instances*
(special variable).
*constraint-keywords*
(special variable).
*constraint-slots*
(special variable).
*curr-situation*
(special variable).
*default-built-in-inertial-fluent-slots*
(special variable).
*default-cardinality*
(special variable).
*default-default-fluent-status*
(constant).
*default-fluent-status*
(special variable).
*equality-relations*
(special variable).
*inequality-relations*
(special variable).
*installing-inverses-enabled*
(special variable).
*interactive-preconditions*
(special variable).
*km-gensym-counter*
(special variable).
*non-inverse-recording-concept*
(special variable).
*non-inverse-recording-slot*
(special variable).
*noted-done*
(special variable).
*postponed-classifications*
(special variable).
*prototype-classification-enabled*
(special variable).
*set-constraint-keywords*
(special variable).
*slots-slots*
(special variable).
*trace-prototype-assertions*
(special variable).
*user-has-been-warned*
(special variable).
*val-constraint-keywords*
(special variable).
*valid-cardinalities*
(special variable).
*valid-fluent-statuses*
(special variable).
add-immediate-class
(function).
add-slotsvals
(function).
add-to-active-situations
(function).
add-val
(function).
add-vals
(function).
all-active-situations
(function).
all-classes
(function).
all-instances
(function).
all-next-situations
(function).
all-protoinstances
(function).
all-prototypes
(function).
all-situations
(function).
all-situations-and-theories
(function).
all-subclasses
(function).
all-subclasses0
(function).
all-subslots
(function).
all-superclasses
(function).
all-superclasses0
(function).
all-supersituations
(function).
all-supersituations0
(function).
all-superslots
(function).
all-theories
(function).
already-done
(function).
am-in-global-situation
(function).
am-in-local-situation
(function).
am-in-local-situation-or-theory
(function).
am-in-local-theory
(function).
am-in-situations-mode
(function).
are-slotsvals
(function).
before-situation
(function).
bind-self
(function).
block-list
(function).
bound
(function).
built-in-aggregation-slot
(function).
built-in-bag-aggregation-slot
(function).
built-in-concept
(function).
built-in-concept-type
(function).
built-in-instance-of-links
(function).
built-in-seq-aggregation-slot
(function).
built-in-set-aggregation-slot
(function).
built-in-slot
(function).
cardinality-of
(function).
cardinality-of2
(function).
change-to-situation
(function).
check-classification-with-user
(function).
check-domain-and-range
(function).
check-for-cycles
(function).
check-for-cycles0
(function).
check-isa-slot-object
(function).
check-situations-mode
(function).
check-slot
(function).
class-has-something-to-say-about
(function).
classes-subsume-classes
(function).
classification-enabled
(function).
classify
(function).
classify-as-coreferential
(function).
classify-as-member
(function).
classify-as-prototype
(function).
classify-as-prototype0
(function).
classify0
(function).
clean-taxonomy
(function).
collect-constraints+sources-on-instance
(function).
collect-constraints-on-instance
(function).
collect-prototypes-for-classes
(function).
combine-values-by-appending-slotp
(function).
compute-built-in-non-fluent-slots
(function).
compute-new-vals
(function).
consistent-to-do-action
(function).
create-instance
(function).
create-instance-name
(function).
create-named-instance
(function).
curr-situation
(function).
curr-situation-facet
(function).
default-fluent-status
(function).
delete-frame
(function).
delete-slot
(function).
delete-val
(function).
dereference
(function).
dereference-kb
(function).
dereference0
(function).
disable-classification
(function).
disable-installing-inverses
(function).
disable-slot-checking
(function).
do-action
(function).
do-postponed-classifications
(function).
domains-of
(function).
dont-cache-values-slotp
(function).
enable-classification
(function).
enable-installing-inverses
(function).
enable-slot-checking
(function).
eval-constraints
(function).
eval-instance
(function).
eval-instances
(function).
evaluate-triple
(function).
fast-delete-val
(function).
find-propositions
(function).
flatten-to-kb-objs
(function).
fluent-status
(function).
fluentp
(function).
frame-has-something-to-say-about
(function).
full-all-instances
(function).
full-immediate-instances
(function).
get-binding
(function).
get-rule-sets-in-situation
(function).
get-slotsvals
(function).
get-unique-val
(function).
get-vals
(function).
gets-vals
(function).
global-situation
(function).
has-situation-specific-info
(function).
hide-theory
(function).
ignore-slot-due-to-situations-mode
(function).
immediate-classes
(function).
immediate-classes0
(function).
immediate-instances
(function).
immediate-protoinstances
(function).
immediate-prototypes
(function).
immediate-subclasses
(function).
immediate-subslots
(function).
immediate-superclasses
(function).
immediate-supersituations
(function).
immediate-superslots
(function).
in-situation
(function).
in-situation0
(function).
in-theory
(function).
inconsistent-propositions
(function).
inertial-fluentp
(function).
inherit-with-overrides-slotp
(function).
inherited-rule-sets
(function).
inherited-rule-sets+classes-with-overrides
(function).
inherited-rule-sets+classes-with-overrides2
(function).
inherited-rule-sets+classes2
(function).
inherited-rule-sets-on-classes
(function).
inherited-rule-sets-with-overrides
(function).
inherited-rule-sets2
(function).
inherited-rulesets+classes
(function).
install-all-subclasses
(function).
install-inverses
(function).
install-inverses0
(function).
instance-has-something-to-say-about
(function).
instance-of
(function).
instance-of-is-fluent
(function).
instance-of-is-nonfluent
(function).
invert-cardinality
(function).
invert-inequality-relation
(function).
invert-predicate
(function).
invert-slot
(function).
is-consistent-to-assert
(function).
is-subclass-of
(function).
is-subslot-of
(function).
isa
(function).
isa-situation-facet
(function).
isa-theory
(function).
km-assert
(function).
km-bind
(function).
km-flatten
(function).
list-needs-dereferencing
(function).
local-constraints
(function).
make-assertions
(function).
make-new-situation
(function).
make-slotvals
(function).
might-be-member
(function).
might-have-slotsvals
(function).
most-general-first
(function).
most-specific-first
(function).
most-specific-prototype-scopes-first
(function).
multivalued-slotp
(function).
needs-dereferencing
(function).
new-situation
(function).
next-situation
(function).
next-situations
(function).
non-inverse-recording-concept
(function).
non-inverse-recording-slot
(function).
note-done
(function).
nowexists
(function).
nowexists-val
(function).
orphans
(function).
own-rule-sets
(function).
point-parents-to-defined-concept
(function).
prev-situation
(function).
prev-situation-with-vals
(function).
projected-classes
(function).
prototype-constraints+sources
(function).
put-slotsvals
(function).
put-vals
(function).
ranges-of
(function).
remove-redundant-subclasses
(function).
remove-redundant-superclasses
(function).
remove-sources-from-vals
(function).
remove-subsumees
(function).
remove-subsumees-slotp
(function).
remove-subsumers
(function).
remove-subsumers-slotp
(function).
rename-class
(function).
reorder-slotsvals
(function).
reset-done
(function).
satisfies-class-definition
(function).
satisfies-definition
(function).
satisfies-definition2
(function).
scan-kb
(function).
see-theory
(function).
set-situations-mode
(function).
show-binding
(function).
show-binding0
(function).
show-bindings
(function).
show-done
(function).
simple-eval-instance
(function).
simple-inherit-with-overrides-slotp
(function).
single-valued-slotp
(function).
slot-in
(function).
slots-to-opportunistically-evaluate
(function).
subclasses-of-thing
(function).
supersituation-own-rule-sets
(function).
target-situation
(function).
try-classifying
(function).
try-classifying-as-prototype
(function).
try-equating
(function).
un-done
(function).
undeclared-slot
(function).
unify-with-instance
(function).
uninstall-inverse
(function).
uninstall-inverses
(function).
universalp
(function).
unpoint-parents-to-defined-concept
(function).
unsatisfied-propositions
(function).
ununifiable
(function).
ununify
(function).
vals-in
(function).
visible-theories
(function).
km/trace.lisp
frame-io.lisp
(file).
km
(system).
*indent-level*
(special variable).
*interactive-trace*
(special variable).
*on-error*
(special variable).
*suspended-trace*
(special variable).
*trace-classify*
(special variable).
*trace-constraints*
(special variable).
*trace-file*
(special variable).
*trace-goal-stack*
(special variable).
*trace-other-situations*
(special variable).
*trace-subsumes*
(special variable).
*trace-to-file?*
(special variable).
*trace-unify*
(special variable).
catch-explanation
(function).
catch-explanations
(function).
clear-silent-spy-log
(function).
comments
(function).
decrement-trace-depth
(function).
grab-explanations
(function).
grab-explanations-html
(function).
grab-explanations-xml
(function).
increment-trace-depth
(function).
inspect-silent-spy-log
(function).
km-trace
(function).
km-trace2
(function).
make-comment
(function).
nocomments
(function).
on-error
(function).
print-trace-message
(function).
print-trace-options
(function).
report-error
(function).
reset-trace
(function).
reset-trace-depth
(function).
show-explanation
(function).
show-explanations
(function).
show-explanations-html
(function).
show-explanations-xml
(function).
silent-spy
(function).
silent-unspy
(function).
spy
(function).
suspend-trace
(function).
t2f-off
(function).
t2f-on
(function).
trace-to-file-off
(function).
trace-to-file-on
(function).
traceclassifyp
(function).
traceconstraintsp
(function).
tracekm
(function).
traceothersituationsp
(function).
tracep
(function).
tracesubsumesp
(function).
traceunifyp
(function).
trim-failed-explanations
(function).
unspy
(function).
unsuspend-trace
(function).
untracekm
(function).
km/lazy-unify.lisp
trace.lisp
(file).
km
(system).
*force-with-cloned-from*
(special variable).
*less-aggressive-constraint-checking*
(special variable).
*no-heuristic-unification*
(special variable).
*overriding-in-prototypes*
(special variable).
*see-unifications*
(special variable).
*trace-merge-prototype-vals*
(special variable).
and-append
(function).
and-append2
(function).
and-listp
(function).
and-member
(function).
check-slotvals-constraints
(function).
check-slotvals-constraints0
(function).
compatible-classes
(function).
copy-situation-contents
(function).
disjoint-class-sets
(function).
disjoint-class-sets0
(function).
disjoint-classes
(function).
do-forced-unifications
(function).
do-setify
(function).
eagerly-evaluate-exprs
(function).
equality-assertion-operator
(function).
immediate-classes-subsume-immediate-classes
(function).
incompatible-instances
(function).
lazy-unify
(function).
lazy-unify-&-expr
(function).
lazy-unify-&-expr0
(function).
lazy-unify-&-expr1
(function).
lazy-unify-expr-sets
(function).
lazy-unify-exprs
(function).
lazy-unify-sets
(function).
lazy-unify-sets2
(function).
lazy-unify-slotsvals
(function).
lazy-unify-vals
(function).
lazy-unify0
(function).
lazy-unify2
(function).
merge-prototype-vals
(function).
merge-slotsvals
(function).
prototype-merge-expr1
(function).
prototype-merge-expr2
(function).
rank-unification
(function).
remove-equal-items
(function).
remove-equal-items0
(function).
remove-explained-vals
(function).
score-pair
(function).
set-unification-operator
(function).
tags-in-expr
(function).
try-lazy-unify
(function).
try-lazy-unify2
(function).
unifiable-with-existential-expr
(function).
unifiable-with-existential-expr0
(function).
unification-operator
(function).
unified-svs
(function).
unified-svs-in-situation
(function).
unify-names
(function).
unify-structured-list-vals
(function).
unify-structured-list-vals2
(function).
unify-with-existential-expr
(function).
unify-with-slotsvals2
(function).
val-unification-operator
(function).
km/constraints.lisp
lazy-unify.lisp
(file).
km
(system).
*remove-violating-instances*
(special variable).
add-val-to-group
(function).
are-consistent-with-constraints
(function).
enforce-constraints
(function).
enforce-constraints0
(function).
enforce-set-constraint
(function).
enforce-set-constraint2
(function).
enforce-set-constraints
(function).
enforce-set-constraints0
(function).
enforce-val-constraint
(function).
enforce-val-constraints
(function).
evaluate-and-filter-defaults
(function).
extract-exprs-in-class
(function).
filter-using-constraints
(function).
filter-using-constraints0
(function).
first-n-unifiable-values
(function).
first-n-unifiable-values2
(function).
group-vals-unifiably
(function).
group-vals-unifiably0
(function).
is-consistent
(function).
no-sanity-checks
(function).
non-unifiable-pairs
(function).
note-are-constraints
(function).
pair-filter
(function).
remove-pending-equalities
(function).
sanity-checks
(function).
satisfies-constraints
(function).
set-constraint-satisfied
(function).
simple-unifiable
(function).
special-slot-type
(function).
test-val-constraint
(function).
test-val-constraints
(function).
violated-cardinality-constraint
(function).
violated-constraints
(function).
violated-set-constraints
(function).
violated-val-constraints
(function).
km/explain.lisp
constraints.lisp
(file).
km
(system).
*annotated-constraints*
(special variable).
*comment-marker-char*
(constant).
*justify-leaves*
(special variable).
*report-explanation-clone-warnings*
(special variable).
*start-justifications-with-because*
(special variable).
*subslot-comment*
(special variable).
add-support
(function).
add-to-source
(function).
annotate-embedded-structures
(function).
annotate-every-expr
(function).
annotate-every-expr0
(function).
annotate-slotsvals
(function).
annotate-val
(function).
annotate-vals
(function).
attach-source-to-expr
(function).
build-embedded-val
(function).
build-rule
(function).
cache-explanation-for
(function).
cached-explanations-for
(function).
clear-all-explanations
(function).
clear-evaluation-cache
(function).
clear-explanations
(function).
combine-explanations
(function).
comment
(function).
comment-or-sourcep
(function).
comment-tagp
(function).
compute-triples
(function).
convert-comment-to-internal-form
(function).
convert-comments-to-internal-form
(function).
copy-explanations-for
(function).
decomment
(function).
delete-all-supports-from-class
(function).
delete-explanation
(function).
delete-explanations
(function).
delete-isv-explanation
(function).
delete-isv-explanations
(function).
delete-support-by-prototypes
(function).
delete-support-by-prototypes-in-class
(function).
delete-supports-from-class
(function).
delete-supports-from-class0
(function).
delistifiable-commented-or-sourced-pairp
(function).
delistifiable-commented-pairp
(function).
delistifiable-sourced-pairp
(function).
desource
(function).
desource+decomment
(function).
desource+decomment-top-level
(function).
desource+decomment1
(function).
desource-all-but-top-level
(function).
desource-for-printing
(function).
desource-top-level
(function).
desource1
(function).
dot-source
(function).
dotted-slot
(function).
explain-all
(function).
explained-by
(function).
explanation-in
(function).
explanation-type
(function).
explanations
(function).
explanations-in
(function).
get-all-explanations
(function).
get-comment
(function).
get-comment-justification
(function).
get-comment-tags
(function).
get-comment-tags-recursive
(function).
get-comment2
(function).
get-comments
(function).
get-explanation-data
(function).
get-explanations
(function).
get-explanations0
(function).
get-explanations1
(function).
get-justification
(function).
get-justification0
(function).
get-justification1
(function).
get-justification2
(function).
get-support-details
(function).
get-supports
(function).
inherited-to-instance
(function).
internal-commentp
(function).
justify
(function).
justify-leaf
(function).
km-assertion-expr
(function).
make-source
(function).
merge-cached-explanations
(function).
merge-explanations
(function).
modify-set-explanation
(function).
no-explanations
(function).
originated-from-class
(function).
originated-from-classes
(function).
put-explanation-data
(function).
put-explanations
(function).
record-explanation-for
(function).
record-explanation-later
(function).
remove-cloned-from-explanations
(function).
remove-cloned-from-explns
(function).
remove-support
(function).
remove-supports
(function).
show-comment
(function).
source-classes-for-triple
(function).
source-path
(function).
sourcep
(function).
sources
(function).
triple-in
(function).
user-commentp
(function).
why
(function).
why0
(function).
xmlify
(function).
km/kbutils.lisp
explain.lisp
(file).
km
(system).
&&-exprp
(function).
&&-exprs-to-valsets
(function).
&-expr-to-vals
(function).
&-exprp
(function).
add-lisp&km-function
(function).
anonymous-instancep
(function).
arg1of
(function).
arg2of
(function).
arg3of
(function).
arg4of
(function).
bag-to-list
(function).
class-description-to-class+slotsvals
(function).
class-descriptionp
(function).
classes-in-description
(function).
classp
(function).
comparison-operator
(function).
constraint-exprp
(function).
contains-some-existential-exprs
(function).
descriptionp
(function).
existential-exprp
(function).
extract-constraints
(function).
find-constraints-in-exprs
(function).
find-exprs
(function).
flatten-set
(function).
flatten-sets
(function).
fluent-instance-exprp
(function).
fluent-instancep
(function).
fully-evaluatedp
(function).
instance-descriptionp
(function).
is-an-instance
(function).
is-km-term
(function).
is-simple-km-term
(function).
kb-objectp
(function).
kb-size
(function).
km-argsp
(function).
km-bag-equal
(function).
km-bag-equal0
(function).
km-bagp
(function).
km-boolean-exprp
(function).
km-defaultp
(function).
km-equal
(function).
km-functionp
(function).
km-null
(function).
km-pairp
(function).
km-seq-equal
(function).
km-seq-equal0
(function).
km-seqp
(function).
km-set-equal
(function).
km-setp
(function).
km-structured-list-valp
(function).
km-tagp
(function).
km-triplep
(function).
km-varp
(function).
named-instancep
(function).
non-constraint-exprp
(function).
orphanp
(function).
pair-to-list
(function).
pathp
(function).
quoted-descriptionp
(function).
quoted-expressionp
(function).
remove-constraints
(function).
remove-dup-atomic-instances
(function).
remove-dup-instances
(function).
retain-exprp
(function).
seq-to-list
(function).
set-constraint-exprp
(function).
set-to-list
(function).
simple-slotp
(function).
situation-invariant-exprp
(function).
slot-objectp
(function).
slotp
(function).
sometimes-exprp
(function).
the-class-exprp
(function).
un-andify
(function).
val-constraint-exprp
(function).
val-sets-to-expr
(function).
val-sets-to-expr0
(function).
val-to-vals
(function).
vals-to-&-expr
(function).
vals-to-val
(function).
valsets-to-&&-exprs
(function).
km/stack.lisp
kbutils.lisp
(file).
km
(system).
*goal-stack*
(special variable).
*obj-stack*
(special variable).
*show-inference-numbers*
(special variable).
*silent-spypoints-stack*
(special variable).
*unstackable-kb-instances*
(special variable).
canonicalize
(function).
clear-goal-stack
(function).
clear-obj-stack
(function).
clear-silent-spypoints-stack
(function).
evaluate-all
(function).
evaluate-all-frame
(function).
evaluate-all-frame-in-situation
(function).
goal-stack
(function).
item-to-stack
(function).
looping-on
(function).
new-context
(function).
obj-stack
(function).
on-goal-stackp
(function).
pending-equality
(function).
pop-from-goal-stack
(function).
print-slot-exprs
(function).
push-to-goal-stack
(function).
push-to-obj-stack
(function).
remove-from-stack
(function).
search-stack
(function).
show-context
(function).
show-goal-stack
(function).
show-goal-stack2
(function).
show-obj-stack
(function).
showme
(function).
showme-all
(function).
showme-all-frame
(function).
showme-frame
(function).
showme-member-slots-in-situation
(function).
showme-own-slots-in-situation
(function).
showme-strings
(function).
silent-spypoints-stack
(function).
stack-equal
(function).
stackable
(function).
stacked-canonical-expr
(function).
stacked-expr
(function).
stacked-inference-number
(function).
stacked-situation
(function).
stacked-target
(function).
top-level-goal
(function).
unfiltered-obj-stack
(function).
used-slot-in
(function).
km/stats.lisp
stack.lisp
(file).
km
(system).
*inference-report-frequency*
(special variable).
*km-profile-start-cpu*
(special variable).
*km-profile-total-cpu*
(special variable).
*km-profile-total-entries*
(special variable).
*reset-statistics-enabled*
(special variable).
*spot-runtime*
(special variable).
increment-inference-statistics
(function).
inference-number
(function).
profile-call
(function).
profile-exit
(function).
profile-report
(function).
profile-reset
(function).
report-statistics
(function).
report-statistics-long
(function).
reset-statistics
(function).
km/sadl.lisp
stats.lisp
(file).
km
(system).
do-plan
(function).
follow-event-chain
(function).
next-event
(function).
km/anglify.lisp
sadl.lisp
(file).
km
(system).
*default-km-behavior-for-expand-text*
(special variable).
*nospace-string*
(special variable).
*verbose-number-to-text*
(special variable).
a-space
(function).
anonymous-instance-name
(function).
capitalize
(function).
expand-text
(function).
expand-text0
(function).
km-name
(function).
make-phrase
(function).
make-sentence
(function).
no-following-spaces
(function).
no-preceeding-spaces
(function).
spacify
(function).
triple-name
(function).
km/writer.lisp
anglify.lisp
(file).
km
(system).
*html-action*
(special variable).
*html-window*
(special variable).
depth-to-thing
(function).
depth-to-thing1
(function).
expr2string
(function).
list-defined-subclasses
(function).
list-definitions
(function).
list-definitions-for-class
(function).
list-definitions-for-prototype
(function).
objwrite
(function).
objwrite2
(function).
write-frame
(function).
write-frame-in-situation
(function).
write-frame0
(function).
write-frame2
(function).
write-kmexpr
(function).
write-situation-specific-assertions
(function).
write-slotsvals
(function).
write-slotvals
(function).
write-vals
(function).
km/taxonomy.lisp
writer.lisp
(file).
km
(system).
*ignore-items*
(constant).
*indent-increment*
(constant).
*maxdepth*
(constant).
*prune-points*
(constant).
make-tax
(function).
make-tax0
(function).
make-taxes
(function).
tax-obj-write
(function).
taxonomy
(function).
km/subsumes.lisp
taxonomy.lisp
(file).
km
(system).
*remove-temporary-via-backtracking*
(special variable).
breakup-existential-expr
(function).
class-in-existential-expr
(function).
contains-self-keyword
(function).
covers
(function).
description-subsumes-description
(function).
every-to-a
(function).
find-candidates
(function).
find-candidates2
(function).
find-subsumees+bindings
(function).
find-subsumees-on-object-stack
(function).
is
(function).
is0
(function).
is0s
(function).
path-to-existential-expr
(function).
path-to-existential-expr2
(function).
remove-subsuming-exprs
(function).
remove-subsuming-exprs0
(function).
slotsvals-subsume
(function).
slotvals-subsume
(function).
subsumes
(function).
vals-subsume
(function).
vals-to-class-description
(function).
valset-subsumes-valset
(function).
km/prototypes.lisp
subsumes.lisp
(file).
km
(system).
*add-cloned-from-links*
(special variable).
*clone-built-from-slot*
(special variable).
*dereference-explanations-during-cloning*
(special variable).
*expand-essentials*
(special variable).
*nodes-cloned-to-caching*
(special variable).
*nodes-cloned-to-keys*
(special variable).
*propogate-explanations-to-clones*
(special variable).
*prototype-explanation-types-to-save*
(special variable).
*prototype-slots-not-to-save-to-file*
(special variable).
*slots-with-nonparticipant-skolems*
(special variable).
*trace-unify-in-prototype*
(special variable).
*unclonable-slots*
(special variable).
add-to-prototype-definition
(function).
add-triple
(function).
add-triple-asif-cloned
(function).
all-applicable-prototypes
(function).
am-in-prototype-mode
(function).
build-clone
(function).
build-clones
(function).
clear-nodes-cloned-to-cache
(function).
clone
(function).
clone-built-from*
(function).
clone-cycle
(function).
clone-without-bookkeeping
(function).
cloned-from*
(function).
collect-clonesets
(function).
curr-prototype
(function).
delete-nonessential-explanation
(function).
delete-nonessential-explanations
(function).
delete-prototype-triple
(function).
delete-triple
(function).
find-clone-of-node
(function).
find-essentials
(function).
find-essentials0
(function).
in-prototype
(function).
isa-clone
(function).
item-expanded-from
(function).
node-cloned-from
(function).
node-cloned-from*
(function).
node-cloned-from-originally
(function).
node-cloned-to
(function).
node-expanded-from
(function).
nodes-cloned-to
(function).
nodes-cloned-to0
(function).
permute-clonesets
(function).
protoinstancep
(function).
protorootp
(function).
prototype-classes
(function).
prototypep
(function).
raise-participant
(function).
raise-prototype
(function).
remove-clone-cycles
(function).
satisfies-prototype-definition
(function).
save-prototype
(function).
select-real-triples
(function).
show-support
(function).
simplify-cloned-from
(function).
suitable-for-cloning
(function).
trim-prototype
(function).
triple-cloned-from
(function).
triple-cloned-from-complex*
(function).
triple-cloned-from-originally
(function).
triple-cloned-from-simple*
(function).
triple-cloned-to
(function).
triple-cloned-to-complex*
(function).
triple-cloned-to-simple*
(function).
triple-expanded-from
(function).
unify-in-prototype
(function).
unify-in-prototypes
(function).
km/loadkb.lisp
prototypes.lisp
(file).
km
(system).
*checkpoint*
(constant).
*creations*
(special variable).
*current-renaming-alist*
(special variable).
*fast-delete-frame-structure*
(special variable).
*filename-extensions*
(special variable).
*history*
(special variable).
*kb-objects*
(special variable).
*logging-creations*
(special variable).
*stats*
(special variable).
*stored-kb*
(special variable).
checkpoint-id
(function).
checkpoint-p
(function).
clear-situations
(function).
delete-frame-structure
(function).
dereference-chain
(function).
do-objects
(macro).
faslsave-kb
(function).
fastload-kb
(function).
fastsave-kb
(function).
get-all-concepts
(function).
get-all-objects
(function).
get-kb
(function).
getobj
(function).
keeping-kb
(macro).
km-add-to-kb-object-list
(function).
km-pop
(function).
km-propertyp
(function).
km-push
(function).
km-put-list
(function).
km-remove-from-kb-object-list
(function).
km-remprop
(function).
km-remprops
(function).
km-setf
(function).
km-setq
(function).
km-symbol-plist
(function).
km-unintern
(function).
km-version-bits-greater-than
(function).
km-version-greater-than
(function).
known-frame
(function).
load-b
(function).
load-expr
(function).
load-exprs
(function).
load-kb
(function).
load-newest-kb
(function).
load-triples
(function).
load-triples0
(function).
log-undo-command
(function).
next-checkpoint
(function).
nonessentials-in
(function).
nonessentials-in-expr
(function).
put-kb
(function).
put-list
(function).
putobj
(function).
reload-kb
(function).
rename-symbols
(function).
requires-km-version
(function).
reset-creations
(function).
reset-history
(function).
reset-inference-engine
(function).
reset-kb
(function).
restore-kb
(function).
save-explanation
(function).
save-explanations
(function).
save-frame
(function).
save-kb
(function).
set-checkpoint
(function).
set-creations-checkpoint
(function).
simple-add-inverses
(function).
simple-add-slotsvals
(function).
simple-compute-new-slotsvals
(function).
simpleload-expr
(function).
simpleload-kb
(function).
sort-objects-for-writing
(function).
start-creations-logging
(function).
start-logging
(function).
stop-creations-logging
(function).
stop-logging
(function).
store-kb
(function).
triples-to-alist
(function).
undo
(function).
undo-creations
(function).
undo-possible
(function).
undo0
(function).
undo1
(function).
unusable-frame-name
(function).
write-behavior-variables
(function).
write-kb
(function).
write-state-variables
(function).
km/minimatch.lisp
loadkb.lisp
(file).
km
(system).
anonymous-minimatch-varp
(function).
apply-handler
(function).
cons-binding
(function).
find-and-apply-handler
(function).
find-handler
(function).
find-pattern
(function).
find-pattern1
(function).
full-match
(function).
join-binds
(function).
minimatch
(function).
minimatch1
(function).
mv-minimatch
(function).
mv-string-match
(function).
restvar-p
(function).
string-match
(function).
string-match1
(function).
var-p
(function).
wildcard-varp
(function).
km/utils.lisp
minimatch.lisp
(file).
km
(system).
*append-stream*
(special variable).
*null-binding*
(special variable).
*null-bindings*
(special variable).
*see-stream*
(special variable).
*tell-stream*
(special variable).
*tmp-counter*
(special variable).
aconsp
(function).
add-binding
(function).
all-adjacent-pairs
(function).
all-pairs
(function).
apairp
(function).
append-list
(function).
apply-recursive
(function).
areverse
(function).
assoc-equal
(function).
assoc-sort
(function).
atomic-aconsp
(function).
atranspose
(function).
bag-equal
(function).
bag-equal0
(function).
bind
(function).
break-list
(function).
case-sensitive-read-file-exprs
(function).
close-stream
(function).
combine-attvals
(function).
combine-bindings
(function).
contains-some
(function).
count-elements
(function).
counts-to
(function).
counts-to0
(function).
curr-iteration
(function).
delistify
(function).
duplicate
(function).
even-elements
(function).
file-exists
(function).
first-n
(function).
flatten
(function).
flatten-aux
(function).
gather-by-akey
(function).
gather-by-key
(function).
gather-by-key-inc-nils
(function).
gathers-by-key
(function).
insert-delimeter
(function).
intersects
(function).
inv-assoc
(function).
is-subset-of
(function).
last-but-one-el
(function).
last-el
(function).
last-member
(function).
list-intersection
(function).
listify
(function).
listify-if-there
(function).
map-recursive
(function).
member-equal
(function).
multiple-value-mapcar
(function).
multiple-value-some
(function).
my-mapcan
(function).
my-parse-integer
(function).
neq
(function).
nlist
(function).
nor
(function).
nreplace
(function).
number-eq
(function).
numeric-char-p
(function).
odd-elements
(function).
ordered-count
(function).
ordered-gather-by-key
(function).
ordered-intersection
(function).
ordered-set-difference
(function).
pair-less-than
(function).
pairp
(function).
partition
(function).
permutations
(function).
permutations0
(function).
permute
(function).
port-to-package
(function).
print-list
(function).
proper-listp
(function).
quadruplep
(function).
quotep
(function).
quotify
(function).
rank-sort
(function).
read-and-print
(function).
read-and-print2
(function).
read-file
(function).
read-file-array
(function).
read-file-bytes
(function).
read-file-chars
(function).
read-file-exprs
(function).
read-file-lines
(function).
read-file-string
(function).
recursive-find
(function).
remove-assoc-entry
(function).
remove-element-n
(function).
remove-shared-elements
(function).
remove-singletons
(function).
remprops
(function).
replace-element
(function).
reset-trace-at-iteration
(function).
see
(function).
seen
(function).
set-equal
(function).
singletonp
(function).
spaces
(function).
subbagp
(function).
symbol-less-than
(function).
tell
(function).
tell-append
(function).
told
(function).
told-append
(function).
trace-at-iteration
(function).
transpose
(function).
triplep
(function).
uniquep
(function).
unquote
(function).
update-assoc-list
(function).
update-dict
(function).
val-of
(function).
var-boundp
(function).
write-file
(function).
write-file-array
(function).
write-lines
(function).
x-or
(function).
zero
(function).
km/strings.lisp
utils.lisp
(file).
km
(system).
*end-of-sentence-chars*
(special variable).
*newline-string*
(special variable).
*whitespace-chars*
(special variable).
add-doublequotes
(function).
add-escapes
(function).
andify
(function).
apply-to-file-exprs
(function).
apply-to-file-lines
(function).
break-string-at
(function).
break-up
(function).
break-up-at
(function).
break-up-at0
(function).
break-up2
(function).
butfirst-char
(function).
butlast-char
(function).
butlast-word
(function).
clear-screen
(function).
commaed-list
(function).
commaify
(function).
common-startstring
(function).
concat
(function).
concat-list
(function).
contains
(function).
contains-whitespace
(function).
crypt
(function).
date
(function).
double-quotify
(function).
double-quotify-list
(function).
ends-with
(function).
explode
(function).
first-char
(function).
first-word
(function).
fold
(function).
fold0
(function).
handle-ctrl-c-error
(function).
implode
(function).
insert-spaces
(function).
invert-type
(function).
is-type
(function).
is-user-interrupt
(function).
last-but-n-char
(function).
last-char
(function).
last-word
(function).
left-of
(function).
list-to-lines
(function).
list-to-lines-with-size-limit
(function).
list-to-lines-with-size-limit0
(function).
mapchar
(function).
my-concat
(function).
new-scan-to
(function).
new-scan-to0
(function).
now
(function).
number-stringp
(function).
orify
(function).
pause
(function).
read-to
(function).
read-to2
(function).
remove-delimeters
(function).
remove-doublequotes
(function).
remove-from-end
(function).
remove-leading-whitespace
(function).
remove-string
(function).
remove-trailing-whitespace
(function).
remove-wrapper
(function).
replace-string
(function).
right-of
(function).
rightmost-word
(function).
scan-to
(function).
shift-char
(function).
spaced-list
(function).
spaced-string
(function).
split-at
(function).
split-at1
(function).
splits-at
(function).
starts-with
(function).
string-to-list
(function).
string-to-number
(function).
string-to-words
(function).
strip-endchars
(function).
substitute-string
(function).
substitute-string0
(function).
substitute-strings
(function).
symbol-starts-with
(function).
throw-ctrl-c-error
(function).
trim-from-end
(function).
trim-from-start
(function).
trim-numbers
(function).
trim-whitespace
(function).
truncate-string
(function).
uppercase-letterp
(function).
white-space-p
(function).
white-space2-p
(function).
whitespace-char
(function).
ynread
(function).
km/compiler.lisp
strings.lisp
(file).
km
(system).
*bindings*
(special variable).
*compiled-handlers-file*
(special variable).
*trace-rules*
(special variable).
add-quote-if-needed
(function).
args-to-symbol
(function).
bindings-for
(function).
compile-expr
(function).
compile-handlers
(function).
compile-list
(function).
compile-rule
(function).
compile-rules
(function).
copy-delay
(function).
delay
(macro).
delay
(structure).
delay-function
(reader).
(setf delay-function)
(writer).
delay-p
(function).
delay-value
(reader).
(setf delay-value)
(writer).
force
(function).
make-delay
(function).
merge-code
(function).
mergeable
(function).
reset-handler-functions
(function).
reuse-cons
(function).
trace-rule
(function).
variables-in
(function).
write-compiled-handlers
(function).
km/compiled-handlers.lisp
compiler.lisp
(file).
km
(system).
compiled-km-handler-function
(function).
km/licence.lisp
compiled-handlers.lisp
(file).
km
(system).
Packages are listed by definition order.
km
asdf/interface
.
common-lisp
.
&&-exprp
(function).
&&-exprs-to-valsets
(function).
&-expr-to-vals
(function).
&-exprp
(function).
*acl-readtable*
(special variable).
*active-obj-stack*
(special variable).
*add-cloned-from-links*
(special variable).
*add-comments-to-names*
(special variable).
*additional-keywords*
(special variable).
*all-facets*
(special variable).
*allow-ununify*
(special variable).
*am-classifying*
(special variable).
*am-in-situations-mode*
(special variable).
*am-reasoning*
(special variable).
*annotated-constraints*
(special variable).
*append-stream*
(special variable).
*are-some-constraints*
(special variable).
*are-some-defaults*
(special variable).
*are-some-definitions*
(special variable).
*are-some-prototype-definitions*
(special variable).
*are-some-prototypes*
(special variable).
*are-some-subslots*
(special variable).
*are-some-tags*
(special variable).
*bindings*
(special variable).
*built-in-aggregation-slots*
(special variable).
*built-in-atomic-vals-only-slots*
(special variable).
*built-in-bag-aggregation-slots*
(special variable).
*built-in-classes*
(special variable).
*built-in-classes-with-no-built-in-superclasses*
(special variable).
*built-in-classes-with-nonfluent-instances-relation*
(special variable).
*built-in-combine-values-by-appending-slots*
(special variable).
*built-in-frames*
(special variable).
*built-in-inertial-fluent-slots*
(special variable).
*built-in-instance-of-links*
(special variable).
*built-in-instances*
(special variable).
*built-in-inverse2s*
(special variable).
*built-in-inverses*
(special variable).
*built-in-multivalued-slots*
(special variable).
*built-in-non-fluent-slots*
(special variable).
*built-in-non-inertial-fluent-slots*
(special variable).
*built-in-nonfluent-lookup-only-slots*
(special variable).
*built-in-remove-subsumees-slots*
(special variable).
*built-in-remove-subsumers-slots*
(special variable).
*built-in-seq-aggregation-slots*
(constant).
*built-in-set-aggregation-slots*
(special variable).
*built-in-single-valued-slots*
(special variable).
*built-in-slots*
(special variable).
*built-in-slots-with-constraints*
(special variable).
*built-in-subslots*
(constant).
*built-in-superclass-links*
(special variable).
*called-forces-unification*
(special variable).
*case-preserving-readtable*
(special variable).
*catch-explanations*
(special variable).
*catch-next-explanations*
(special variable).
*check-kb*
(special variable).
*checkpoint*
(constant).
*classes-using-assertions-slot*
(special variable).
*classification-enabled*
(special variable).
*classify-in-local-situations*
(constant).
*classify-slotless-instances*
(special variable).
*clone-built-from-slot*
(special variable).
*coerce-undeclared-slots*
(special variable).
*comment-marker-char*
(constant).
*compile-handlers*
(special variable).
*compiled-handlers-file*
(special variable).
*constraint-keywords*
(special variable).
*constraint-slots*
(special variable).
*creations*
(special variable).
*curr-prototype*
(special variable).
*curr-situation*
(special variable).
*current-renaming-alist*
(special variable).
*decomment-top-level-only-headwords*
(special variable).
*default-built-in-inertial-fluent-slots*
(special variable).
*default-cardinality*
(special variable).
*default-default-fluent-status*
(constant).
*default-fail-mode*
(constant).
*default-fluent-status*
(special variable).
*default-km-behavior-for-expand-text*
(special variable).
*deleted-frames*
(special variable).
*depth*
(special variable).
*dereference-explanations-during-cloning*
(special variable).
*dereferencing-on*
(special variable).
*developer-mode*
(special variable).
*downcase-km-lisp-exprs*
(special variable).
*eagerly-unify-prototypes*
(special variable).
*end-of-sentence-chars*
(special variable).
*equality-relations*
(special variable).
*error-structures*
(special variable).
*errors*
(special variable).
*expand-essentials*
(special variable).
*explanations*
(special variable).
*fast-delete-frame-structure*
(special variable).
*filename-extensions*
(special variable).
*fluent-instance-marker-string*
(special variable).
*force-with-cloned-from*
(special variable).
*global-situation*
(constant).
*goal-stack*
(special variable).
*history*
(special variable).
*html-action*
(special variable).
*html-window*
(special variable).
*ignore-items*
(constant).
*indent-increment*
(constant).
*indent-level*
(special variable).
*indirect-classification*
(special variable).
*inequality-relations*
(special variable).
*inference-report-frequency*
(special variable).
*infinity*
(special variable).
*installing-inverses-enabled*
(special variable).
*instance-of-is-fluent*
(special variable).
*interactive-preconditions*
(special variable).
*interactive-trace*
(special variable).
*internal-logging*
(special variable).
*inverse-suffix*
(special variable).
*justify-leaves*
(special variable).
*kb-objects*
(special variable).
*km-behavior-parameters*
(special variable).
*km-depth-limit*
(special variable).
*km-fixed-parameters*
(special variable).
*km-gensym-counter*
(special variable).
*km-handler-alist*
(special variable).
*km-handler-alist1*
(special variable).
*km-handler-alist2*
(special variable).
*km-handler-function*
(special variable).
*km-lisp-exprs*
(special variable).
*km-package*
(constant).
*km-profile-start-cpu*
(special variable).
*km-profile-total-cpu*
(special variable).
*km-profile-total-entries*
(special variable).
*km-readtable*
(special variable).
*km-runtime-variables*
(special variable).
*km-state-parameters*
(special variable).
*km-version-str*
(special variable).
*last-answer*
(special variable).
*last-question*
(special variable).
*length-of-inverse-suffix*
(special variable).
*less-aggressive-constraint-checking*
(special variable).
*linear-paths*
(special variable).
*loadsave-commands-with-keywords*
(special variable).
*logging*
(special variable).
*logging-creations*
(special variable).
*looping*
(special variable).
*max-padding-instances*
(special variable).
*maxdepth*
(constant).
*multidepth-path-default-searchdepth*
(special variable).
*newline-str*
(special variable).
*newline-string*
(special variable).
*no-decomment-headwords*
(special variable).
*no-heuristic-unification*
(special variable).
*nodes-cloned-to-caching*
(special variable).
*nodes-cloned-to-keys*
(special variable).
*non-inverse-recording-concept*
(special variable).
*non-inverse-recording-slot*
(special variable).
*nospace-string*
(special variable).
*noted-done*
(special variable).
*null-binding*
(special variable).
*null-bindings*
(special variable).
*obj-stack*
(special variable).
*on-error*
(special variable).
*output-precision*
(special variable).
*overriding-in-prototypes*
(special variable).
*partially-included-prototype*
(special variable).
*postponed-classifications*
(special variable).
*print-explanations*
(special variable).
*profiling*
(special variable).
*project-cached-values-only*
(special variable).
*propogate-explanations-to-clones*
(special variable).
*proto-marker-string*
(special variable).
*prototype-classification-enabled*
(special variable).
*prototype-explanation-types-to-save*
(special variable).
*prototype-slots-not-to-save-to-file*
(special variable).
*prune-points*
(constant).
*record-explanations*
(special variable).
*record-explanations-for-clones*
(special variable).
*record-sources*
(special variable).
*recursive-classification*
(special variable).
*recursive-prototypes*
(special variable).
*remove-temporary-via-backtracking*
(special variable).
*remove-violating-instances*
(special variable).
*report-explanation-clone-warnings*
(special variable).
*reserved-keywords*
(special variable).
*reset-statistics-enabled*
(special variable).
*sanity-checks*
(special variable).
*see-stream*
(special variable).
*see-unifications*
(special variable).
*set-constraint-keywords*
(special variable).
*show-comments*
(special variable).
*show-inference-numbers*
(special variable).
*silent-spypoints*
(special variable).
*silent-spypoints-log*
(special variable).
*silent-spypoints-stack*
(special variable).
*slot-checking-enabled*
(special variable).
*slots-not-to-clone-for*
(special variable).
*slots-slots*
(special variable).
*slots-with-nonparticipant-skolems*
(special variable).
*special-symbol-alist*
(special variable).
*spot-runtime*
(special variable).
*spypoints*
(special variable).
*start-justifications-with-because*
(special variable).
*statistics-classification-inferences*
(special variable).
*statistics-classifications-attempted*
(special variable).
*statistics-classifications-succeeded*
(special variable).
*statistics-cpu-time*
(special variable).
*statistics-kb-access*
(special variable).
*statistics-max-depth*
(special variable).
*statistics-query-directed-inferences*
(special variable).
*statistics-skolems*
(special variable).
*statistics-unifications*
(special variable).
*stats*
(special variable).
*stored-kb*
(special variable).
*structured-list-val-keywords*
(special variable).
*subslot-comment*
(special variable).
*subslot-comment-tag*
(special variable).
*suspended-trace*
(special variable).
*t-package*
(special variable).
*t-readtable*
(special variable).
*tell-stream*
(special variable).
*tmp-counter*
(special variable).
*tolerance*
(special variable).
*top-level-fail-mode*
(special variable).
*trace*
(special variable).
*trace-classify*
(special variable).
*trace-constraints*
(special variable).
*trace-file*
(special variable).
*trace-goal-stack*
(special variable).
*trace-merge-prototype-vals*
(special variable).
*trace-other-situations*
(special variable).
*trace-prototype-assertions*
(special variable).
*trace-rules*
(special variable).
*trace-subsumes*
(special variable).
*trace-to-file?*
(special variable).
*trace-unify*
(special variable).
*trace-unify-in-prototype*
(special variable).
*unclonable-slots*
(special variable).
*unstackable-kb-instances*
(special variable).
*use-inheritance*
(special variable).
*use-no-inheritance-flag*
(special variable).
*use-prototypes*
(special variable).
*user-defined-infix-operators*
(special variable).
*user-has-been-warned*
(special variable).
*using-km-package*
(special variable).
*val-constraint-keywords*
(special variable).
*valid-cardinalities*
(special variable).
*valid-fluent-statuses*
(special variable).
*var-marker-char*
(constant).
*var-marker-string*
(special variable).
*verbose-number-to-text*
(special variable).
*visible-theories*
(special variable).
*warnings*
(special variable).
*whitespace-chars*
(special variable).
*year*
(special variable).
a-space
(function).
aconsp
(function).
add-binding
(function).
add-doublequotes
(function).
add-escapes
(function).
add-immediate-class
(function).
add-lisp&km-function
(function).
add-quote-if-needed
(function).
add-quotes
(function).
add-slotsvals
(function).
add-support
(function).
add-to-active-situations
(function).
add-to-prototype-definition
(function).
add-to-source
(function).
add-triple
(function).
add-triple-asif-cloned
(function).
add-val
(function).
add-val-to-group
(function).
add-vals
(function).
aggregate-vals
(function).
all-active-situations
(function).
all-adjacent-pairs
(function).
all-applicable-prototypes
(function).
all-classes
(function).
all-instances
(function).
all-next-situations
(function).
all-pairs
(function).
all-protoinstances
(function).
all-prototypes
(function).
all-situations
(function).
all-situations-and-theories
(function).
all-subclasses
(function).
all-subclasses0
(function).
all-subslots
(function).
all-superclasses
(function).
all-superclasses0
(function).
all-supersituations
(function).
all-supersituations0
(function).
all-superslots
(function).
all-theories
(function).
allof-must
(function).
allof-where-must
(function).
already-done
(function).
am-in-global-situation
(function).
am-in-local-situation
(function).
am-in-local-situation-or-theory
(function).
am-in-local-theory
(function).
am-in-prototype-mode
(function).
am-in-situations-mode
(function).
and-append
(function).
and-append2
(function).
and-listp
(function).
and-member
(function).
andify
(function).
annotate-embedded-structures
(function).
annotate-every-expr
(function).
annotate-every-expr0
(function).
annotate-slotsvals
(function).
annotate-val
(function).
annotate-vals
(function).
anonymous-instance-name
(function).
anonymous-instancep
(function).
anonymous-minimatch-varp
(function).
apairp
(function).
append-bags
(function).
append-list
(function).
append-seqs
(function).
apply-handler
(function).
apply-recursive
(function).
apply-to-file-exprs
(function).
apply-to-file-lines
(function).
are-consistent-with-constraints
(function).
are-slotsvals
(function).
areverse
(function).
arg1of
(function).
arg2of
(function).
arg3of
(function).
arg4of
(function).
args-to-symbol
(function).
assoc-equal
(function).
assoc-sort
(function).
atomic-aconsp
(function).
atranspose
(function).
attach-source-to-expr
(function).
bag-equal
(function).
bag-equal0
(function).
bag-to-list
(function).
before-situation
(function).
bind
(function).
bind-self
(function).
bindings-for
(function).
block-list
(function).
bound
(function).
break-list
(function).
break-string-at
(function).
break-up
(function).
break-up-at
(function).
break-up-at0
(function).
break-up2
(function).
breakup-existential-expr
(function).
build-clone
(function).
build-clones
(function).
build-embedded-val
(function).
build-rule
(function).
built-in-aggregation-slot
(function).
built-in-bag-aggregation-slot
(function).
built-in-concept
(function).
built-in-concept-type
(function).
built-in-instance-of-links
(function).
built-in-seq-aggregation-slot
(function).
built-in-set-aggregation-slot
(function).
built-in-slot
(function).
butfirst-char
(function).
butlast-char
(function).
butlast-word
(function).
cache-explanation-for
(function).
cached-explanations-for
(function).
canonicalize
(function).
capitalize
(function).
cardinality-of
(function).
cardinality-of2
(function).
case-sensitive-read
(function).
case-sensitive-read-file-exprs
(function).
case-sensitive-read-from-string
(function).
case-sensitive-read-km
(function).
catch-explanation
(function).
catch-explanations
(function).
change-to-situation
(function).
check-classification-with-user
(function).
check-domain-and-range
(function).
check-for-cycles
(function).
check-for-cycles0
(function).
check-isa-slot-object
(function).
check-situations-mode
(function).
check-slot
(function).
check-slotvals-constraints
(function).
check-slotvals-constraints0
(function).
checkkboff
(function).
checkkbon
(function).
checkkbp
(function).
checkpoint-id
(function).
checkpoint-p
(function).
class-description-to-class+slotsvals
(function).
class-descriptionp
(function).
class-has-something-to-say-about
(function).
class-in-existential-expr
(function).
classes-in-description
(function).
classes-subsume-classes
(function).
classification-enabled
(function).
classify
(function).
classify-as-coreferential
(function).
classify-as-member
(function).
classify-as-prototype
(function).
classify-as-prototype0
(function).
classify0
(function).
classp
(function).
clean-taxonomy
(function).
clear-all-explanations
(function).
clear-evaluation-cache
(function).
clear-explanations
(function).
clear-goal-stack
(function).
clear-nodes-cloned-to-cache
(function).
clear-obj-stack
(function).
clear-screen
(function).
clear-silent-spy-log
(function).
clear-silent-spypoints-stack
(function).
clear-situations
(function).
clone
(function).
clone-built-from*
(function).
clone-cycle
(function).
clone-without-bookkeeping
(function).
cloned-from*
(function).
close-stream
(function).
collect-clonesets
(function).
collect-constraints+sources-on-instance
(function).
collect-constraints-on-instance
(function).
collect-prototypes-for-classes
(function).
combine-attvals
(function).
combine-bindings
(function).
combine-explanations
(function).
combine-values-by-appending-slotp
(function).
commaed-list
(function).
commaify
(function).
comment
(function).
comment-or-sourcep
(function).
comment-tagp
(function).
comments
(function).
common-startstring
(function).
comparison-operator
(function).
compatible-classes
(function).
compile-expr
(function).
compile-handlers
(function).
compile-list
(function).
compile-rule
(function).
compile-rules
(function).
compiled-km-handler-function
(function).
compute-built-in-non-fluent-slots
(function).
compute-new-vals
(function).
compute-triples
(function).
concat
(function).
concat-list
(function).
cons-binding
(function).
consistent-to-do-action
(function).
constraint-exprp
(function).
contains
(function).
contains-self-keyword
(function).
contains-some
(function).
contains-some-existential-exprs
(function).
contains-whitespace
(function).
convert-comment-to-internal-form
(function).
convert-comments-to-internal-form
(function).
copy-delay
(function).
copy-explanations-for
(function).
copy-situation-contents
(function).
count-elements
(function).
counts-to
(function).
counts-to0
(function).
covers
(function).
create-instance
(function).
create-instance-name
(function).
create-named-instance
(function).
crypt
(function).
curr-iteration
(function).
curr-prototype
(function).
curr-situation
(function).
curr-situation-facet
(function).
date
(function).
decomment
(function).
decrement-trace-depth
(function).
default-fluent-status
(function).
delay
(macro).
delay
(structure).
delay-function
(reader).
(setf delay-function)
(writer).
delay-p
(function).
delay-value
(reader).
(setf delay-value)
(writer).
delete-all-supports-from-class
(function).
delete-explanation
(function).
delete-explanations
(function).
delete-frame
(function).
delete-frame-structure
(function).
delete-isv-explanation
(function).
delete-isv-explanations
(function).
delete-nonessential-explanation
(function).
delete-nonessential-explanations
(function).
delete-prototype-triple
(function).
delete-slot
(function).
delete-support-by-prototypes
(function).
delete-support-by-prototypes-in-class
(function).
delete-supports-from-class
(function).
delete-supports-from-class0
(function).
delete-triple
(function).
delete-val
(function).
delistifiable-commented-or-sourced-pairp
(function).
delistifiable-commented-pairp
(function).
delistifiable-sourced-pairp
(function).
delistify
(function).
depth-to-thing
(function).
depth-to-thing1
(function).
dereference
(function).
dereference-chain
(function).
dereference-kb
(function).
dereference0
(function).
description-subsumes-description
(function).
descriptionp
(function).
desource
(function).
desource+decomment
(function).
desource+decomment-top-level
(function).
desource+decomment1
(function).
desource-all-but-top-level
(function).
desource-for-printing
(function).
desource-top-level
(function).
desource1
(function).
disable-classification
(function).
disable-installing-inverses
(function).
disable-slot-checking
(function).
disjoint-class-sets
(function).
disjoint-class-sets0
(function).
disjoint-classes
(function).
do-action
(function).
do-forced-unifications
(function).
do-objects
(macro).
do-plan
(function).
do-postponed-classifications
(function).
do-setify
(function).
domains-of
(function).
dont-cache-values-slotp
(function).
dot-source
(function).
dotted-slot
(function).
double-quotify
(function).
double-quotify-list
(function).
duplicate
(function).
eagerly-evaluate-exprs
(function).
enable-classification
(function).
enable-installing-inverses
(function).
enable-slot-checking
(function).
ends-with
(function).
enforce-constraints
(function).
enforce-constraints0
(function).
enforce-set-constraint
(function).
enforce-set-constraint2
(function).
enforce-set-constraints
(function).
enforce-set-constraints0
(function).
enforce-val-constraint
(function).
enforce-val-constraints
(function).
equality-assertion-operator
(function).
eval-constraints
(function).
eval-instance
(function).
eval-instances
(function).
evaluate-all
(function).
evaluate-all-frame
(function).
evaluate-all-frame-in-situation
(function).
evaluate-and-filter-defaults
(function).
evaluate-triple
(function).
even-elements
(function).
every-to-a
(function).
existential-exprp
(function).
expand-text
(function).
expand-text0
(function).
explain-all
(function).
explained-by
(function).
explanation-in
(function).
explanation-type
(function).
explanations
(function).
explanations-in
(function).
explode
(function).
expr2string
(function).
extract-constraints
(function).
extract-exprs-in-class
(function).
fail-noisily
(function).
fail-quietly
(function).
faslsave-kb
(function).
fast-delete-val
(function).
fastload-kb
(function).
fastsave-kb
(function).
file-exists
(function).
filter-using-constraints
(function).
filter-using-constraints0
(function).
find-and-apply-handler
(function).
find-candidates
(function).
find-candidates2
(function).
find-clone-of-node
(function).
find-constraints-in-exprs
(function).
find-essentials
(function).
find-essentials0
(function).
find-exprs
(function).
find-handler
(function).
find-ignored
(function).
find-pattern
(function).
find-pattern1
(function).
find-propositions
(function).
find-subsumees+bindings
(function).
find-subsumees-on-object-stack
(function).
first-char
(function).
first-n
(function).
first-n-unifiable-values
(function).
first-n-unifiable-values2
(function).
first-word
(function).
flatten
(function).
flatten-aux
(function).
flatten-set
(function).
flatten-sets
(function).
flatten-to-kb-objs
(function).
fluent-instance-exprp
(function).
fluent-instancep
(function).
fluent-status
(function).
fluentp
(function).
fold
(function).
fold0
(function).
follow-event-chain
(function).
follow-multidepth-path
(function).
follow-multidepth-path0
(function).
force
(function).
frame-has-something-to-say-about
(function).
full-all-instances
(function).
full-immediate-instances
(function).
full-match
(function).
fully-evaluatedp
(function).
gather-by-akey
(function).
gather-by-key
(function).
gather-by-key-inc-nils
(function).
gathers-by-key
(function).
get-all-concepts
(function).
get-all-explanations
(function).
get-all-objects
(function).
get-binding
(function).
get-comment
(function).
get-comment-justification
(function).
get-comment-tags
(function).
get-comment-tags-recursive
(function).
get-comment2
(function).
get-comments
(function).
get-explanation-data
(function).
get-explanations
(function).
get-explanations0
(function).
get-explanations1
(function).
get-justification
(function).
get-justification0
(function).
get-justification1
(function).
get-justification2
(function).
get-kb
(function).
get-rule-sets-in-situation
(function).
get-slotsvals
(function).
get-support-details
(function).
get-supports
(function).
get-unique-val
(function).
get-vals
(function).
getobj
(function).
gets-vals
(function).
global-situation
(function).
goal-stack
(function).
grab-explanations
(function).
grab-explanations-html
(function).
grab-explanations-xml
(function).
group-vals-unifiably
(function).
group-vals-unifiably0
(function).
handle-ctrl-c-error
(function).
handle-looping
(function).
has-situation-specific-info
(function).
hash-comma-reader
(function).
hash-dollar
(function).
hash-dollar-reader
(function).
hash-t-reader
(function).
hide-theory
(function).
htextify
(function).
ignore-slot-due-to-situations-mode
(function).
immediate-classes
(function).
immediate-classes-subsume-immediate-classes
(function).
immediate-classes0
(function).
immediate-instances
(function).
immediate-protoinstances
(function).
immediate-prototypes
(function).
immediate-subclasses
(function).
immediate-subslots
(function).
immediate-superclasses
(function).
immediate-supersituations
(function).
immediate-superslots
(function).
implode
(function).
in-prototype
(function).
in-situation
(function).
in-situation0
(function).
in-theory
(function).
incompatible-instances
(function).
inconsistent-propositions
(function).
increment-inference-statistics
(function).
increment-trace-depth
(function).
inertial-fluentp
(function).
inference-number
(function).
inherit-with-overrides-slotp
(function).
inherited-rule-sets
(function).
inherited-rule-sets+classes-with-overrides
(function).
inherited-rule-sets+classes-with-overrides2
(function).
inherited-rule-sets+classes2
(function).
inherited-rule-sets-on-classes
(function).
inherited-rule-sets-with-overrides
(function).
inherited-rule-sets2
(function).
inherited-rulesets+classes
(function).
inherited-to-instance
(function).
insert-delimeter
(function).
insert-spaces
(function).
inspect-silent-spy-log
(function).
install-all-subclasses
(function).
install-inverses
(function).
install-inverses0
(function).
instance-descriptionp
(function).
instance-has-something-to-say-about
(function).
instance-of
(function).
instance-of-is-fluent
(function).
instance-of-is-nonfluent
(function).
internal-commentp
(function).
intersects
(function).
inv-assoc
(function).
invert-cardinality
(function).
invert-inequality-relation
(function).
invert-predicate
(function).
invert-slot
(function).
invert-type
(function).
is
(function).
is-an-instance
(function).
is-consistent
(function).
is-consistent-to-assert
(function).
is-km-term
(function).
is-simple-km-term
(function).
is-subclass-of
(function).
is-subset-of
(function).
is-subslot-of
(function).
is-type
(function).
is-user-interrupt
(function).
is0
(function).
is0s
(function).
isa
(function).
isa-clone
(function).
isa-situation-facet
(function).
isa-theory
(function).
item-expanded-from
(function).
item-to-stack
(function).
join-binds
(function).
justify
(function).
justify-leaf
(function).
kb-objectp
(function).
kb-size
(function).
keeping-kb
(macro).
km
(function).
km-add-to-kb-object-list
(function).
km-argsp
(function).
km-assert
(function).
km-assertion-expr
(function).
km-bag-equal
(function).
km-bag-equal0
(function).
km-bagp
(function).
km-bind
(function).
km-boolean-exprp
(function).
km-defaultp
(function).
km-equal
(function).
km-eval-print
(function).
km-flatten
(function).
km-format
(function).
km-functionp
(function).
km-int
(function).
km-int-with-trace
(function).
km-multi-slotvals
(function).
km-multi-slotvals0
(function).
km-name
(function).
km-null
(function).
km-pairp
(function).
km-pop
(function).
km-propertyp
(function).
km-push
(function).
km-put-list
(function).
km-read-eval-print
(function).
km-remove-from-kb-object-list
(function).
km-remprop
(function).
km-remprops
(function).
km-seq-equal
(function).
km-seq-equal0
(function).
km-seqp
(function).
km-set-equal
(function).
km-setf
(function).
km-setp
(function).
km-setq
(function).
km-slotvals
(function).
km-slotvals-from-kb
(function).
km-slotvals-via-projection
(function).
km-slotvals2
(function).
km-structured-list-valp
(function).
km-symbol-plist
(function).
km-tagp
(function).
km-trace
(function).
km-trace2
(function).
km-triplep
(function).
km-unintern
(function).
km-unique
(function).
km-unique-int
(function).
km-unique0
(function).
km-varp
(function).
km-version-bits-greater-than
(function).
km-version-greater-than
(function).
km0
(function).
km1
(function).
known-frame
(function).
last-but-n-char
(function).
last-but-one-el
(function).
last-char
(function).
last-el
(function).
last-member
(function).
last-word
(function).
lazy-unify
(function).
lazy-unify-&-expr
(function).
lazy-unify-&-expr0
(function).
lazy-unify-&-expr1
(function).
lazy-unify-expr-sets
(function).
lazy-unify-exprs
(function).
lazy-unify-sets
(function).
lazy-unify-sets2
(function).
lazy-unify-slotsvals
(function).
lazy-unify-vals
(function).
lazy-unify0
(function).
lazy-unify2
(function).
left-of
(function).
licence
(function).
license
(function).
list-defined-subclasses
(function).
list-definitions
(function).
list-definitions-for-class
(function).
list-definitions-for-prototype
(function).
list-intersection
(function).
list-needs-dereferencing
(function).
list-to-lines
(function).
list-to-lines-with-size-limit
(function).
list-to-lines-with-size-limit0
(function).
listify
(function).
listify-if-there
(function).
load-b
(function).
load-expr
(function).
load-exprs
(function).
load-kb
(function).
load-newest-kb
(function).
load-triples
(function).
load-triples0
(function).
local-constraints
(function).
log-undo-command
(function).
looping-on
(function).
make-assertions
(function).
make-comment
(function).
make-delay
(function).
make-new-situation
(function).
make-phrase
(function).
make-sentence
(function).
make-slotvals
(function).
make-source
(function).
make-tax
(function).
make-tax0
(function).
make-taxes
(function).
map-recursive
(function).
mapchar
(function).
maybe-project-value
(function).
member-equal
(function).
merge-cached-explanations
(function).
merge-code
(function).
merge-explanations
(function).
merge-prototype-vals
(function).
merge-slotsvals
(function).
mergeable
(function).
might-be-member
(function).
might-have-slotsvals
(function).
minimatch
(function).
minimatch1
(function).
modify-set-explanation
(function).
most-general-first
(function).
most-specific-first
(function).
most-specific-prototype-scopes-first
(function).
multiple-value-mapcar
(function).
multiple-value-some
(function).
multivalued-slotp
(function).
mv-minimatch
(function).
mv-string-match
(function).
my-concat
(function).
my-mapcan
(function).
my-parse-integer
(function).
named-instancep
(function).
needs-dereferencing
(function).
neq
(function).
new-context
(function).
new-scan-to
(function).
new-scan-to0
(function).
new-situation
(function).
next-checkpoint
(function).
next-event
(function).
next-situation
(function).
next-situations
(function).
nlist
(function).
no-explanations
(function).
no-following-spaces
(function).
no-preceeding-spaces
(function).
no-reserved-keywords
(function).
no-sanity-checks
(function).
nocomments
(function).
node-cloned-from
(function).
node-cloned-from*
(function).
node-cloned-from-originally
(function).
node-cloned-to
(function).
node-expanded-from
(function).
nodes-cloned-to
(function).
nodes-cloned-to0
(function).
non-constraint-exprp
(function).
non-inverse-recording-concept
(function).
non-inverse-recording-slot
(function).
non-unifiable-pairs
(function).
nonessentials-in
(function).
nonessentials-in-expr
(function).
nor
(function).
note-are-constraints
(function).
note-done
(function).
now
(function).
nowexists
(function).
nowexists-val
(function).
nreplace
(function).
number-eq
(function).
number-stringp
(function).
numeric-char-p
(function).
obj-stack
(function).
objwrite
(function).
objwrite2
(function).
odd-elements
(function).
on-error
(function).
on-goal-stackp
(function).
oneof-where
(function).
ordered-count
(function).
ordered-gather-by-key
(function).
ordered-intersection
(function).
ordered-set-difference
(function).
orify
(function).
originated-from-class
(function).
originated-from-classes
(function).
orphanp
(function).
orphans
(function).
own-rule-sets
(function).
pair-filter
(function).
pair-less-than
(function).
pair-to-list
(function).
pairp
(function).
partition
(function).
path-to-existential-expr
(function).
path-to-existential-expr2
(function).
pathp
(function).
pause
(function).
pending-equality
(function).
permutations
(function).
permutations0
(function).
permute
(function).
permute-clonesets
(function).
point-parents-to-defined-concept
(function).
pop-from-goal-stack
(function).
port-to-package
(function).
prev-situation
(function).
prev-situation-with-vals
(function).
print-km-prompt
(function).
print-list
(function).
print-slot-exprs
(function).
print-trace-message
(function).
print-trace-options
(function).
process-km1-result
(function).
process-load-expression
(function).
process-unquotes
(function).
profile-call
(function).
profile-exit
(function).
profile-report
(function).
profile-reset
(function).
projectable
(function).
projected-classes
(function).
proper-listp
(function).
protoinstancep
(function).
protorootp
(function).
prototype-classes
(function).
prototype-constraints+sources
(function).
prototype-merge-expr1
(function).
prototype-merge-expr2
(function).
prototypep
(function).
push-to-goal-stack
(function).
push-to-obj-stack
(function).
put-explanation-data
(function).
put-explanations
(function).
put-kb
(function).
put-list
(function).
put-slotsvals
(function).
put-vals
(function).
putobj
(function).
quadruplep
(function).
quoted-descriptionp
(function).
quoted-expressionp
(function).
quotep
(function).
quotify
(function).
raise-participant
(function).
raise-prototype
(function).
ranges-of
(function).
rank-sort
(function).
rank-unification
(function).
read-and-print
(function).
read-and-print2
(function).
read-file
(function).
read-file-array
(function).
read-file-bytes
(function).
read-file-chars
(function).
read-file-exprs
(function).
read-file-lines
(function).
read-file-string
(function).
read-to
(function).
read-to2
(function).
record-explanation-for
(function).
record-explanation-later
(function).
recursive-find
(function).
recursive-ruleset
(function).
reify-existentials-in-expr
(function).
reify-existentials-in-rule-set
(function).
reify-existentials-in-rule-sets
(function).
reload-kb
(function).
remove-assoc-entry
(function).
remove-clone-cycles
(function).
remove-cloned-from-explanations
(function).
remove-cloned-from-explns
(function).
remove-constraints
(function).
remove-delimeters
(function).
remove-doublequotes
(function).
remove-dup-atomic-instances
(function).
remove-dup-instances
(function).
remove-element-n
(function).
remove-equal-items
(function).
remove-equal-items0
(function).
remove-explained-vals
(function).
remove-from-end
(function).
remove-from-stack
(function).
remove-leading-whitespace
(function).
remove-pending-equalities
(function).
remove-redundant-subclasses
(function).
remove-redundant-superclasses
(function).
remove-shared-elements
(function).
remove-singletons
(function).
remove-sources-from-vals
(function).
remove-string
(function).
remove-subsumees
(function).
remove-subsumees-slotp
(function).
remove-subsumers
(function).
remove-subsumers-slotp
(function).
remove-subsuming-exprs
(function).
remove-subsuming-exprs0
(function).
remove-support
(function).
remove-supports
(function).
remove-trailing-whitespace
(function).
remove-wrapper
(function).
remprops
(function).
rename-class
(function).
rename-symbols
(function).
reorder-slotsvals
(function).
replace-element
(function).
replace-string
(function).
report-error
(function).
report-statistics
(function).
report-statistics-long
(function).
requires-km-version
(function).
reset-creations
(function).
reset-done
(function).
reset-for-top-level-call
(function).
reset-handler-functions
(function).
reset-history
(function).
reset-inference-engine
(function).
reset-kb
(function).
reset-statistics
(function).
reset-trace
(function).
reset-trace-at-iteration
(function).
reset-trace-depth
(function).
restore-kb
(function).
restvar-p
(function).
retain-exprp
(function).
reuse-cons
(function).
right-of
(function).
rightmost-word
(function).
rules-for
(function).
sanity-checks
(function).
satisfies-class-definition
(function).
satisfies-constraints
(function).
satisfies-definition
(function).
satisfies-definition2
(function).
satisfies-prototype-definition
(function).
save-explanation
(function).
save-explanations
(function).
save-frame
(function).
save-kb
(function).
save-prototype
(function).
scan-kb
(function).
scan-to
(function).
score-pair
(function).
search-stack
(function).
see
(function).
see-theory
(function).
seen
(function).
select-real-triples
(function).
seq-to-list
(function).
set-checkpoint
(function).
set-constraint-exprp
(function).
set-constraint-satisfied
(function).
set-creations-checkpoint
(function).
set-equal
(function).
set-situations-mode
(function).
set-to-list
(function).
set-unification-operator
(function).
shift-char
(function).
show-binding
(function).
show-binding0
(function).
show-bindings
(function).
show-comment
(function).
show-context
(function).
show-done
(function).
show-explanation
(function).
show-explanations
(function).
show-explanations-html
(function).
show-explanations-xml
(function).
show-goal-stack
(function).
show-goal-stack2
(function).
show-obj-stack
(function).
show-support
(function).
showme
(function).
showme-all
(function).
showme-all-frame
(function).
showme-frame
(function).
showme-member-slots-in-situation
(function).
showme-own-slots-in-situation
(function).
showme-strings
(function).
silent-spy
(function).
silent-spypoints-stack
(function).
silent-unspy
(function).
simple-add-inverses
(function).
simple-add-slotsvals
(function).
simple-compute-new-slotsvals
(function).
simple-eval-instance
(function).
simple-inherit-with-overrides-slotp
(function).
simple-slotp
(function).
simple-unifiable
(function).
simpleload-expr
(function).
simpleload-kb
(function).
simplify-cloned-from
(function).
single-valued-slotp
(function).
singletonp
(function).
situation-invariant-exprp
(function).
skip-checkpoint
(function).
skolem-root
(function).
slot-in
(function).
slot-objectp
(function).
slotp
(function).
slots-to-opportunistically-evaluate
(function).
slotsvals-subsume
(function).
slotvals-subsume
(function).
sometimes-exprp
(function).
sort-objects-for-writing
(function).
source-classes-for-triple
(function).
source-path
(function).
sourcep
(function).
sources
(function).
spaced-list
(function).
spaced-string
(function).
spaces
(function).
spacify
(function).
special-slot-type
(function).
split-at
(function).
split-at1
(function).
splits-at
(function).
spy
(function).
stack-equal
(function).
stackable
(function).
stacked-canonical-expr
(function).
stacked-expr
(function).
stacked-inference-number
(function).
stacked-situation
(function).
stacked-target
(function).
start-creations-logging
(function).
start-logging
(function).
starts-with
(function).
stop-creations-logging
(function).
stop-logging
(function).
store-kb
(function).
string-match
(function).
string-match1
(function).
string-to-frame
(function).
string-to-list
(function).
string-to-number
(function).
string-to-words
(function).
strip-endchars
(function).
structured-slotp
(function).
subbagp
(function).
subclasses-of-thing
(function).
substitute-string
(function).
substitute-string0
(function).
substitute-strings
(function).
subsumes
(function).
suitable-for-cloning
(function).
supersituation-own-rule-sets
(function).
suspend-trace
(function).
symbol-less-than
(function).
symbol-starts-with
(function).
t2f-off
(function).
t2f-on
(function).
tag-write
(function).
tags-in-expr
(function).
target-situation
(function).
tax-obj-write
(function).
taxonomy
(function).
tell
(function).
tell-append
(function).
test-val-constraint
(function).
test-val-constraints
(function).
the-class-exprp
(function).
throw-ctrl-c-error
(function).
tidy-classes
(function).
told
(function).
told-append
(function).
top-level-goal
(function).
trace-at-iteration
(function).
trace-rule
(function).
trace-to-file-off
(function).
trace-to-file-on
(function).
traceclassifyp
(function).
traceconstraintsp
(function).
tracekm
(function).
traceothersituationsp
(function).
tracep
(function).
tracesubsumesp
(function).
traceunifyp
(function).
transpose
(function).
trim-failed-explanations
(function).
trim-from-end
(function).
trim-from-start
(function).
trim-numbers
(function).
trim-prototype
(function).
trim-whitespace
(function).
triple-cloned-from
(function).
triple-cloned-from-complex*
(function).
triple-cloned-from-originally
(function).
triple-cloned-from-simple*
(function).
triple-cloned-to
(function).
triple-cloned-to-complex*
(function).
triple-cloned-to-simple*
(function).
triple-expanded-from
(function).
triple-in
(function).
triple-name
(function).
triplep
(function).
triples-to-alist
(function).
truncate-string
(function).
try-classifying
(function).
try-classifying-as-prototype
(function).
try-equating
(function).
try-lazy-unify
(function).
try-lazy-unify2
(function).
un-andify
(function).
un-done
(function).
undeclared-slot
(function).
undo
(function).
undo-creations
(function).
undo-possible
(function).
undo0
(function).
undo1
(function).
unfiltered-obj-stack
(function).
unifiable-with-existential-expr
(function).
unifiable-with-existential-expr0
(function).
unification-operator
(function).
unified-svs
(function).
unified-svs-in-situation
(function).
unify-in-prototype
(function).
unify-in-prototypes
(function).
unify-names
(function).
unify-structured-list-vals
(function).
unify-structured-list-vals2
(function).
unify-with-existential-expr
(function).
unify-with-instance
(function).
unify-with-slotsvals2
(function).
uninstall-inverse
(function).
uninstall-inverses
(function).
uniquep
(function).
universalp
(function).
unpoint-parents-to-defined-concept
(function).
unquote
(function).
unsatisfied-propositions
(function).
unspy
(function).
unsuspend-trace
(function).
untracekm
(function).
ununifiable
(function).
ununify
(function).
unusable-frame-name
(function).
update-assoc-list
(function).
update-dict
(function).
uppercase-letterp
(function).
use-inheritance
(function).
use-prototypes
(function).
used-slot-in
(function).
user-commentp
(function).
val-constraint-exprp
(function).
val-of
(function).
val-sets-to-expr
(function).
val-sets-to-expr0
(function).
val-to-vals
(function).
val-unification-operator
(function).
vals-in
(function).
vals-in-class
(function).
vals-subsume
(function).
vals-to-&-expr
(function).
vals-to-class-description
(function).
vals-to-val
(function).
valset-subsumes-valset
(function).
valsets-to-&&-exprs
(function).
var-boundp
(function).
var-p
(function).
variables-in
(function).
violated-cardinality-constraint
(function).
violated-constraints
(function).
violated-set-constraints
(function).
violated-val-constraints
(function).
visible-theories
(function).
white-space-p
(function).
white-space2-p
(function).
whitespace-char
(function).
why
(function).
why0
(function).
wildcard-varp
(function).
write-behavior-variables
(function).
write-compiled-handlers
(function).
write-file
(function).
write-file-array
(function).
write-frame
(function).
write-frame-in-situation
(function).
write-frame0
(function).
write-frame2
(function).
write-kb
(function).
write-km-list
(function).
write-km-vals
(function).
write-km-vals2
(function).
write-kmexpr
(function).
write-lines
(function).
write-situation-specific-assertions
(function).
write-slotsvals
(function).
write-slotvals
(function).
write-state-variables
(function).
write-vals
(function).
x-or
(function).
xmlify
(function).
ynread
(function).
zero
(function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Alist (pattern-var . binding), used for rule compilation.
km
.
Filename extensions for Common Lisp.
A cons of the form (Source-Extension . Binary-Extension). If the
system is unknown (as in *features* not known), defaults to what compile-file-pathname
produces.
km
.
if true, the km traces are sent to the trace file
set by (trace-to-file-on [<filename>]) and (trace-to-file-off) from lisp
set by (t2f-on [<filename>]) and (t2f-off) from km
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
Compile the handler-alist Handlers. If code-only is T, then just return the code without invoking the compiler on it.
km
.
A rules is of the form (pat code) where code may reference vars in pat.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
return the inverse variant of PREDICATE such that the first and ARGNUMth args have been swapped.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.
km
.