The km Reference Manual

This is the km Reference Manual, version 2.5.33, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 16:51:22 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 km

THE KNOWLEDGE MACHINE - INFERENCE ENGINE

Author

Peter Clark

License

GNU Lesser General Public Licence

Long Description

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.

Version

2.5.33

Source

km.asd.

Child Components

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


3.1 Lisp


3.1.1 km/km.asd

Source

km.asd.

Parent Component

km (system).

ASDF Systems

km.

Packages

km.


3.1.2 km/header.lisp

Source

km.asd.

Parent Component

km (system).

Internals

3.1.3 km/htextify.lisp

Dependency

header.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

htextify (function).


3.1.4 km/case.lisp

Dependency

htextify.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.5 km/interpreter.lisp

Dependency

case.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.6 km/get-slotvals.lisp

Dependency

interpreter.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.7 km/frame-io.lisp

Dependency

get-slotvals.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.8 km/trace.lisp

Dependency

frame-io.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.9 km/lazy-unify.lisp

Dependency

trace.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.10 km/constraints.lisp

Dependency

lazy-unify.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.11 km/explain.lisp

Dependency

constraints.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.12 km/kbutils.lisp

Dependency

explain.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.13 km/stack.lisp

Dependency

kbutils.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.14 km/stats.lisp

Dependency

stack.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.15 km/sadl.lisp

Dependency

stats.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.16 km/anglify.lisp

Dependency

sadl.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.17 km/writer.lisp

Dependency

anglify.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.18 km/taxonomy.lisp

Dependency

writer.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.19 km/subsumes.lisp

Dependency

taxonomy.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.20 km/prototypes.lisp

Dependency

subsumes.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.21 km/loadkb.lisp

Dependency

prototypes.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.22 km/minimatch.lisp

Dependency

loadkb.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.23 km/utils.lisp

Dependency

minimatch.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.24 km/strings.lisp

Dependency

utils.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.25 km/compiler.lisp

Dependency

strings.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.26 km/compiled-handlers.lisp

Dependency

compiler.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

compiled-km-handler-function (function).


3.1.27 km/licence.lisp

Dependency

compiled-handlers.lisp (file).

Source

km.asd.

Parent Component

km (system).

Internals

3.1.28 km/initkb.lisp

Dependency

licence.lisp (file).

Source

km.asd.

Parent Component

km (system).


4 Packages

Packages are listed by definition order.


4.1 km

Source

km.asd.

Use List
  • asdf/interface.
  • common-lisp.
Internals

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


5.1 Public Interface


5.2 Internals


5.2.1 Constants

Constant: *built-in-seq-aggregation-slots*
Package

km.

Source

frame-io.lisp.

Constant: *built-in-subslots*
Package

km.

Source

frame-io.lisp.

Constant: *checkpoint*
Package

km.

Source

loadkb.lisp.

Constant: *classify-in-local-situations*
Package

km.

Source

header.lisp.

Constant: *comment-marker-char*
Package

km.

Source

explain.lisp.

Constant: *default-default-fluent-status*
Package

km.

Source

frame-io.lisp.

Constant: *default-fail-mode*
Package

km.

Source

interpreter.lisp.

Constant: *global-situation*
Package

km.

Source

header.lisp.

Constant: *ignore-items*
Package

km.

Source

taxonomy.lisp.

Constant: *indent-increment*
Package

km.

Source

taxonomy.lisp.

Constant: *km-package*
Package

km.

Source

header.lisp.

Constant: *maxdepth*
Package

km.

Source

taxonomy.lisp.

Constant: *prune-points*
Package

km.

Source

taxonomy.lisp.

Constant: *var-marker-char*
Package

km.

Source

header.lisp.


5.2.2 Special variables

Special Variable: *acl-readtable*
Package

km.

Source

header.lisp.

Special Variable: *active-obj-stack*
Package

km.

Source

header.lisp.

Package

km.

Source

prototypes.lisp.

Special Variable: *add-comments-to-names*
Package

km.

Source

header.lisp.

Special Variable: *additional-keywords*
Package

km.

Source

interpreter.lisp.

Special Variable: *all-facets*
Package

km.

Source

frame-io.lisp.

Special Variable: *allow-ununify*
Package

km.

Source

frame-io.lisp.

Special Variable: *am-classifying*
Package

km.

Source

header.lisp.

Special Variable: *am-in-situations-mode*
Package

km.

Source

frame-io.lisp.

Special Variable: *am-reasoning*
Package

km.

Source

interpreter.lisp.

Special Variable: *annotated-constraints*
Package

km.

Source

explain.lisp.

Special Variable: *append-stream*
Package

km.

Source

utils.lisp.

Special Variable: *are-some-constraints*
Package

km.

Source

header.lisp.

Special Variable: *are-some-defaults*
Package

km.

Source

header.lisp.

Special Variable: *are-some-definitions*
Package

km.

Source

header.lisp.

Special Variable: *are-some-prototype-definitions*
Package

km.

Source

header.lisp.

Special Variable: *are-some-prototypes*
Package

km.

Source

header.lisp.

Special Variable: *are-some-subslots*
Package

km.

Source

header.lisp.

Special Variable: *are-some-tags*
Package

km.

Source

header.lisp.

Special Variable: *bindings*

Alist (pattern-var . binding), used for rule compilation.

Package

km.

Source

compiler.lisp.

Special Variable: *built-in-aggregation-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-atomic-vals-only-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-bag-aggregation-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-classes*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-classes-with-no-built-in-superclasses*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-classes-with-nonfluent-instances-relation*
Package

km.

Source

interpreter.lisp.

Special Variable: *built-in-combine-values-by-appending-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-frames*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-inertial-fluent-slots*
Package

km.

Source

frame-io.lisp.

Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-instances*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-inverse2s*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-inverses*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-multivalued-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-non-fluent-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-non-inertial-fluent-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-nonfluent-lookup-only-slots*
Package

km.

Source

interpreter.lisp.

Special Variable: *built-in-remove-subsumees-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-remove-subsumers-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-set-aggregation-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-single-valued-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *built-in-slots-with-constraints*
Package

km.

Source

frame-io.lisp.

Package

km.

Source

frame-io.lisp.

Special Variable: *called-forces-unification*
Package

km.

Source

header.lisp.

Special Variable: *case-preserving-readtable*
Package

km.

Source

case.lisp.

Special Variable: *catch-explanations*
Package

km.

Source

interpreter.lisp.

Special Variable: *catch-next-explanations*
Package

km.

Source

interpreter.lisp.

Special Variable: *check-kb*
Package

km.

Source

header.lisp.

Special Variable: *classes-using-assertions-slot*
Package

km.

Source

header.lisp.

Special Variable: *classification-enabled*
Package

km.

Source

frame-io.lisp.

Special Variable: *classify-slotless-instances*
Package

km.

Source

frame-io.lisp.

Special Variable: *clone-built-from-slot*
Package

km.

Source

prototypes.lisp.

Special Variable: *coerce-undeclared-slots*
Package

km.

Source

header.lisp.

Special Variable: *compile-handlers*
Package

km.

Source

header.lisp.

Special Variable: *compiled-handlers-file*
Package

km.

Source

compiler.lisp.

Special Variable: *constraint-keywords*
Package

km.

Source

frame-io.lisp.

Special Variable: *constraint-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *creations*
Package

km.

Source

loadkb.lisp.

Special Variable: *curr-prototype*
Package

km.

Source

header.lisp.

Special Variable: *curr-situation*
Package

km.

Source

frame-io.lisp.

Special Variable: *current-renaming-alist*
Package

km.

Source

loadkb.lisp.

Special Variable: *decomment-top-level-only-headwords*
Package

km.

Source

interpreter.lisp.

Special Variable: *default-built-in-inertial-fluent-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *default-cardinality*
Package

km.

Source

frame-io.lisp.

Special Variable: *default-fluent-status*
Package

km.

Source

frame-io.lisp.

Special Variable: *default-km-behavior-for-expand-text*
Package

km.

Source

anglify.lisp.

Special Variable: *deleted-frames*
Package

km.

Source

header.lisp.

Special Variable: *depth*
Package

km.

Source

header.lisp.

Special Variable: *dereference-explanations-during-cloning*
Package

km.

Source

prototypes.lisp.

Special Variable: *dereferencing-on*
Package

km.

Source

header.lisp.

Special Variable: *developer-mode*
Package

km.

Source

header.lisp.

Special Variable: *downcase-km-lisp-exprs*
Package

km.

Source

interpreter.lisp.

Special Variable: *eagerly-unify-prototypes*
Package

km.

Source

header.lisp.

Special Variable: *end-of-sentence-chars*
Package

km.

Source

strings.lisp.

Special Variable: *equality-relations*
Package

km.

Source

frame-io.lisp.

Special Variable: *error-structures*
Package

km.

Source

interpreter.lisp.

Special Variable: *errors*
Package

km.

Source

interpreter.lisp.

Special Variable: *expand-essentials*
Package

km.

Source

prototypes.lisp.

Special Variable: *explanations*
Package

km.

Source

interpreter.lisp.

Special Variable: *fast-delete-frame-structure*
Package

km.

Source

loadkb.lisp.

Special Variable: *filename-extensions*

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.

Package

km.

Source

loadkb.lisp.

Special Variable: *fluent-instance-marker-string*
Package

km.

Source

header.lisp.

Special Variable: *force-with-cloned-from*
Package

km.

Source

lazy-unify.lisp.

Special Variable: *goal-stack*
Package

km.

Source

stack.lisp.

Special Variable: *history*
Package

km.

Source

loadkb.lisp.

Special Variable: *html-action*
Package

km.

Source

writer.lisp.

Special Variable: *html-window*
Package

km.

Source

writer.lisp.

Special Variable: *indent-level*
Package

km.

Source

trace.lisp.

Special Variable: *indirect-classification*
Package

km.

Source

header.lisp.

Special Variable: *inequality-relations*
Package

km.

Source

frame-io.lisp.

Special Variable: *inference-report-frequency*
Package

km.

Source

stats.lisp.

Special Variable: *infinity*
Package

km.

Source

interpreter.lisp.

Special Variable: *installing-inverses-enabled*
Package

km.

Source

frame-io.lisp.

