The km Reference Manual

Table of Contents

The km Reference Manual

This is the km Reference Manual, version 2.5.33, generated automatically by Declt version 3.0 "Montgomery Scott" on Fri Jun 26 11:25:43 2020 GMT+0.

1 Introduction

;;; KM - The Knowledge Machine - Build Date:  Tue Apr 19 14:20:01 PDT 2011 
#|
======================================================================
	 KM - THE KNOWLEDGE MACHINE - INFERENCE ENGINE 2.5.33
======================================================================

This software is released under the Simplified BSD Licence (below). If you would like a 
copy of this software issued under a different license please contact the authors.

======================================================================

Copyright (c) 1994-2011 Peter Clark and Bruce Porter. All rights reserved.

Redistribution and use in source and binary forms, with or without modification, are
permitted provided that the following conditions are met:

   1. Redistributions of source code must retain the above copyright notice, this list of
      conditions and the following disclaimer.

   2. Redistributions in binary form must reproduce the above copyright notice, this list
      of conditions and the following disclaimer in the documentation and/or other materials
      provided with the distribution.

THIS SOFTWARE IS PROVIDED BY PETER CLARK AND BRUCE PORTER ``AS IS'' AND ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL PETER CLARK AND BRUCE PORTER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

The views and conclusions contained in the software and documentation are those of the
authors and should not be interpreted as representing official policies, either expressed
or implied, of Peter Clark and Bruce Porter.

Contact information:
Peter Clark (peterc@vulcan.com)
Bruce Porter (porter@cs.utexas.edu)

======================================================================

The source code, manuals, and a test suite of examples for the most
recent version of KM are available at 

	http://www.cs.utexas.edu/users/mfkb/km/

Check this site for RELEASE NOTES and the CURRENT VERSION of KM.

======================================================================
		USING THIS FILE:
======================================================================

Save this file as (say) km.lisp, then load it into your favorite Lisp 
environment:
	% lisp
	> (load "km")

For greatly increased efficiency, make a compiled version of this file:
	% lisp
	> (compile-file "km")
	> (load "km")		
will load the faster, compiled version in future.

[Note: you no longer need to pre-load km.lisp before compiling, 
 as described in the manual]

To start the query interpreter running, type (km):
	> (km)
	KM> 

See the User Manual and Reference Manual for instructions on using KM,
and building knowledge bases. The manuals are available at:

	http://www.cs.utexas.edu/users/mfkb/km/

======================================================================
		READING/EDITING THE SOURCE:
======================================================================

The following file is a machine-built concatenation of the various files
in the KM inference system. It can be loaded or compiled directly into
Lisp, deconcatenation is not necessary for running KM.

Although you can read/edit the below code all in this one file, it is
very large and unweildy; you may prefer to break it up into the 
(approx 20) constituent files which it comprises. You can break it up
either manually, looking for the ";;; FILE: " headers
below which denote the start of different files in this concatenation,
OR use the Perl unpacker below which automatically cut this big file 
into its consistutent files.

Peter Clark
peterclark425@gmail.com

======================================================================
	DISASSEMBLING THIS CONCATENATION INTO ITS CONSTITUENT FILES:
======================================================================

Note you don't have to disassemble km.lisp to use KM. However, if you
want to read/edit the code, you might find it helpful to break it up into
individual files. 

