This is the km Reference Manual, version 2.5.33, generated automatically by Declt version 4.0 beta 2 "William Riker" on Fri Sep 15 05:34:30 2023 GMT+0.
km/km.asdkm/header.lispkm/htextify.lispkm/case.lispkm/interpreter.lispkm/get-slotvals.lispkm/frame-io.lispkm/trace.lispkm/lazy-unify.lispkm/constraints.lispkm/explain.lispkm/kbutils.lispkm/stack.lispkm/stats.lispkm/sadl.lispkm/anglify.lispkm/writer.lispkm/taxonomy.lispkm/subsumes.lispkm/prototypes.lispkm/loadkb.lispkm/minimatch.lispkm/utils.lispkm/strings.lispkm/compiler.lispkm/compiled-handlers.lispkm/licence.lispkm/initkb.lispThe main system appears first, followed by any subsystem dependency.
kmTHE 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.asdkm/header.lispkm/htextify.lispkm/case.lispkm/interpreter.lispkm/get-slotvals.lispkm/frame-io.lispkm/trace.lispkm/lazy-unify.lispkm/constraints.lispkm/explain.lispkm/kbutils.lispkm/stack.lispkm/stats.lispkm/sadl.lispkm/anglify.lispkm/writer.lispkm/taxonomy.lispkm/subsumes.lispkm/prototypes.lispkm/loadkb.lispkm/minimatch.lispkm/utils.lispkm/strings.lispkm/compiler.lispkm/compiled-handlers.lispkm/licence.lispkm/initkb.lispkm/header.lispkm (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.lispheader.lisp (file).
km (system).
htextify (function).
km/case.lisphtextify.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.lispcase.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.lispinterpreter.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.lispget-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.lispframe-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.lisptrace.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.lisplazy-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.lispconstraints.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.lispexplain.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.lispkbutils.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.lispstack.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.lispstats.lisp (file).
km (system).
do-plan (function).
follow-event-chain (function).
next-event (function).
km/anglify.lispsadl.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.lispanglify.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.lispwriter.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.lisptaxonomy.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.lispsubsumes.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.lispprototypes.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.lisploadkb.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.lispminimatch.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.lisputils.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.lispstrings.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.lispcompiler.lisp (file).
km (system).
compiled-km-handler-function (function).
km/licence.lispcompiled-handlers.lisp (file).
km (system).
Packages are listed by definition order.
kmasdf/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.