Special Variable: *instance-of-is-fluent*
Package

km.

Source

header.lisp.

Special Variable: *interactive-preconditions*
Package

km.

Source

frame-io.lisp.

Special Variable: *interactive-trace*
Package

km.

Source

trace.lisp.

Special Variable: *internal-logging*
Package

km.

Source

header.lisp.

Special Variable: *inverse-suffix*
Package

km.

Source

case.lisp.

Special Variable: *justify-leaves*
Package

km.

Source

explain.lisp.

Special Variable: *kb-objects*
Package

km.

Source

loadkb.lisp.

Special Variable: *km-behavior-parameters*
Package

km.

Source

header.lisp.

Special Variable: *km-depth-limit*
Package

km.

Source

header.lisp.

Special Variable: *km-fixed-parameters*
Package

km.

Source

header.lisp.

Special Variable: *km-gensym-counter*
Package

km.

Source

frame-io.lisp.

Special Variable: *km-handler-alist*
Package

km.

Source

header.lisp.

Special Variable: *km-handler-alist1*
Package

km.

Source

header.lisp.

Special Variable: *km-handler-alist2*
Package

km.

Source

header.lisp.

Special Variable: *km-handler-function*
Package

km.

Source

header.lisp.

Special Variable: *km-lisp-exprs*
Package

km.

Source

interpreter.lisp.

Special Variable: *km-profile-start-cpu*
Package

km.

Source

stats.lisp.

Special Variable: *km-profile-total-cpu*
Package

km.

Source

stats.lisp.

Special Variable: *km-profile-total-entries*
Package

km.

Source

stats.lisp.

Special Variable: *km-readtable*
Package

km.

Source

header.lisp.

Special Variable: *km-runtime-variables*
Package

km.

Source

header.lisp.

Special Variable: *km-state-parameters*
Package

km.

Source

header.lisp.

Special Variable: *km-version-str*
Package

km.

Source

header.lisp.

Special Variable: *last-answer*
Package

km.

Source

interpreter.lisp.

Special Variable: *last-question*
Package

km.

Source

interpreter.lisp.

Special Variable: *length-of-inverse-suffix*
Package

km.

Source

case.lisp.

Special Variable: *less-aggressive-constraint-checking*
Package

km.

Source

lazy-unify.lisp.

Special Variable: *linear-paths*
Package

km.

Source

header.lisp.

Special Variable: *loadsave-commands-with-keywords*
Package

km.

Source

interpreter.lisp.

Special Variable: *logging*
Package

km.

Source

header.lisp.

Special Variable: *logging-creations*
Package

km.

Source

loadkb.lisp.

Special Variable: *looping*
Package

km.

Source

interpreter.lisp.

Special Variable: *max-padding-instances*
Package

km.

Source

header.lisp.

Special Variable: *multidepth-path-default-searchdepth*
Package

km.

Source

interpreter.lisp.

Special Variable: *newline-str*
Package

km.

Source

header.lisp.

Special Variable: *newline-string*
Package

km.

Source

strings.lisp.

Special Variable: *no-decomment-headwords*
Package

km.

Source

interpreter.lisp.

Special Variable: *no-heuristic-unification*
Package

km.

Source

lazy-unify.lisp.

Special Variable: *nodes-cloned-to-caching*
Package

km.

Source

prototypes.lisp.

Special Variable: *nodes-cloned-to-keys*
Package

km.

Source

prototypes.lisp.

Special Variable: *non-inverse-recording-concept*
Package

km.

Source

frame-io.lisp.

Special Variable: *non-inverse-recording-slot*
Package

km.

Source

frame-io.lisp.

Special Variable: *nospace-string*
Package

km.

Source

anglify.lisp.

Special Variable: *noted-done*
Package

km.

Source

frame-io.lisp.

Special Variable: *null-binding*
Package

km.

Source

utils.lisp.

Special Variable: *null-bindings*
Package

km.

Source

utils.lisp.

Special Variable: *obj-stack*
Package

km.

Source

stack.lisp.

Special Variable: *on-error*
Package

km.

Source

trace.lisp.

Special Variable: *output-precision*
Package

km.

Source

header.lisp.

Special Variable: *overriding-in-prototypes*
Package

km.

Source

lazy-unify.lisp.

Special Variable: *partially-included-prototype*
Package

km.

Source

header.lisp.

Special Variable: *postponed-classifications*
Package

km.

Source

frame-io.lisp.

Special Variable: *print-explanations*
Package

km.

Source

interpreter.lisp.

Special Variable: *profiling*
Package

km.

Source

interpreter.lisp.

Special Variable: *project-cached-values-only*
Package

km.

Source

header.lisp.

Special Variable: *propogate-explanations-to-clones*
Package

km.

Source

prototypes.lisp.

Special Variable: *proto-marker-string*
Package

km.

Source

header.lisp.

Special Variable: *prototype-classification-enabled*
Package

km.

Source

frame-io.lisp.

Special Variable: *prototype-explanation-types-to-save*
Package

km.

Source

prototypes.lisp.

Special Variable: *prototype-slots-not-to-save-to-file*
Package

km.

Source

prototypes.lisp.

Special Variable: *record-explanations*
Package

km.

Source

header.lisp.

Special Variable: *record-explanations-for-clones*
Package

km.

Source

header.lisp.

Special Variable: *record-sources*
Package

km.

Source

header.lisp.

Special Variable: *recursive-classification*
Package

km.

Source

header.lisp.

Special Variable: *recursive-prototypes*
Package

km.

Source

header.lisp.

Special Variable: *remove-temporary-via-backtracking*
Package

km.

Source

subsumes.lisp.

Special Variable: *remove-violating-instances*
Package

km.

Source

constraints.lisp.

Special Variable: *report-explanation-clone-warnings*
Package

km.

Source

explain.lisp.

Special Variable: *reserved-keywords*
Package

km.

Source

interpreter.lisp.

Special Variable: *reset-statistics-enabled*
Package

km.

Source

stats.lisp.

Special Variable: *sanity-checks*
Package

km.

Source

header.lisp.

Special Variable: *see-stream*
Package

km.

Source

utils.lisp.

Special Variable: *see-unifications*
Package

km.

Source

lazy-unify.lisp.

Special Variable: *set-constraint-keywords*
Package

km.

Source

frame-io.lisp.

Special Variable: *show-comments*
Package

km.

Source

header.lisp.

Special Variable: *show-inference-numbers*
Package

km.

Source

stack.lisp.

Special Variable: *silent-spypoints*
Package

km.

Source

interpreter.lisp.

Special Variable: *silent-spypoints-log*
Package

km.

Source

interpreter.lisp.

Special Variable: *silent-spypoints-stack*
Package

km.

Source

stack.lisp.

Special Variable: *slot-checking-enabled*
Package

km.

Source

header.lisp.

Special Variable: *slots-not-to-clone-for*
Package

km.

Source

header.lisp.

Special Variable: *slots-slots*
Package

km.

Source

frame-io.lisp.

Special Variable: *slots-with-nonparticipant-skolems*
Package

km.

Source

prototypes.lisp.

Special Variable: *special-symbol-alist*
Package

km.

Source

header.lisp.

Special Variable: *spot-runtime*
Package

km.

Source

stats.lisp.

Special Variable: *spypoints*
Package

km.

Source

interpreter.lisp.

Special Variable: *start-justifications-with-because*
Package

km.

Source

explain.lisp.

Special Variable: *statistics-classification-inferences*
Package

km.

Source

header.lisp.

Special Variable: *statistics-classifications-attempted*
Package

km.

Source

header.lisp.

Special Variable: *statistics-classifications-succeeded*
Package

km.

Source

header.lisp.

Special Variable: *statistics-cpu-time*
Package

km.

Source

header.lisp.

Special Variable: *statistics-kb-access*
Package

km.

Source

header.lisp.

Special Variable: *statistics-max-depth*
Package

km.

Source

header.lisp.

Special Variable: *statistics-query-directed-inferences*
Package

km.

Source

header.lisp.

Special Variable: *statistics-skolems*
Package

km.

Source

header.lisp.

Special Variable: *statistics-unifications*
Package

km.

Source

header.lisp.

Special Variable: *stats*
Package

km.

Source

loadkb.lisp.

Special Variable: *stored-kb*
Package

km.

Source

loadkb.lisp.

Special Variable: *structured-list-val-keywords*
Package

km.

Source

interpreter.lisp.

Special Variable: *subslot-comment*
Package

km.

Source

explain.lisp.

Special Variable: *subslot-comment-tag*
Package

km.

Source

header.lisp.

Special Variable: *suspended-trace*
Package

km.

Source

trace.lisp.

Special Variable: *t-package*
Package

km.

Source

case.lisp.

Special Variable: *t-readtable*
Package

km.

Source

case.lisp.

Special Variable: *tell-stream*
Package

km.

Source

utils.lisp.

Special Variable: *tmp-counter*
Package

km.

Source

utils.lisp.

Special Variable: *tolerance*
Package

km.

Source

header.lisp.

Special Variable: *top-level-fail-mode*
Package

km.

Source

interpreter.lisp.

Special Variable: *trace*
Package

km.

Source

header.lisp.

Special Variable: *trace-classify*
Package

km.

Source

trace.lisp.

Special Variable: *trace-constraints*
Package

km.

Source

trace.lisp.

Special Variable: *trace-file*

default trace file

Package

km.

Source

trace.lisp.

Special Variable: *trace-goal-stack*
Package

km.

Source

trace.lisp.

Special Variable: *trace-merge-prototype-vals*
Package

km.

Source

lazy-unify.lisp.

Special Variable: *trace-other-situations*
Package

km.

Source

trace.lisp.

Special Variable: *trace-prototype-assertions*
Package

km.

Source

frame-io.lisp.

Special Variable: *trace-rules*
Package

km.

Source

compiler.lisp.

Special Variable: *trace-subsumes*
Package

km.

Source

trace.lisp.

Special Variable: *trace-to-file?*

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

Package

km.

Source

trace.lisp.

Special Variable: *trace-unify*
Package

km.

Source

trace.lisp.

Special Variable: *trace-unify-in-prototype*
Package

km.

Source

prototypes.lisp.

Special Variable: *unclonable-slots*
Package