If you do disassmble the files, then the single file loadme.lisp contains 
(commented out) load commands to load all the other constituent files, for 
your convenience. (Don't forget to uncomment the load commands in this file).

If you don't disassemble the files and just work with km.lisp, then you can 
ignore all of this.

Option 1. (For Emacs users)
[Thanks to Joe Corneli for this piece of code!]
[(1) Ignore end-of-line whitespace - thanks to Nate Blaylock]
[(2) Thanks to Dan Tecuci pointing out "-" needs to be the last character in
     the regexp, otherwise it has the meaning of a character range delimeter.]

(save-excursion
  (let ((case-fold-search nil))
    (goto-char (point-min))
;   (while (re-search-forward "^;;; FILE: +\\(.*\\)" nil t) [see (1) above]
;   (while (re-search-forward "^;;; FILE: +\\([a-zA-Z-\\._]+\\)" nil t) [(2)]
    (while (re-search-forward "^;;; FILE: +\\([a-zA-Z\\._-]+\\)" nil t)
      (let* ((matched (match-string 1))
             (beg (match-beginning 0))
             (end (or (save-excursion
                        (when (search-forward-regexp "^;;; FILE: +.*" nil t)
                          (match-beginning 0)))
                      (point-max)))
             (str (buffer-substring beg end)))
          (with-temp-file matched
            (save-excursion (insert str))
            (next-line 1)
; uncomment the below lines if you want KM files to have KM package declaration
            (insert (concat "(unless (find-package :km) (make-package :km :use '(:common-lisp)))\n"
                            "(in-package :km)\n"))
	)))))
             ^ position cursor behind the emacs lisp expression above and
               run M-x eval-last-sexp

Option 2. (For non-Emacs users)
  
  1. cut and paste the short Perl script below to a file, eg called
	"disassemble"
  2. Make sure the first line is
		#!/usr/local/bin/perl
     and edit this path /usr/local/bin/perl as needed to point to the 
	local version of Perl.
  3. Make the file executable:
	% chmod a+x disassemble
  4. Now disassemble km.lisp:
	% disassemble km.lisp

This will populate the current directory with the approx. 20 Lisp files
constituting the KM system.

------------------------------ cut here ------------------------------
#!/usr/local/bin/perl
# Splits file with internal file markers of the form:
# ;;; FILE: 
# into individual files in the current directory.
# Outputs to stdout information about processing.
# require 5.0;
$lineno = 0 ;
if ($#ARGV != 0) { die "Usage: $0 filename.";}	# 1 and only 1 arg
$fn = shift(@ARGV);

open(PACKED, "<$fn") || die "Could not open file $fn\n ";
$_ = ; $lineno += 1;	# Read first line, and count it
chop;
($junk, $outfile) = split (/:/);

unless ($junk != /^;;; FILE/o) {
	die "Missing file tag ;;; FILE: Line number $lineno."
}
# Open file for writing

unless (open (OUTFILE, ">$outfile")) {
	die "Could not open file $outfile for writing.";
	}
print "$outfile created\n";
while () {
	$lineno += 1;
	($junk, $outfile) = split (/:/);
	if ($junk =~ /^;;; FILE/o) {	
		close (OUTFILE);
		chop($outfile);
		unless (open (OUTFILE, ">$outfile")) {
	die "Could not open file $outfile for writing.  Line number $lineno.";
		}
		print "$outfile created\n";
# uncomment the below line if you want KM files to have KM package declaration
		print (OUTFILE "\n(unless (find-package :km) (make-package :km :use '(:common-lisp)))\n");
		print (OUTFILE "(in-package :km)\n");
	}
	else {
		print (OUTFILE $_);
	}
}
close(PACKED);
close(OUTFILE);
print "Completed without errors. Processed $lineno lines of input from $fn.\n";
------------------------------ cut here ------------------------------
|#

2 Systems

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

2.1 km

Author

Peter Clark

License

GNU Lesser General Public Licence

Description

THE KNOWLEDGE MACHINE - INFERENCE ENGINE

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 (file)

Components

• 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)

3 Files

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

3.1 Lisp

3.1.1 km.asd

Location

km.asd

Systems

km (system)

Packages

km

3.1.2 km/header.lisp

Parent

km (system)

Location

header.lisp

Internal Definitions

• *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)

3.1.3 km/htextify.lisp

Dependency

header.lisp (file)

Parent

km (system)

Location

htextify.lisp

Internal Definitions

htextify (function)

3.1.4 km/case.lisp

Dependency

htextify.lisp (file)

Parent

km (system)

Location

case.lisp

Internal Definitions

• *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)

3.1.5 km/interpreter.lisp

Dependency

case.lisp (file)

Parent

km (system)

Location

interpreter.lisp

Internal Definitions

• *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)

3.1.6 km/get-slotvals.lisp

Dependency

interpreter.lisp (file)

Parent

km (system)

Location

get-slotvals.lisp

Internal Definitions

• 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)

3.1.7 km/frame-io.lisp