km.

Source

prototypes.lisp.

Special Variable: *unstackable-kb-instances*
Package

km.

Source

stack.lisp.

Special Variable: *use-inheritance*
Package

km.

Source

header.lisp.

Special Variable: *use-no-inheritance-flag*
Package

km.

Source

header.lisp.

Special Variable: *use-prototypes*
Package

km.

Source

header.lisp.

Special Variable: *user-defined-infix-operators*
Package

km.

Source

header.lisp.

Special Variable: *user-has-been-warned*
Package

km.

Source

frame-io.lisp.

Special Variable: *using-km-package*
Package

km.

Source

header.lisp.

Special Variable: *val-constraint-keywords*
Package

km.

Source

frame-io.lisp.

Special Variable: *valid-cardinalities*
Package

km.

Source

frame-io.lisp.

Special Variable: *valid-fluent-statuses*
Package

km.

Source

frame-io.lisp.

Special Variable: *var-marker-string*
Package

km.

Source

header.lisp.

Special Variable: *verbose-number-to-text*
Package

km.

Source

anglify.lisp.

Special Variable: *visible-theories*
Package

km.

Source

header.lisp.

Special Variable: *warnings*
Package

km.

Source

interpreter.lisp.

Special Variable: *whitespace-chars*
Package

km.

Source

strings.lisp.

Special Variable: *year*
Package

km.

Source

header.lisp.


5.2.3 Macros

Macro: delay (&rest body)
Package

km.

Source

compiler.lisp.

Macro: do-objects (var &body body)
Package

km.

Source

loadkb.lisp.

Macro: keeping-kb (&body body)
Package

km.

Source

loadkb.lisp.


5.2.4 Ordinary functions

Function: &&-exprp (expr)
Package

km.

Source

kbutils.lisp.

Function: &&-exprs-to-valsets (exprs)
Package

km.

Source

kbutils.lisp.

Function: &-expr-to-vals (expr)
Package

km.

Source

kbutils.lisp.

Function: &-exprp (expr)
Package

km.

Source

kbutils.lisp.

Function: a-space (word1 word2)
Package

km.

Source

anglify.lisp.

Function: aconsp (obj)
Package

km.

Source

utils.lisp.

Function: add-binding (x y bindings)
Package

km.

Source

utils.lisp.

Function: add-doublequotes (string)
Package

km.

Source

strings.lisp.

Function: add-escapes (string specials)
Package

km.

Source

strings.lisp.

Function: add-immediate-class (instance0 new-immediate-parent explanation)
Package

km.

Source

frame-io.lisp.

Function: add-lisp&km-function (name)
Package

km.

Source

kbutils.lisp.

Function: add-quote-if-needed (x)

Quote X if necessary.

Package

km.

Source

compiler.lisp.

Function: add-quotes (obj)
Package

km.

Source

case.lisp.

Function: add-slotsvals (instance add-slotsvals &key facet install-inversesp situation combine-values-by bind-selfp)
Package

km.

Source

frame-io.lisp.

Function: add-support (triple support &key situation)
Package

km.

Source

explain.lisp.

Function: add-to-active-situations (situation)
Package

km.

Source

frame-io.lisp.

Function: add-to-prototype-definition (prototype expr)
Package

km.

Source

prototypes.lisp.

Function: add-to-source (source item)
Package

km.

Source

explain.lisp.

Function: add-triple (triple)
Package

km.

Source

prototypes.lisp.

Function: add-triple-asif-cloned (triple n source-triple source-root)
Package

km.

Source

prototypes.lisp.

Function: add-val (instance slot val &optional install-inversesp situation)
Package

km.

Source

frame-io.lisp.

Function: add-val-to-group (val groups non-unifiable-pairs)
Package

km.

Source

constraints.lisp.

Function: add-vals (instance slot vals &optional install-inversesp situation)
Package

km.

Source

frame-io.lisp.

Function: aggregate-vals (function vals)
Package

km.

Source

interpreter.lisp.

Function: all-active-situations ()
Package

km.

Source

frame-io.lisp.

Function: all-adjacent-pairs (list)
Package

km.

Source

utils.lisp.

Function: all-applicable-prototypes (instance &optional slot)
Package

km.

Source

prototypes.lisp.

Function: all-classes (instance)
Package

km.

Source

frame-io.lisp.

Function: all-instances (class)
Package

km.

Source

frame-io.lisp.

Function: all-next-situations (situation)
Package

km.

Source

frame-io.lisp.

Function: all-pairs (list)
Package

km.

Source

utils.lisp.

Function: all-protoinstances (class)
Package

km.

Source

frame-io.lisp.

Function: all-prototypes (class)
Package

km.

Source

frame-io.lisp.

Function: all-situations ()
Package

km.

Source

frame-io.lisp.

Function: all-situations-and-theories ()
Package

km.

Source

frame-io.lisp.

Function: all-subclasses (class)
Package

km.

Source

frame-io.lisp.

Function: all-subclasses0 (class &key path-so-far)
Package

km.

Source

frame-io.lisp.

Function: all-subslots (slot)
Package

km.

Source

frame-io.lisp.

Function: all-superclasses (class)
Package

km.

Source

frame-io.lisp.

Function: all-superclasses0 (class &key path-so-far)
Package

km.

Source

frame-io.lisp.

Function: all-supersituations (situation)
Package

km.

Source

frame-io.lisp.

Function: all-supersituations0 (situation)
Package

km.

Source

frame-io.lisp.

Function: all-superslots (slot)
Package

km.

Source

frame-io.lisp.

Function: all-theories ()
Package

km.

Source

frame-io.lisp.

Function: allof-must (var set test)
Package

km.

Source

interpreter.lisp.

Function: allof-where-must (var set test2 test)
Package

km.

Source

interpreter.lisp.

Function: already-done (frame slot &optional situation)
Package

km.

Source

frame-io.lisp.

Function: am-in-global-situation ()
Package

km.

Source

frame-io.lisp.

Function: am-in-local-situation ()
Package

km.

Source

frame-io.lisp.

Function: am-in-local-situation-or-theory ()
Package

km.

Source

frame-io.lisp.

Function: am-in-local-theory ()
Package

km.

Source

frame-io.lisp.

Function: am-in-prototype-mode ()
Package

km.

Source

prototypes.lisp.

Function: am-in-situations-mode ()
Package

km.

Source

frame-io.lisp.

Function: and-append (xs0 and-symbol ys0)
Package

km.

Source

lazy-unify.lisp.

Function: and-append2 (x and-symbol y)
Package

km.

Source

lazy-unify.lisp.

Function: and-listp (list and-symbol)
Package

km.

Source

lazy-unify.lisp.

Function: and-member (el list and-symbol)
Package

km.

Source

lazy-unify.lisp.

Function: andify (vals)
Package

km.

Source

strings.lisp.

Function: annotate-embedded-structures (expr source)
Package

km.

Source

explain.lisp.

Function: annotate-every-expr (every-expr &optional source search-for)
Package

km.

Source

explain.lisp.

Function: annotate-every-expr0 (every-expr &optional source search-for)
Package

km.

Source

explain.lisp.

Function: annotate-slotsvals (slotsvals source)
Package

km.

Source

explain.lisp.

Function: annotate-val (val source &key embedded-structurep)
Package

km.

Source

explain.lisp.

Function: annotate-vals (vals source &key embedded-structurep)
Package

km.

Source

explain.lisp.

Function: anonymous-instance-name (concept &key htmlify)
Package

km.

Source

anglify.lisp.

Function: anonymous-instancep (instance0)
Package

km.

Source

kbutils.lisp.

Function: anonymous-minimatch-varp (var)
Package

km.

Source

minimatch.lisp.

Function: apairp (list)
Package

km.

Source

utils.lisp.

Function: append-bags (bag-of-bags)
Package

km.

Source

interpreter.lisp.

Function: append-list (list)
Package

km.

Source

utils.lisp.

Function: append-seqs (seq-of-seqs)
Package

km.

Source

interpreter.lisp.

Function: apply-handler (handler)
Package

km.

Source

minimatch.lisp.

Function: apply-recursive (function structure)
Package

km.

Source

utils.lisp.

Function: apply-to-file-exprs (function file)
Package

km.

Source

strings.lisp.

Function: apply-to-file-lines (function file)
Package

km.

Source

strings.lisp.

Function: are-consistent-with-constraints (vals0 constraints0 slot)
Package

km.

Source

constraints.lisp.

Function: are-slotsvals (slotsvals)
Package

km.

Source

frame-io.lisp.

Function: areverse (a-dot-b)
Package

km.

Source

utils.lisp.

Function: arg1of (arg-structure)
Package

km.

Source

kbutils.lisp.

Function: arg2of (arg-structure)
Package

km.

Source

kbutils.lisp.

Function: arg3of (arg-structure)
Package

km.

Source

kbutils.lisp.

Function: arg4of (arg-structure)
Package

km.

Source

kbutils.lisp.

Function: args-to-symbol (&rest args)
Package

km.

Source

compiler.lisp.

Function: assoc-equal (item alist)
Package

km.

Source

utils.lisp.

Function: assoc-sort (list)
Package

km.

Source

utils.lisp.

Function: atomic-aconsp (x)
Package

km.

Source

utils.lisp.

Function: atranspose (list)
Package

km.

Source

utils.lisp.

Function: attach-source-to-expr (expr source)
Package

km.

Source

explain.lisp.

Function: bag-equal (bag1 bag2)
Package

km.

Source

utils.lisp.

Function: bag-equal0 (bag1 bag2)
Package

km.

Source

utils.lisp.

Function: bag-to-list (bag)
Package

km.

Source

kbutils.lisp.

Function: before-situation (event)
Package

km.

Source

frame-io.lisp.

Function: bind (x y)
Package

km.

Source

utils.lisp.

Function: bind-self (expr self)
Package

km.

Source

frame-io.lisp.

Function: bindings-for (pattern)
Package

km.

Source

compiler.lisp.

Function: block-list (add-list)
Package

km.

Source

frame-io.lisp.

Function: bound (frame1)
Package

km.

Source

frame-io.lisp.

Function: break-list (list &key test)
Package

km.

Source

utils.lisp.

Function: break-string-at (string break-char)
Package

km.

Source

strings.lisp.

Function: break-up (string &optional delim-chars)
Package

km.

Source

strings.lisp.

Function: break-up-at (string &key delimeter-chars)
Package

km.

Source

strings.lisp.

Function: break-up-at0 (delimeter-chars string m n nmax polarity)
Package

km.

Source

strings.lisp.

Function: break-up2 (string m n nmax quotep &optional delim-chars)
Package

km.

Source

strings.lisp.

Function: breakup-existential-expr (expr0 &key fail-mode)
Package

km.

Source

subsumes.lisp.

Function: build-clone (prototype mapping-alist &key including-extra-slots)
Package

km.

Source

prototypes.lisp.

Function: build-clones (prototype &key including-extra-slots)
Package

km.

Source

prototypes.lisp.

Function: build-embedded-val (path expr &key every-a has-with)
Package

km.

Source

explain.lisp.

Function: build-rule (expr0 &key ignore-constraintsp)
Package

km.

Source

explain.lisp.

Function: built-in-aggregation-slot (slot)
Package

km.

Source

frame-io.lisp.

Function: built-in-bag-aggregation-slot (slot)
Package

km.

Source

frame-io.lisp.

Function: built-in-concept (concept)
Package

km.

Source

frame-io.lisp.

Function: built-in-concept-type (concept)
Package

km.

Source

frame-io.lisp.

Package

km.

Source

frame-io.lisp.

Function: built-in-seq-aggregation-slot (slot)
Package

km.

Source

frame-io.lisp.

Function: built-in-set-aggregation-slot (slot)
Package

km.

Source

frame-io.lisp.

Function: built-in-slot (slot)
Package

km.

Source

frame-io.lisp.

Function: butfirst-char (string)
Package

km.

Source

strings.lisp.

Function: butlast-char (string)
Package

km.

Source

strings.lisp.

Function: butlast-word (string)
Package

km.

Source

strings.lisp.

Function: cache-explanation-for (val expr0)
Package

km.

Source

explain.lisp.

Function: cached-explanations-for (instance &optional situation)
Package

km.

Source

explain.lisp.

Function: canonicalize (expr)
Package

km.

Source

stack.lisp.

Function: capitalize (string)
Package

km.

Source

anglify.lisp.

Function: cardinality-of (slot)
Package

km.

Source

frame-io.lisp.

Function: cardinality-of2 (slot)
Package

km.

Source

frame-io.lisp.

Function: case-sensitive-read (&optional stream eof-err-p eof-val rec-p)
Package

km.

Source

case.lisp.

Function: case-sensitive-read-file-exprs (file)
Package

km.

Source

utils.lisp.

Function: case-sensitive-read-from-string (&optional eof-err-p eof-val)
Package

km.

Source

case.lisp.

Function: case-sensitive-read-km (&optional stream eof-err-p eof-val rec-p)
Package

km.

Source

case.lisp.

Function: catch-explanation (kmexpr-with-comments mode)
Package

km.

Source

trace.lisp.

Function: catch-explanations ()
Package

km.

Source

trace.lisp.

Function: change-to-situation (situation)
Package

km.

Source

frame-io.lisp.

Function: check-classification-with-user (instance possible-new-parent)
Package

km.

Source

frame-io.lisp.

Function: check-domain-and-range (instance slot vals)
Package

km.

Source

frame-io.lisp.

Function: check-for-cycles ()
Package

km.

Source

frame-io.lisp.

Function: check-for-cycles0 (class &key done)
Package

km.

Source

frame-io.lisp.

Function: check-isa-slot-object (slot)
Package

km.

Source

frame-io.lisp.

Function: check-situations-mode (instance slot)
Package

km.

Source

frame-io.lisp.

Function: check-slot (frame slot values)
Package

km.

Source

frame-io.lisp.

Function: check-slotvals-constraints (slot i1 i2 exprs1 exprs2 &key cs1 cs2 classes-subsumep eagerlyp fail-mode)
Package

km.

Source

lazy-unify.lisp.

Function: check-slotvals-constraints0 (slot i1 i2 exprs1 exprs2 &key cs1 cs2 classes-subsumep eagerlyp fail-mode)
Package

km.

Source

lazy-unify.lisp.

Function: checkkboff ()
Package

km.

Source

header.lisp.

Function: checkkbon ()
Package

km.

Source

header.lisp.

Function: checkkbp ()
Package

km.

Source

header.lisp.

Function: checkpoint-id (x)
Package

km.

Source

loadkb.lisp.

Function: checkpoint-p (x)
Package

km.

Source

loadkb.lisp.

Function: class-description-to-class+slotsvals (expr &key fail-mode)
Package

km.

Source

kbutils.lisp.

Function: class-descriptionp (expr &key fail-mode)
Package

km.

Source

kbutils.lisp.

Function: class-has-something-to-say-about (instance slot &optional situation)
Package

km.

Source

frame-io.lisp.

Function: class-in-existential-expr (existential-expr)
Package

km.

Source

subsumes.lisp.

Function: classes-in-description (expr)
Package

km.

Source

kbutils.lisp.

Function: classes-subsume-classes (classes1 classes2)
Package

km.

Source

frame-io.lisp.

Function: classification-enabled ()
Package

km.

Source

frame-io.lisp.

Function: classify (instance &key slots-that-changed slot-of-interest)
Package

km.

Source

frame-io.lisp.

Function: classify-as-coreferential (instance0 parent &key slots-that-changed slot-of-interest)
Package

km.

Source

frame-io.lisp.

Function: classify-as-member (instance parent &key slots-that-changed slot-of-interest)
Package

km.

Source

frame-io.lisp.

Function: classify-as-prototype (instance parent &key slots-that-changed slot-of-interest)
Package

km.

Source

frame-io.lisp.

Function: classify-as-prototype0 (instance protoroot)
Package

km.

Source

frame-io.lisp.

Function: classify0 (instance &key slots-that-changed slot-of-interest)
Package

km.

Source

frame-io.lisp.

Function: classp (class)
Package

km.

Source

kbutils.lisp.

Function: clean-taxonomy (&key silentp)
Package

km.

Source

frame-io.lisp.

Function: clear-all-explanations ()
Package

km.

Source

explain.lisp.

Function: clear-evaluation-cache ()
Package

km.

Source

explain.lisp.

Function: clear-explanations (&key clear-globalp)
Package

km.

Source

explain.lisp.

Function: clear-goal-stack ()
Package

km.

Source

stack.lisp.

Function: clear-nodes-cloned-to-cache ()
Package

km.

Source

prototypes.lisp.

Function: clear-obj-stack ()
Package

km.

Source

stack.lisp.

Function: clear-screen ()
Package

km.

Source

strings.lisp.

Function: clear-silent-spy-log ()
Package

km.

Source

trace.lisp.

Function: clear-silent-spypoints-stack ()
Package

km.

Source

stack.lisp.

Function: clear-situations ()
Package

km.

Source

loadkb.lisp.

Function: clone (prototype0 &key including-extra-slots without-bookkeeping)
Package

km.

Source

prototypes.lisp.

Function: clone-built-from* (f &key done)
Package

km.

Source

prototypes.lisp.

Function: clone-cycle (explanation)
Package

km.

Source

prototypes.lisp.

Function: clone-without-bookkeeping (prototype &key including-extra-slots)
Package

km.

Source

prototypes.lisp.

Function: cloned-from* (f &key done)
Package

km.

Source

prototypes.lisp.

Function: close-stream (stream)
Package

km.

Source

utils.lisp.

Function: collect-clonesets (nodes isv-explanations clone-operation-id)
Package

km.

Source

prototypes.lisp.

Function: collect-constraints+sources-on-instance (instance slot &key situation retain-commentsp ignore-prototypes)
Package

km.

Source

frame-io.lisp.

Function: collect-constraints-on-instance (instance slot &key retain-commentsp ignore-prototypes situation)
Package

km.

Source

frame-io.lisp.

Function: collect-prototypes-for-classes (ordered-classes class+protoroots-list &key collected-so-far)
Package

km.

Source

frame-io.lisp.

Function: combine-attvals (list dict &key n-entries null-entry)
Package

km.

Source

utils.lisp.

Function: combine-bindings (bindings1 bindings2)
Package

km.

Source

utils.lisp.

Function: combine-explanations (explanations)
Package

km.

Source

explain.lisp.

Function: combine-values-by-appending-slotp (slot)
Package

km.

Source

frame-io.lisp.

Function: commaed-list (list &optional delimeter)
Package

km.

Source

strings.lisp.

Function: commaify (vals)
Package

km.

Source

strings.lisp.

Function: comment (comment-tag data)
Package

km.

Source

explain.lisp.

Function: comment-or-sourcep (tag)
Package

km.

Source

explain.lisp.

Function: comment-tagp (tag)
Package

km.

Source

explain.lisp.

Function: comments ()
Package

km.

Source

trace.lisp.

Function: common-startstring (strings)
Package

km.

Source

strings.lisp.

Function: comparison-operator (slot)
Package

km.

Source

kbutils.lisp.

Function: compatible-classes (&key instance1 instance2 classes1 classes2 classes-subsumep)
Package

km.

Source

lazy-unify.lisp.

Function: compile-expr (var pattern consequent)
Package

km.

Source

compiler.lisp.

Function: compile-handlers (handlers &key code-only)

Compile the handler-alist Handlers. If code-only is T, then just return the code without invoking the compiler on it.

Package

km.

Source

compiler.lisp.

Function: compile-list (var pattern consequent)
Package

km.

Source

compiler.lisp.

Function: compile-rule (pattern consequent var)
Package

km.

Source

compiler.lisp.

Function: compile-rules (rules var)

A rules is of the form (pat code) where code may reference vars in pat.

Package

km.

Source

compiler.lisp.

Function: compiled-km-handler-function (f-mode target x)
Package

km.

Source

compiled-handlers.lisp.

Function: compute-built-in-non-fluent-slots ()
Package

km.

Source

frame-io.lisp.

Function: compute-new-vals (slot old-vals0 add-vals &key combine-values-by)
Package

km.

Source

frame-io.lisp.

Function: compute-triples (&optional triple0)
Package

km.

Source

explain.lisp.

Function: concat (&rest list)
Package