Dependency

get-slotvals.lisp (file)

Parent

km (system)

Location

frame-io.lisp

Internal Definitions

• *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)

3.1.8 km/trace.lisp

Dependency

frame-io.lisp (file)

Parent

km (system)

Location

trace.lisp

Internal Definitions

• *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)

3.1.9 km/lazy-unify.lisp

Dependency

trace.lisp (file)

Parent

km (system)

Location

lazy-unify.lisp

Internal Definitions

• *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)

3.1.10 km/constraints.lisp

Dependency

lazy-unify.lisp (file)

Parent

km (system)

Location

constraints.lisp

Internal Definitions

• *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)

3.1.11 km/explain.lisp

Dependency

constraints.lisp (file)

Parent

km (system)

Location

explain.lisp

Internal Definitions

• *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)

3.1.12 km/kbutils.lisp

Dependency

explain.lisp (file)

Parent

km (system)

Location

kbutils.lisp

Internal Definitions

• &&-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)

3.1.13 km/stack.lisp

Dependency

kbutils.lisp (file)

Parent

km (system)

Location

stack.lisp

Internal Definitions

• *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)

3.1.14 km/stats.lisp

Dependency

stack.lisp (file)

Parent

km (system)

Location

stats.lisp

Internal Definitions

• *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)

3.1.15 km/sadl.lisp

Dependency

stats.lisp (file)

Parent

km (system)

Location

sadl.lisp

Internal Definitions

• do-plan (function)
• follow-event-chain (function)
• next-event (function)

3.1.16 km/anglify.lisp

Dependency

sadl.lisp (file)

Parent

km (system)

Location

anglify.lisp

Internal Definitions

• *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)

3.1.17 km/writer.lisp

Dependency

anglify.lisp (file)

Parent

km (system)

Location

writer.lisp

Internal Definitions

• *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)

3.1.18 km/taxonomy.lisp

Dependency

writer.lisp (file)

Parent

km (system)

Location

taxonomy.lisp

Internal Definitions

• *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)

3.1.19 km/subsumes.lisp

Dependency

taxonomy.lisp (file)

Parent

km (system)

Location

subsumes.lisp

Internal Definitions

• *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)

3.1.20 km/prototypes.lisp

Dependency

subsumes.lisp (file)

Parent

km (system)

Location

prototypes.lisp

Internal Definitions

• *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)

3.1.21 km/loadkb.lisp

Dependency

prototypes.lisp (file)

Parent

km (system)

Location

loadkb.lisp

Internal Definitions

• *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)

3.1.22 km/minimatch.lisp

Dependency

loadkb.lisp (file)

Parent

km (system)

Location

minimatch.lisp

Internal Definitions

• 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)

3.1.23 km/utils.lisp

Dependency

minimatch.lisp (file)

Parent

km (system)

Location

utils.lisp

Internal Definitions

• *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)

3.1.24 km/strings.lisp

Dependency

utils.lisp (file)

Parent

km (system)

Location

strings.lisp

Internal Definitions

• *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)

3.1.25 km/compiler.lisp

Dependency

strings.lisp (file)

Parent

km (system)

Location

compiler.lisp

Internal Definitions

• *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 (function)
• (setf delay-function) (function)
• delay-p (function)
• delay-value (function)
• (setf delay-value) (function)
• 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)

3.1.26 km/compiled-handlers.lisp

Dependency

compiler.lisp (file)

Parent

km (system)

Location

compiled-handlers.lisp

Internal Definitions

compiled-km-handler-function (function)

3.1.27 km/licence.lisp

Dependency

compiled-handlers.lisp (file)

Parent

km (system)

Location

licence.lisp

Internal Definitions

• licence (function)
• license (function)

3.1.28 km/initkb.lisp

Dependency

licence.lisp (file)

Parent

km (system)

Location

initkb.lisp

4 Packages

Packages are listed by definition order.

4.1 km

Source

km.asd

Use List

• asdf/interface
• common-lisp

Internal Definitions

• &&-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 (function)
• (setf delay-function) (function)
• delay-p (function)
• delay-value (function)
• (setf delay-value) (function)
• 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)