km.

Source

strings.lisp.

Function: concat-list (list)
Package

km.

Source

strings.lisp.

Function: cons-binding (binding bindings)
Package

km.

Source

minimatch.lisp.

Function: consistent-to-do-action (action pcs-list ncs-list)
Package

km.

Source

frame-io.lisp.

Function: constraint-exprp (expr)
Package

km.

Source

kbutils.lisp.

Function: contains (string substring)
Package

km.

Source

strings.lisp.

Function: contains-self-keyword (expr)
Package

km.

Source

subsumes.lisp.

Function: contains-some (expr symbols)
Package

km.

Source

utils.lisp.

Function: contains-some-existential-exprs (exprs)
Package

km.

Source

kbutils.lisp.

Function: contains-whitespace (string)
Package

km.

Source

strings.lisp.

Function: convert-comment-to-internal-form (user-comment &optional self)
Package

km.

Source

explain.lisp.

Function: convert-comments-to-internal-form (expr &optional self)
Package

km.

Source

explain.lisp.

Function: copy-delay (instance)
Package

km.

Source

compiler.lisp.

Function: copy-explanations-for (triple &key from-situation to-situation renaming-alist)
Package

km.

Source

explain.lisp.

Function: copy-situation-contents (source-sitn target-sitn)
Package

km.

Source

lazy-unify.lisp.

Function: count-elements (list)
Package

km.

Source

utils.lisp.

Function: counts-to (nmax &key start-at)
Package

km.

Source

utils.lisp.

Function: counts-to0 (n nmax)
Package

km.

Source

utils.lisp.

Function: covers (xs y)
Package

km.

Source

subsumes.lisp.

Function: create-instance (parent0 slotsvals0 &key prefix-string bind-selfp target)
Package

km.

Source

frame-io.lisp.

Function: create-instance-name (parent &optional prefix-string)
Package

km.

Source

frame-io.lisp.

Function: create-named-instance (newframe parent slotsvals0 &key bind-selfp target)
Package

km.

Source

frame-io.lisp.

Function: crypt (string &key shift)
Package

km.

Source

strings.lisp.

Function: curr-iteration ()
Package

km.

Source

utils.lisp.

Function: curr-prototype ()
Package

km.

Source

prototypes.lisp.

Function: curr-situation ()
Package

km.

Source

frame-io.lisp.

Function: curr-situation-facet (facet &optional curr-situation)
Package

km.

Source

frame-io.lisp.

Function: date ()
Package

km.

Source

strings.lisp.

Function: decomment (expr &key no-delistification)
Package

km.

Source

explain.lisp.

Function: decrement-trace-depth ()
Package

km.

Source

trace.lisp.

Function: default-fluent-status (&optional status)
Package

km.

Source

frame-io.lisp.

Reader: delay-function (instance)
Writer: (setf delay-function) (instance)
Package

km.

Source

compiler.lisp.

Target Slot

function.

Function: delay-p (object)
Package

km.

Source

compiler.lisp.

Reader: delay-value (instance)
Writer: (setf delay-value) (instance)
Package

km.

Source

compiler.lisp.

Target Slot

value.

Function: delete-all-supports-from-class (class)
Package

km.

Source

explain.lisp.

Function: delete-explanation (instance0 slot val0 &key explanation-to-delete situation)
Package

km.

Source

explain.lisp.

Function: delete-explanations (i s v structs)
Package

km.

Source

explain.lisp.

Function: delete-frame (frame0 &key delete-inversesp)
Package

km.

Source

frame-io.lisp.

Function: delete-frame-structure (fname &key remove-from-kb-object-list)
Package

km.

Source

loadkb.lisp.

Function: delete-isv-explanation (isv-explanation &key situation)
Package

km.

Source

explain.lisp.

Function: delete-isv-explanations (isv-explanations &key situation)
Package

km.

Source

explain.lisp.

Function: delete-nonessential-explanation (isv-explanation &key essentials)
Package

km.

Source

prototypes.lisp.

Function: delete-nonessential-explanations (concept &key essentials)
Package

km.

Source

prototypes.lisp.

Function: delete-prototype-triple (triple)
Package

km.

Source

prototypes.lisp.

Function: delete-slot (frame0 slot &key delete-inversesp situation)
Package

km.

Source

frame-io.lisp.

Function: delete-support-by-prototypes (triple prototype-roots &key situation explanation-types-to-delete)
Package

km.

Source

explain.lisp.

Function: delete-support-by-prototypes-in-class (triple class &key situation explanation-types-to-delete)
Package

km.

Source

explain.lisp.

Function: delete-supports-from-class (instance0 class &key situation)
Package

km.

Source

explain.lisp.

Function: delete-supports-from-class0 (instance0 class &key situation)
Package

km.

Source

explain.lisp.

Function: delete-triple (triple)
Package

km.

Source

prototypes.lisp.

Function: delete-val (instance slot val &optional uninstall-inversesp situation)
Package

km.

Source

frame-io.lisp.

Function: delistifiable-commented-or-sourced-pairp (expr)
Package

km.

Source

explain.lisp.

Function: delistifiable-commented-pairp (expr)
Package

km.

Source

explain.lisp.

Function: delistifiable-sourced-pairp (expr)
Package

km.

Source

explain.lisp.

Function: delistify (list)
Package

km.

Source

utils.lisp.

Function: depth-to-thing (class)
Package

km.

Source

writer.lisp.

Function: depth-to-thing1 (classes depth-so-far)
Package

km.

Source

writer.lisp.

Function: dereference (frame)
Package

km.

Source

frame-io.lisp.

Function: dereference-chain (i)
Package

km.

Source

loadkb.lisp.

Function: dereference-kb ()
Package

km.

Source

frame-io.lisp.

Function: dereference0 (frame)
Package

km.

Source

frame-io.lisp.

Function: description-subsumes-description (x-desc y-desc)
Package

km.

Source

subsumes.lisp.

Function: descriptionp (expr)
Package

km.

Source

kbutils.lisp.

Function: desource (expr)
Package

km.

Source

explain.lisp.

Function: desource+decomment (expr &key retain-commentsp delistifyp)
Package

km.

Source

explain.lisp.

Function: desource+decomment-top-level (expr)
Package

km.

Source

explain.lisp.

Function: desource+decomment1 (expr)
Package

km.

Source

explain.lisp.

Function: desource-all-but-top-level (expr)
Package

km.

Source

explain.lisp.

Function: desource-for-printing (expr)
Package

km.

Source

explain.lisp.

Function: desource-top-level (expr)
Package

km.

Source

explain.lisp.

Function: desource1 (expr)
Package

km.

Source

explain.lisp.

Function: disable-classification ()
Package

km.

Source

frame-io.lisp.

Function: disable-installing-inverses ()
Package

km.

Source

frame-io.lisp.

Function: disable-slot-checking ()
Package

km.

Source

frame-io.lisp.

Function: disjoint-class-sets (immediate-classes1 immediate-classes2 &key instance1 instance2)
Package

km.

Source

lazy-unify.lisp.

Function: disjoint-class-sets0 (classes1 classes2 &key instance1 instance2)
Package

km.

Source

lazy-unify.lisp.

Function: disjoint-classes (classes)
Package

km.

Source

lazy-unify.lisp.

Function: do-action (action-expr &key next-situation change-to-next-situation test-or-assert-pcs)
Package

km.

Source

frame-io.lisp.

Function: do-forced-unifications (set1 exprs2 &key eagerlyp target)
Package

km.

Source

lazy-unify.lisp.

Function: do-plan (event-instance)
Package

km.

Source

sadl.lisp.

Function: do-postponed-classifications (instance slot)
Package

km.

Source

frame-io.lisp.

Function: do-setify (set and-symbol)
Package

km.

Source

lazy-unify.lisp.

Function: domains-of (slot)
Package

km.

Source

frame-io.lisp.

Function: dont-cache-values-slotp (slot)
Package

km.

Source

frame-io.lisp.

Function: dot-source (source)
Package

km.

Source

explain.lisp.

Function: dotted-slot (slot)
Package

km.

Source

explain.lisp.

Function: double-quotify (word &optional delim-chars)
Package

km.

Source

strings.lisp.

Function: double-quotify-list (words &optional delim-chars)
Package

km.

Source

strings.lisp.

Function: duplicate (item length)
Package

km.

Source

utils.lisp.

Function: eagerly-evaluate-exprs (instance &optional situation)
Package

km.

Source

lazy-unify.lisp.

Function: enable-classification ()
Package

km.

Source

frame-io.lisp.

Function: enable-installing-inverses ()
Package

km.

Source

frame-io.lisp.

Function: enable-slot-checking ()
Package

km.

Source

frame-io.lisp.

Function: ends-with (string substr)
Package

km.

Source

strings.lisp.

Function: enforce-constraints (vals constraints &key target)
Package

km.

Source

constraints.lisp.

Function: enforce-constraints0 (vals constraints &key target)
Package

km.

Source

constraints.lisp.

Function: enforce-set-constraint (vals constraint0 &key target)
Package

km.

Source

constraints.lisp.

Function: enforce-set-constraint2 (vals constraint &key target)
Package

km.

Source

constraints.lisp.

Function: enforce-set-constraints (vals constraints &key target)
Package

km.

Source

constraints.lisp.

Function: enforce-set-constraints0 (vals constraints &key target)
Package

km.

Source

constraints.lisp.

Function: enforce-val-constraint (val constraint0 instance slot special-slot-type)
Package

km.

Source

constraints.lisp.

Function: enforce-val-constraints (val constraints special-slot-type &key target)
Package

km.

Source

constraints.lisp.

Function: equality-assertion-operator (x)
Package

km.

Source

lazy-unify.lisp.

Function: eval-constraints (instance)
Package

km.

Source

frame-io.lisp.

Function: eval-instance (instance)
Package

km.

Source

frame-io.lisp.

Function: eval-instances (&optional instances &key n)
Package

km.

Source

frame-io.lisp.

Function: evaluate-all (km-expr &optional situations)
Package

km.

Source

stack.lisp.

Function: evaluate-all-frame (instance &optional situations)
Package

km.

Source

stack.lisp.

Function: evaluate-all-frame-in-situation (instance situation)
Package

km.

Source

stack.lisp.

Function: evaluate-and-filter-defaults (expr-set constraints curr-vals slot &key single-valuedp)
Package

km.

Source

constraints.lisp.

Function: evaluate-triple (triple)
Package

km.

Source

frame-io.lisp.

Function: even-elements (list)
Package

km.

Source

utils.lisp.

Function: every-to-a (expr)
Package

km.

Source

subsumes.lisp.

Function: existential-exprp (expr)
Package

km.

Source

kbutils.lisp.

Function: expand-text (item &key htmlify depth)
Package

km.

Source

anglify.lisp.

Function: expand-text0 (item &key htmlify depth)
Package

km.

Source

anglify.lisp.

Function: explain-all (&key include-globalp)
Package

km.

Source

explain.lisp.

Function: explained-by (instance expr &optional target)
Package

km.

Source

explain.lisp.

Function: explanation-in (isv-explanation)
Package

km.

Source

explain.lisp.

Function: explanation-type (explanation)
Package

km.

Source

explain.lisp.

Function: explanations (&optional slots)
Package

km.

Source

explain.lisp.

Function: explanations-in (isv-multi-explanation)
Package

km.

Source

explain.lisp.

Function: explode (string)
Package

km.

Source

strings.lisp.

Function: expr2string (expr &optional htmlify)
Package

km.

Source

writer.lisp.

Function: extract-constraints (vals)
Package

km.

Source

kbutils.lisp.

Function: extract-exprs-in-class (exprs class)
Package

km.

Source

constraints.lisp.

Function: fail-noisily ()
Package

km.

Source

interpreter.lisp.

Function: fail-quietly ()
Package

km.

Source

interpreter.lisp.

Function: faslsave-kb (file &key reset-kb compile)
Package

km.

Source

loadkb.lisp.

Function: fast-delete-val (instance slot val0 &optional uninstall-inversesp situation)
Package

km.

Source

frame-io.lisp.

Function: fastload-kb (fkm-file &key force-fkm)
Package

km.

Source

loadkb.lisp.

Function: fastsave-kb (file &key reset-kb compile)
Package

km.

Source

loadkb.lisp.

Function: file-exists (file)
Package

km.

Source

utils.lisp.

Function: filter-using-constraints (vals constraints &optional slot)
Package

km.

Source

constraints.lisp.

Function: filter-using-constraints0 (vals constraints slot)
Package

km.

Source

constraints.lisp.

Function: find-and-apply-handler (expr handler-alist &key fail-mode)
Package

km.

Source

minimatch.lisp.

Function: find-candidates (existential-expr)
Package

km.

Source

subsumes.lisp.

Function: find-candidates2 (class slotvals)
Package

km.

Source

subsumes.lisp.

Function: find-clone-of-node (node isv-explanation clone-operation-id)
Package

km.

Source

prototypes.lisp.

Function: find-constraints-in-exprs (exprs)
Package

km.

Source

kbutils.lisp.

Function: find-essentials (essentials &key protoroot participants n)
Package

km.

Source

prototypes.lisp.

Function: find-essentials0 (essentials-to-check &key protoroot participants essentials)
Package

km.

Source

prototypes.lisp.

Function: find-exprs (expr &key expr-type plurality)
Package

km.

Source

kbutils.lisp.

Function: find-handler (expr handler-alist &key fail-mode)
Package

km.

Source

minimatch.lisp.

Function: find-ignored ()
Package

km.

Source

interpreter.lisp.

Function: find-pattern (list pattern)
Package

km.

Source

minimatch.lisp.

Function: find-pattern1 (list pattern)
Package

km.

Source

minimatch.lisp.

Function: find-propositions (action slot)
Package

km.

Source

frame-io.lisp.

Function: find-subsumees+bindings (existential-expr candidates &key bindings)
Package

km.

Source

subsumes.lisp.

Function: find-subsumees-on-object-stack (existential-expr)
Package

km.

Source

subsumes.lisp.

Function: first-char (string)
Package

km.

Source

strings.lisp.

Function: first-n (list n)
Package

km.

Source

utils.lisp.

Function: first-n-unifiable-values (possible-values val n)
Package

km.

Source

constraints.lisp.

Function: first-n-unifiable-values2 (possible-values instance n)
Package

km.

Source

constraints.lisp.

Function: first-word (string)
Package

km.

Source

strings.lisp.

Function: flatten (l)
Package

km.

Source

utils.lisp.

Function: flatten-aux (l &optional acc)
Package

km.

Source

utils.lisp.

Function: flatten-set (set)
Package

km.

Source

kbutils.lisp.

Function: flatten-sets (vals)
Package

km.

Source

kbutils.lisp.

Function: flatten-to-kb-objs (expr)
Package

km.

Source

frame-io.lisp.

Function: fluent-instance-exprp (expr)
Package

km.

Source

kbutils.lisp.

Function: fluent-instancep (instance)
Package

km.

Source

kbutils.lisp.

Function: fluent-status (slot)
Package

km.

Source

frame-io.lisp.

Function: fluentp (slot)
Package

km.

Source

frame-io.lisp.

Function: fold (string0 n)
Package

km.

Source

strings.lisp.

Function: fold0 (string n)
Package

km.

Source

strings.lisp.

Function: follow-event-chain (event)
Package

km.

Source

sadl.lisp.

Function: follow-multidepth-path (values structured-slot target-class &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: follow-multidepth-path0 (values slot depth-limit &key start-values values-so-far)
Package

km.

Source

interpreter.lisp.

Function: force (x)
Package

km.

Source

compiler.lisp.

Function: frame-has-something-to-say-about (frame slot facet &optional situation)
Package

km.

Source

frame-io.lisp.

Function: full-all-instances (class)
Package

km.

Source

frame-io.lisp.

Function: full-immediate-instances (class)
Package

km.

Source

frame-io.lisp.

Function: full-match (item pattern &key bindings)
Package

km.

Source

minimatch.lisp.

Function: fully-evaluatedp (concept &key in-structured-exprp)
Package

km.

Source

kbutils.lisp.

Function: gather-by-akey (pairs &optional dict)
Package

km.

Source

utils.lisp.

Function: gather-by-key (pairs &optional dict)
Package

km.

Source

utils.lisp.

Function: gather-by-key-inc-nils (pairs &optional dict)
Package

km.

Source

utils.lisp.

Function: gathers-by-key (tuples &key dict test)
Package

km.

Source

utils.lisp.

Function: get-all-concepts ()
Package

km.

Source

loadkb.lisp.

Function: get-all-explanations (instance0 slot &key situation ignore-clone-cycles)
Package

km.

Source

explain.lisp.

Function: get-all-objects ()
Package

km.

Source

loadkb.lisp.

Function: get-binding (frame)
Package

km.

Source

frame-io.lisp.

Function: get-comment (comment-tag)
Package

km.

Source

explain.lisp.

Function: get-comment-justification (comment-tag triple &key situation tab done-triples depth format)
Package

km.

Source

explain.lisp.

Function: get-comment-tags (expr)
Package

km.

Source

explain.lisp.

Function: get-comment-tags-recursive (expr)
Package

km.

Source

explain.lisp.

Function: get-comment2 (comment-tag mode)
Package

km.

Source

explain.lisp.

Function: get-comments (expr)
Package

km.

Source

explain.lisp.

Function: get-explanation-data (instance &key situation dereference)
Package

km.

Source

explain.lisp.

Function: get-explanations (instance slot val &optional situation)
Package

km.

Source

explain.lisp.

Function: get-explanations0 (instance slot val &optional situation)
Package

km.

Source

explain.lisp.

Function: get-explanations1 (instance0 slot val0 &optional situation)
Package

km.

Source

explain.lisp.

Function: get-justification (&key triple situation depth format tab)
Package

km.

Source

explain.lisp.

Function: get-justification0 (&key triple situation tab done-triples depth format)
Package

km.

Source

explain.lisp.

Function: get-justification1 (triple &key situation tab done-triples depth format)
Package

km.

Source

explain.lisp.

Function: get-justification2 (instance slot value &key situation tab done-triples depth format)
Package

km.

Source

explain.lisp.

Function: get-kb ()
Package

km.

Source

loadkb.lisp.

Function: get-rule-sets-in-situation (class slot situation)
Package

km.

Source

frame-io.lisp.

Function: get-slotsvals (frame &key facet situation dereferencep)
Package

km.

Source

frame-io.lisp.

Function: get-support-details (triple &key ignore-constraintsp)
Package

km.

Source

explain.lisp.

Function: get-supports (triple &key ignore-constraintsp)
Package

km.

Source

explain.lisp.

Function: get-unique-val (frame slot &key facet situation fail-mode)
Package

km.

Source

frame-io.lisp.

Function: get-vals (frame slot &key facet situation dereferencep)
Package

km.

Source

frame-io.lisp.

Function: getobj (name0 facet)
Package

km.

Source

loadkb.lisp.

Function: gets-vals (frames slot &key facet situation dereferencep)
Package

km.

Source

frame-io.lisp.

Function: global-situation ()
Package

km.

Source

frame-io.lisp.

Function: goal-stack ()
Package

km.

Source

stack.lisp.

Function: grab-explanations (&key explanations format)
Package

km.

Source

trace.lisp.

Function: grab-explanations-html ()
Package

km.

Source

trace.lisp.

Function: grab-explanations-xml ()
Package

km.

Source

trace.lisp.

Function: group-vals-unifiably (vals non-unifiable-pairs)
Package

km.

Source

constraints.lisp.

Function: group-vals-unifiably0 (vals groups-so-far non-unifiable-pairs)
Package

km.

Source

constraints.lisp.

Function: handle-ctrl-c-error (error)
Package

km.

Source

strings.lisp.

Function: handle-looping (kmexpr &key reason)
Package

km.

Source

interpreter.lisp.

Function: has-situation-specific-info (frame situation)
Package

km.

Source

frame-io.lisp.

Function: hash-comma-reader (stream subchar arg)
Package

km.

Source

case.lisp.

Function: hash-dollar ()
Package

km.

Source

case.lisp.

Function: hash-dollar-reader (stream subchar arg)
Package

km.

Source

case.lisp.

Function: hash-t-reader (stream subchar arg)
Package

km.

Source

case.lisp.

Function: hide-theory (theory)
Package

km.

Source

frame-io.lisp.

Function: htextify (concept &optional concept-phrase &key action window)
Package

km.

Source

htextify.lisp.

Function: ignore-slot-due-to-situations-mode (slot)
Package

km.

Source

frame-io.lisp.

Function: immediate-classes (instance &key situation enforce-constraints)
Package

km.

Source

frame-io.lisp.

Function: immediate-classes-subsume-immediate-classes (instance1 instance2 &key properp)
Package

km.

Source

lazy-unify.lisp.

Function: immediate-classes0 (instance &key situation)
Package

km.

Source

frame-io.lisp.

Function: immediate-instances (class)
Package

km.

Source

frame-io.lisp.

Function: immediate-protoinstances (class)
Package

km.

Source

frame-io.lisp.

Function: immediate-prototypes (class)
Package

km.

Source

frame-io.lisp.

Function: immediate-subclasses (class)
Package

km.

Source

frame-io.lisp.

Function: immediate-subslots (slot)
Package

km.

Source

frame-io.lisp.

Function: immediate-superclasses (class)
Package

km.

Source

frame-io.lisp.

Function: immediate-supersituations (situation)
Package

km.

Source

frame-io.lisp.

Function: immediate-superslots (slot)
Package

km.

Source

frame-io.lisp.

Function: implode (charlist)
Package

km.

Source

strings.lisp.

Function: in-prototype (triple)
Package

km.

Source

prototypes.lisp.

Function: in-situation (situation-expr &optional km-expr theoryp)
Package

km.

Source

frame-io.lisp.

Function: in-situation0 (situation-expr &optional km-expr theoryp)
Package

km.

Source

frame-io.lisp.

Function: in-theory (theory-expr &optional km-expr)
Package

km.

Source

frame-io.lisp.

Function: incompatible-instances (instance1 instance2)
Package

km.

Source

lazy-unify.lisp.

Function: inconsistent-propositions (propositions &key in-list)
Package

km.

Source

frame-io.lisp.

Function: increment-inference-statistics ()
Package

km.

Source

stats.lisp.

Function: increment-trace-depth ()
Package

km.

Source

trace.lisp.

Function: inertial-fluentp (slot)
Package

km.

Source

frame-io.lisp.

Function: inference-number ()
Package

km.

Source

stats.lisp.

Function: inherit-with-overrides-slotp (slot)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets (instance slot &key situation retain-commentsp climb-situation-hierarchyp ignore-inherit-with-overrides-restriction)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets+classes-with-overrides (slot classes all-situations)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets+classes-with-overrides2 (slot class all-situations)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets+classes2 (slot classes situations)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets-on-classes (classes slot &key situation retain-commentsp ignore-inherit-with-overrides-restriction)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets-with-overrides (slot classes all-situations)
Package

km.

Source

frame-io.lisp.

Function: inherited-rule-sets2 (slot classes situations)
Package

km.

Source

frame-io.lisp.

Function: inherited-rulesets+classes (instance0 slot &key situation retain-commentsp climb-situation-hierarchyp ignore-inherit-with-overrides-restriction)
Package

km.

Source

frame-io.lisp.

Function: inherited-to-instance (source)
Package

km.

Source

explain.lisp.

Function: insert-delimeter (list delimeter)
Package

km.

Source

utils.lisp.

Function: insert-spaces (words)
Package

km.

Source

strings.lisp.

Function: inspect-silent-spy-log ()
Package

km.

Source

trace.lisp.

Function: install-all-subclasses ()
Package

km.

Source

frame-io.lisp.

Function: install-inverses (frame slot vals &optional situation)
Package

km.

Source

frame-io.lisp.

Function: install-inverses0 (invframe0 invslot invval slot &optional situation)
Package

km.

Source

frame-io.lisp.

Function: instance-descriptionp (expr &key fail-mode)
Package

km.

Source

kbutils.lisp.

Function: instance-has-something-to-say-about (instance slot &optional situation)
Package

km.

Source

frame-io.lisp.

Function: instance-of (instance target-class &optional situation)
Package

km.

Source

frame-io.lisp.

Function: instance-of-is-fluent ()
Package

km.

Source

frame-io.lisp.

Function: instance-of-is-nonfluent ()
Package

km.

Source

frame-io.lisp.

Function: internal-commentp (tag)
Package

km.

Source

explain.lisp.

Function: intersects (set1 set2)
Package

km.

Source

utils.lisp.

Function: inv-assoc (key assoc-list &key test)
Package

km.

Source

utils.lisp.

Function: invert-cardinality (cardinality)
Package

km.

Source

frame-io.lisp.

Function: invert-inequality-relation (inequality)
Package

km.

Source

frame-io.lisp.

Function: invert-predicate (predicate &optional argnum)

return the inverse variant of PREDICATE such that the first and ARGNUMth args have been swapped.

Package

km.

Source

frame-io.lisp.

Function: invert-slot (slot)
Package

km.

Source

frame-io.lisp.

Function: invert-type (type)
Package

km.

Source

strings.lisp.

Function: is (x y)
Package

km.

Source

subsumes.lisp.

Function: is-an-instance (instance)
Package

km.

Source

kbutils.lisp.

Function: is-consistent (vals+constraints)
Package

km.

Source

constraints.lisp.

Function: is-consistent-to-assert (proposition &key in-list)
Package

km.

Source

frame-io.lisp.

Function: is-km-term (concept)
Package

km.

Source

kbutils.lisp.

Function: is-simple-km-term (concept)
Package

km.

Source

kbutils.lisp.

Function: is-subclass-of (class target-class &key path-so-far)
Package

km.

Source

frame-io.lisp.

Function: is-subset-of (list1 list2 &key test)
Package

km.

Source

utils.lisp.

Function: is-subslot-of (slot target-slot &key path-so-far)
Package

km.

Source

frame-io.lisp.

Function: is-type (char type)
Package

km.

Source

strings.lisp.

Function: is-user-interrupt (error)
Package

km.

Source

strings.lisp.

Function: is0 (instance expr &key bindings)
Package

km.

Source

subsumes.lisp.

Function: is0s (pairs &key bindings)
Package

km.

Source

subsumes.lisp.

Function: isa (instance class &optional situation)
Package

km.

Source

frame-io.lisp.

Function: isa-clone (instance)
Package

km.

Source

prototypes.lisp.

Function: isa-situation-facet (situation)
Package

km.

Source

frame-io.lisp.

Function: isa-theory (theory)
Package

km.

Source

frame-io.lisp.

Function: item-expanded-from (expln-structs &key ignore-prototypes)
Package

km.

Source

prototypes.lisp.

Function: item-to-stack (expr &key target)
Package

km.

Source

stack.lisp.

Function: join-binds (binds1 binds2)
Package

km.

Source

minimatch.lisp.

Function: justify (&optional triple-expr &key situation depth stream)
Package

km.

Source

explain.lisp.

Function: justify-leaf (triple &key situation tab done-triples depth format)
Package

km.

Source

explain.lisp.

Function: kb-objectp (instance)
Package

km.

Source

kbutils.lisp.

Function: kb-size ()
Package

km.

Source

kbutils.lisp.

Function: km (&optional kmexpr &key fail-mode reset-statistics)
Package

km.

Source

interpreter.lisp.

Function: km-add-to-kb-object-list (fname)
Package

km.

Source

loadkb.lisp.

Function: km-argsp (args)
Package

km.

Source

kbutils.lisp.

Function: km-assert (proposition action &key in-list)
Package

km.

Source

frame-io.lisp.

Function: km-assertion-expr (expr)
Package

km.

Source

explain.lisp.

Function: km-bag-equal (bag1 bag2)
Package

km.

Source

kbutils.lisp.

Function: km-bag-equal0 (bag1 bag2)
Package

km.

Source

kbutils.lisp.

Function: km-bagp (bag)
Package

km.

Source

kbutils.lisp.

Function: km-bind (frame1 frame2)
Package

km.

Source

frame-io.lisp.

Function: km-boolean-exprp (expr)
Package

km.

Source

kbutils.lisp.

Function: km-defaultp (expr)
Package

km.

Source

kbutils.lisp.

Function: km-equal (i1 i2)
Package

km.

Source

kbutils.lisp.

Function: km-eval-print (query &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km-flatten (vals)
Package

km.

Source

frame-io.lisp.

Function: km-format (stream string &rest args)
Package

km.

Source

case.lisp.

Function: km-functionp (val)
Package

km.

Source

kbutils.lisp.

Function: km-int (kmexpr-with-comments &key fail-mode check-for-looping target rewritep)
Package

km.

Source

interpreter.lisp.

Function: km-int-with-trace (trace-expr kmexpr &key fail-mode check-for-looping target)
Package

km.

Source

interpreter.lisp.

Function: km-multi-slotvals (frames0 slot &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km-multi-slotvals0 (frames slot)
Package

km.

Source

interpreter.lisp.

Function: km-name (concept &key htmlify)
Package

km.

Source

anglify.lisp.

Function: km-null (km-nil)
Package

km.

Source

kbutils.lisp.

Function: km-pairp (seq)
Package

km.

Source

kbutils.lisp.

Function: km-pop (variable)
Package

km.

Source

loadkb.lisp.

Function: km-propertyp (property)
Package

km.

Source

loadkb.lisp.

Function: km-push (value variable)
Package

km.

Source

loadkb.lisp.

Function: km-put-list (symbol list)
Package

km.

Source

loadkb.lisp.

Function: km-read-eval-print ()
Package

km.

Source

interpreter.lisp.

Function: km-remove-from-kb-object-list (fname)
Package

km.

Source

loadkb.lisp.

Function: km-remprop (symbol property)
Package

km.

Source

loadkb.lisp.

Function: km-remprops (symbol)
Package

km.

Source

loadkb.lisp.

Function: km-seq-equal (seq1 seq2)
Package

km.

Source

kbutils.lisp.

Function: km-seq-equal0 (seq1 seq2)
Package

km.

Source

kbutils.lisp.

Function: km-seqp (seq)
Package

km.

Source

kbutils.lisp.

Function: km-set-equal (set1 set2)
Package

km.

Source

kbutils.lisp.

Function: km-setf (symbol property value)
Package

km.

Source

loadkb.lisp.

Function: km-setp (set)
Package

km.

Source

kbutils.lisp.

Function: km-setq (variable value)
Package

km.

Source

loadkb.lisp.

Function: km-slotvals (frame slot &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km-slotvals-from-kb (instance0 slot &key fail-mode)
Package

km.

Source

get-slotvals.lisp.

Function: km-slotvals-via-projection (instance slot)
Package

km.

Source

get-slotvals.lisp.

Function: km-slotvals2 (frame slot &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km-structured-list-valp (val)
Package

km.

Source

kbutils.lisp.

Function: km-symbol-plist (symbol)
Package

km.

Source

loadkb.lisp.

Function: km-tagp (tag)
Package

km.

Source

kbutils.lisp.

Function: km-trace (mode string &rest args)
Package

km.

Source

trace.lisp.

Function: km-trace2 (mode string args &key stream)
Package

km.

Source

trace.lisp.

Function: km-triplep (triple)
Package

km.

Source

kbutils.lisp.

Function: km-unintern (concept)
Package

km.

Source

loadkb.lisp.

Function: km-unique (kmexpr &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km-unique-int (kmexpr &key fail-mode target rewritep)
Package

km.

Source

interpreter.lisp.

Function: km-unique0 (kmexpr &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km-varp (var)
Package

km.

Source

kbutils.lisp.

Function: km-version-bits-greater-than (v1-bits v2-bits)
Package

km.

Source

loadkb.lisp.

Function: km-version-greater-than (v1 v2)
Package

km.

Source

loadkb.lisp.

Function: km0 (&optional kmexpr &key fail-mode)
Package

km.

Source

interpreter.lisp.

Function: km1 (kmexpr kmexpr-with-comments &key fail-mode target rewritep)
Package

km.

Source

interpreter.lisp.

Function: known-frame (fname)
Package

km.

Source

loadkb.lisp.

Function: last-but-n-char (string n)
Package

km.

Source

strings.lisp.

Function: last-but-one-el (list)
Package

km.

Source

utils.lisp.

Function: last-char (string)
Package

km.

Source

strings.lisp.

Function: last-el (list)
Package

km.

Source

utils.lisp.

Function: last-member (item list &key test)
Package

km.

Source

utils.lisp.

Function: last-word (string)
Package

km.

Source

strings.lisp.

Function: lazy-unify (instancename1 instancename2 &key classes-subsumep eagerlyp check-constraintsp fail-mode)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-&-expr (expr &key joiner fail-mode target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-&-expr0 (expr &key joiner fail-mode target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-&-expr1 (expr &key joiner fail-mode target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-expr-sets (exprs1 exprs2 &key eagerlyp fail-mode target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-exprs (x y &key eagerlyp classes-subsumep fail-mode target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-sets (set1 set2 &key eagerlyp target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-sets2 (ordered-scored-pairs set1 set2 &key eagerlyp target)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-slotsvals (i1 i2 svs1 svs2 &key cs1 cs2 classes-subsumep eagerlyp check-constraintsp fail-mode)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify-vals (slot i1 i2 vs1 vs2 &key cs1 cs2 classes-subsumep eagerlyp)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify0 (instancename1 instancename2 &key classes-subsumep eagerlyp check-constraintsp fail-mode)
Package

km.

Source

lazy-unify.lisp.

Function: lazy-unify2 (instance1 instance2 &key classes-subsumep eagerlyp check-constraintsp fail-mode)
Package

km.

Source

lazy-unify.lisp.

Function: left-of (string substring &key from-end)
Package

km.

Source

strings.lisp.

Function: licence ()
Package

km.

Source

licence.lisp.

Function: license ()
Package

km.

Source

licence.lisp.

Function: list-defined-subclasses (class)
Package

km.

Source

writer.lisp.

Function: list-definitions (&optional top-class)
Package

km.

Source

writer.lisp.

Function: list-definitions-for-class (class superclass)
Package

km.

Source

writer.lisp.

Function: list-definitions-for-prototype (prototype superclass)
Package

km.

Source

writer.lisp.

Function: list-intersection (list)
Package

km.

Source

utils.lisp.

Function: list-needs-dereferencing (list)
Package

km.

Source

frame-io.lisp.

Function: list-to-lines (strings &optional reverse-line-bits-so-far)
Package

km.

Source

strings.lisp.

Function: list-to-lines-with-size-limit (strings &key max-document-size)
Package

km.

Source

strings.lisp.

Function: list-to-lines-with-size-limit0 (strings &key max-document-size length-so-far reverse-line-bits-so-far)
Package

km.

Source

strings.lisp.

Function: listify (atom)
Package

km.

Source

utils.lisp.

Function: listify-if-there (x)
Package

km.

Source

utils.lisp.

Function: load-b (file)
Package

km.

Source

loadkb.lisp.

Function: load-expr (expr stream &optional verbose renaming-alist eval-instances load-patterns)
Package

km.

Source

loadkb.lisp.

Function: load-exprs (expr stream &optional verbose renaming-alist eval-instances load-patterns)
Package

km.

Source

loadkb.lisp.

Function: load-kb (file &key verbose with-morphism eval-instances load-patterns print-statistics silentp)
Package

km.

Source

loadkb.lisp.

Function: load-newest-kb (file &key reset-kb verbose with-morphism eval-instances load-patterns)
Package

km.

Source

loadkb.lisp.

Function: load-triples (file)
Package

km.

Source

loadkb.lisp.

Function: load-triples0 (triples)
Package

km.

Source

loadkb.lisp.

Function: local-constraints (instance slot &key situation)
Package

km.

Source

frame-io.lisp.

Function: log-undo-command (command)
Package

km.

Source

loadkb.lisp.

Function: looping-on (expr)
Package

km.

Source

stack.lisp.

Function: make-assertions (instance &optional slotsvals)
Package

km.

Source

frame-io.lisp.

Function: make-comment (string &rest args)
Package

km.

Source

trace.lisp.

Function: make-delay (&key value function)
Package

km.

Source

compiler.lisp.

Function: make-new-situation ()
Package

km.

Source

frame-io.lisp.

Function: make-phrase (text &key htmlify)
Package

km.

Source

anglify.lisp.

Function: make-sentence (text &key capitalize terminator htmlify)
Package

km.

Source

anglify.lisp.

Function: make-slotvals (slot vals)
Package

km.

Source

frame-io.lisp.

Function: make-source (class)
Package

km.

Source

explain.lisp.

Function: make-tax (&optional current-node relation-to-descend htmlify)
Package

km.

Source

taxonomy.lisp.

Function: make-tax0 (current-node relation-to-descend &optional htmlify nodes-done tab)
Package

km.

Source

taxonomy.lisp.

Function: make-taxes (current-nodes relation-to-descend &optional htmlify nodes-done tab)
Package

km.

Source

taxonomy.lisp.

Function: map-recursive (function tree)
Package

km.

Source

utils.lisp.

Function: mapchar (function string)
Package

km.

Source

strings.lisp.

Function: maybe-project-value (projected-values local-values slot instance n-sources)
Package

km.

Source

get-slotvals.lisp.

Function: member-equal (item list)
Package

km.

Source

utils.lisp.

Function: merge-cached-explanations (i1 i2)
Package

km.

Source

explain.lisp.

Function: merge-code (a b)
Package

km.

Source

compiler.lisp.

Function: merge-explanations (i1 i2)
Package

km.

Source

explain.lisp.

Function: merge-prototype-vals (slot i1 i2 vs1 vs2)
Package

km.

Source

lazy-unify.lisp.

Function: merge-slotsvals (instance source-sitn target-sitn &key classes-subsumep facet)
Package

km.

Source

lazy-unify.lisp.

Function: mergeable (a b)
Package

km.

Source

compiler.lisp.

Function: might-be-member (instance parent)
Package

km.

Source

frame-io.lisp.

Function: might-have-slotsvals (instance defn-slotsvals)
Package

km.

Source

frame-io.lisp.

Function: minimatch (item pattern)
Package

km.

Source

minimatch.lisp.

Function: minimatch1 (item pattern)
Package

km.

Source

minimatch.lisp.

Function: modify-set-explanation (expr)
Package

km.

Source

explain.lisp.

Function: most-general-first (classes &key looping-at)
Package

km.

Source

frame-io.lisp.

Function: most-specific-first (classes)
Package

km.

Source

frame-io.lisp.

Function: most-specific-prototype-scopes-first (protoroots)
Package

km.

Source

frame-io.lisp.

Function: multiple-value-mapcar (function list)
Package

km.

Source

utils.lisp.

Function: multiple-value-some (fn arg-list)
Package

km.

Source

utils.lisp.

Function: multivalued-slotp (slot)
Package

km.

Source

frame-io.lisp.

Function: mv-minimatch (item pattern)
Package

km.

Source

minimatch.lisp.

Function: mv-string-match (string pattern &key case-sensitivep)
Package

km.

Source

minimatch.lisp.

Function: my-concat (strings)
Package

km.

Source

strings.lisp.

Function: my-mapcan (function args)
Package

km.

Source

utils.lisp.

Function: my-parse-integer (string)
Package

km.

Source

utils.lisp.

Function: named-instancep (instance)
Package

km.

Source

kbutils.lisp.

Function: needs-dereferencing (frame)
Package

km.

Source

frame-io.lisp.

Function: neq (a b)
Package

km.

Source

utils.lisp.

Function: new-context ()
Package

km.

Source

stack.lisp.

Function: new-scan-to (string &key delimeter-chars)
Package

km.

Source

strings.lisp.

Function: new-scan-to0 (delimeter-chars string m n nmax polarity)
Package

km.

Source

strings.lisp.

Function: new-situation ()
Package

km.

Source

frame-io.lisp.

Function: next-checkpoint ()
Package

km.

Source

loadkb.lisp.

Function: next-event (event)
Package

km.

Source

sadl.lisp.

Function: next-situation (action &key next-situation)
Package

km.

Source

frame-io.lisp.

Function: next-situations (situation)
Package

km.

Source

frame-io.lisp.

Function: nlist (nmax &optional n)
Package

km.

Source

utils.lisp.

Function: no-explanations ()