The km Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The km Reference Manual

This is the km Reference Manual, version 2.5.33, generated automatically by Declt version 2.3 "Robert April" on Wed Mar 14 04:07:00 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

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 ------------------------------
|#


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

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


Previous: , Up: Systems   [Contents][Index]

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

Next: , Previous: , Up: Top   [Contents][Index]

3 Files

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


Previous: , Up: Files   [Contents][Index]

3.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.1 km.asd

Location

km.asd

Systems

km (system)

Packages

km


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.2 km/header.lisp

Parent

km (system)

Location

header.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.3 km/htextify.lisp

Dependency

header.lisp (file)

Parent

km (system)

Location

htextify.lisp

Internal Definitions

htextify (function)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.4 km/case.lisp

Dependency

htextify.lisp (file)

Parent

km (system)

Location

case.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.5 km/interpreter.lisp

Dependency

case.lisp (file)

Parent

km (system)

Location

interpreter.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.6 km/get-slotvals.lisp

Dependency

interpreter.lisp (file)

Parent

km (system)

Location

get-slotvals.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.7 km/frame-io.lisp

Dependency

get-slotvals.lisp (file)

Parent

km (system)

Location

frame-io.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.8 km/trace.lisp

Dependency

frame-io.lisp (file)

Parent

km (system)

Location

trace.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.9 km/lazy-unify.lisp

Dependency

trace.lisp (file)

Parent

km (system)

Location

lazy-unify.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.10 km/constraints.lisp

Dependency

lazy-unify.lisp (file)

Parent

km (system)

Location

constraints.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.11 km/explain.lisp

Dependency

constraints.lisp (file)

Parent

km (system)

Location

explain.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.12 km/kbutils.lisp

Dependency

explain.lisp (file)

Parent

km (system)

Location

kbutils.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.13 km/stack.lisp

Dependency

kbutils.lisp (file)

Parent

km (system)

Location

stack.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.14 km/stats.lisp

Dependency

stack.lisp (file)

Parent

km (system)

Location

stats.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.15 km/sadl.lisp

Dependency

stats.lisp (file)

Parent

km (system)

Location

sadl.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.16 km/anglify.lisp

Dependency

sadl.lisp (file)

Parent

km (system)

Location

anglify.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.17 km/writer.lisp

Dependency

anglify.lisp (file)

Parent

km (system)

Location

writer.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.18 km/taxonomy.lisp

Dependency

writer.lisp (file)

Parent

km (system)

Location

taxonomy.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.19 km/subsumes.lisp

Dependency

taxonomy.lisp (file)

Parent

km (system)

Location

subsumes.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.20 km/prototypes.lisp

Dependency

subsumes.lisp (file)

Parent

km (system)

Location

prototypes.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.21 km/loadkb.lisp

Dependency

prototypes.lisp (file)

Parent

km (system)

Location

loadkb.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.22 km/minimatch.lisp

Dependency

loadkb.lisp (file)

Parent

km (system)

Location

minimatch.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.23 km/utils.lisp

Dependency

minimatch.lisp (file)

Parent

km (system)

Location

utils.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.24 km/strings.lisp

Dependency

utils.lisp (file)

Parent

km (system)

Location

strings.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.25 km/compiler.lisp

Dependency

strings.lisp (file)

Parent

km (system)

Location

compiler.lisp

Internal Definitions

Next: , Previous: , Up: Lisp files   [Contents][Index]

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)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.27 km/licence.lisp

Dependency

compiled-handlers.lisp (file)

Parent

km (system)

Location

licence.lisp

Internal Definitions

Previous: , Up: Lisp files   [Contents][Index]

3.1.28 km/initkb.lisp

Dependency

licence.lisp (file)

Parent

km (system)

Location

initkb.lisp


Next: , Previous: , Up: Top   [Contents][Index]

4 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

4.1 km

Source

km.asd

Use List
Internal Definitions

Next: , Previous: , Up: Top   [Contents][Index]

5 Definitions

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


Previous: , Up: Definitions   [Contents][Index]

5.1 Internal definitions


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.1.1 Constants

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

km

Source

frame-io.lisp (file)

Constant: *built-in-subslots*
Package

km

Source

frame-io.lisp (file)

Constant: *checkpoint*
Package

km

Source

loadkb.lisp (file)

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

km

Source

header.lisp (file)

Constant: *comment-marker-char*
Package

km

Source

explain.lisp (file)

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

km

Source

frame-io.lisp (file)

Constant: *default-fail-mode*
Package

km

Source

interpreter.lisp (file)

Constant: *global-situation*
Package

km

Source

header.lisp (file)

Constant: *ignore-items*
Package

km

Source

taxonomy.lisp (file)

Constant: *indent-increment*
Package

km

Source

taxonomy.lisp (file)

Constant: *km-package*
Package

km

Source

header.lisp (file)

Constant: *maxdepth*
Package

km

Source

taxonomy.lisp (file)

Constant: *prune-points*
Package

km

Source

taxonomy.lisp (file)

Constant: *var-marker-char*
Package

km

Source

header.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.1.2 Special variables

Special Variable: *acl-readtable*
Package

km

Source

header.lisp (file)

Special Variable: *active-obj-stack*
Package

km

Source

header.lisp (file)

Special Variable: *add-cloned-from-links*
Package

km

Source

prototypes.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *additional-keywords*
Package

km

Source

interpreter.lisp (file)

Special Variable: *all-facets*
Package

km

Source

frame-io.lisp (file)

Special Variable: *allow-ununify*
Package

km

Source

frame-io.lisp (file)

Special Variable: *am-classifying*
Package

km

Source

header.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *am-reasoning*
Package

km

Source

interpreter.lisp (file)

Special Variable: *annotated-constraints*
Package

km

Source

explain.lisp (file)

Special Variable: *append-stream*
Package

km

Source

utils.lisp (file)

Special Variable: *are-some-constraints*
Package

km

Source

header.lisp (file)

Special Variable: *are-some-defaults*
Package

km

Source

header.lisp (file)

Special Variable: *are-some-definitions*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *are-some-prototypes*
Package

km

Source

header.lisp (file)

Special Variable: *are-some-subslots*
Package

km

Source

header.lisp (file)

Special Variable: *are-some-tags*
Package

km

Source

header.lisp (file)

Special Variable: *bindings*

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

Package

km

Source

compiler.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *built-in-classes*
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

interpreter.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *built-in-frames*
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *built-in-instance-of-links*
Package

km

Source

frame-io.lisp (file)

Special Variable: *built-in-instances*
Package

km

Source

frame-io.lisp (file)

Special Variable: *built-in-inverse2s*
Package

km

Source

frame-io.lisp (file)

Special Variable: *built-in-inverses*
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

interpreter.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *built-in-slots*
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *built-in-superclass-links*
Package

km

Source

frame-io.lisp (file)

Special Variable: *called-forces-unification*
Package

km

Source

header.lisp (file)

Special Variable: *case-preserving-readtable*
Package

km

Source

case.lisp (file)

Special Variable: *catch-explanations*
Package

km

Source

interpreter.lisp (file)

Special Variable: *catch-next-explanations*
Package

km

Source

interpreter.lisp (file)

Special Variable: *check-kb*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *classification-enabled*
Package

km

Source

frame-io.lisp (file)

Special Variable: *classify-slotless-instances*
Package

km

Source

frame-io.lisp (file)

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

km

Source

prototypes.lisp (file)

Special Variable: *coerce-undeclared-slots*
Package

km

Source

header.lisp (file)

Special Variable: *compile-handlers*
Package

km

Source

header.lisp (file)

Special Variable: *compiled-handlers-file*
Package

km

Source

compiler.lisp (file)

Special Variable: *constraint-keywords*
Package

km

Source

frame-io.lisp (file)

Special Variable: *constraint-slots*
Package

km

Source

frame-io.lisp (file)

Special Variable: *creations*
Package

km

Source

loadkb.lisp (file)

Special Variable: *curr-prototype*
Package

km

Source

header.lisp (file)

Special Variable: *curr-situation*
Package

km

Source

frame-io.lisp (file)

Special Variable: *current-renaming-alist*
Package

km

Source

loadkb.lisp (file)

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

km

Source

interpreter.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *default-cardinality*
Package

km

Source

frame-io.lisp (file)

Special Variable: *default-fluent-status*
Package

km

Source

frame-io.lisp (file)

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

km

Source

anglify.lisp (file)

Special Variable: *deleted-frames*
Package

km

Source

header.lisp (file)

Special Variable: *depth*
Package

km

Source

header.lisp (file)

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

km

Source

prototypes.lisp (file)

Special Variable: *dereferencing-on*
Package

km

Source

header.lisp (file)

Special Variable: *developer-mode*
Package

km

Source

header.lisp (file)

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

km

Source

interpreter.lisp (file)

Special Variable: *eagerly-unify-prototypes*
Package

km

Source

header.lisp (file)

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

km

Source

strings.lisp (file)

Special Variable: *equality-relations*
Package

km

Source

frame-io.lisp (file)

Special Variable: *error-structures*
Package

km

Source

interpreter.lisp (file)

Special Variable: *errors*
Package

km

Source

interpreter.lisp (file)

Special Variable: *expand-essentials*
Package

km

Source

prototypes.lisp (file)

Special Variable: *explanations*
Package

km

Source

interpreter.lisp (file)

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

km

Source

loadkb.lisp (file)

Special Variable: *filename-extensions*

Filename extensions for Common Lisp.
A cons of the form (Source-Extension . Binary-Extension). If the
system is unknown (as in *features* not known), defaults to what compile-file-pathname produces.

Package

km

Source

loadkb.lisp (file)

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

km

Source

header.lisp (file)

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

km

Source

lazy-unify.lisp (file)

Special Variable: *goal-stack*
Package

km

Source

stack.lisp (file)

Special Variable: *history*
Package

km

Source

loadkb.lisp (file)

Special Variable: *html-action*
Package

km

Source

writer.lisp (file)

Special Variable: *html-window*
Package

km

Source

writer.lisp (file)

Special Variable: *indent-level*
Package

km

Source

trace.lisp (file)

Special Variable: *indirect-classification*
Package

km

Source

header.lisp (file)

Special Variable: *inequality-relations*
Package

km

Source

frame-io.lisp (file)

Special Variable: *inference-report-frequency*
Package

km

Source

stats.lisp (file)

Special Variable: *infinity*
Package

km

Source

interpreter.lisp (file)

Special Variable: *installing-inverses-enabled*
Package

km

Source

frame-io.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *interactive-preconditions*
Package

km

Source

frame-io.lisp (file)

Special Variable: *interactive-trace*
Package

km

Source

trace.lisp (file)

Special Variable: *internal-logging*
Package

km

Source

header.lisp (file)

Special Variable: *inverse-suffix*
Package

km

Source

case.lisp (file)

Special Variable: *justify-leaves*
Package

km

Source

explain.lisp (file)

Special Variable: *kb-objects*
Package

km

Source

loadkb.lisp (file)

Special Variable: *km-behavior-parameters*
Package

km

Source

header.lisp (file)

Special Variable: *km-depth-limit*
Package

km

Source

header.lisp (file)

Special Variable: *km-fixed-parameters*
Package

km

Source

header.lisp (file)

Special Variable: *km-gensym-counter*
Package

km

Source

frame-io.lisp (file)

Special Variable: *km-handler-alist*
Package

km

Source

header.lisp (file)

Special Variable: *km-handler-alist1*
Package

km

Source

header.lisp (file)

Special Variable: *km-handler-alist2*
Package

km

Source

header.lisp (file)

Special Variable: *km-handler-function*
Package

km

Source

header.lisp (file)

Special Variable: *km-lisp-exprs*
Package

km

Source

interpreter.lisp (file)

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

km

Source

stats.lisp (file)

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

km

Source

stats.lisp (file)

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

km

Source

stats.lisp (file)

Special Variable: *km-readtable*
Package

km

Source

header.lisp (file)

Special Variable: *km-runtime-variables*
Package

km

Source

header.lisp (file)

Special Variable: *km-state-parameters*
Package

km

Source

header.lisp (file)

Special Variable: *km-version-str*
Package

km

Source

header.lisp (file)

Special Variable: *last-answer*
Package

km

Source

interpreter.lisp (file)

Special Variable: *last-question*
Package

km

Source

interpreter.lisp (file)

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

km

Source

case.lisp (file)

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

km

Source

lazy-unify.lisp (file)

Special Variable: *linear-paths*
Package

km

Source

header.lisp (file)

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

km

Source

interpreter.lisp (file)

Special Variable: *logging*
Package

km

Source

header.lisp (file)

Special Variable: *logging-creations*
Package

km

Source

loadkb.lisp (file)

Special Variable: *looping*
Package

km

Source

interpreter.lisp (file)

Special Variable: *max-padding-instances*
Package

km

Source

header.lisp (file)

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

km

Source

interpreter.lisp (file)

Special Variable: *newline-str*
Package

km

Source

header.lisp (file)

Special Variable: *newline-string*
Package

km

Source

strings.lisp (file)

Special Variable: *no-decomment-headwords*
Package

km

Source

interpreter.lisp (file)

Special Variable: *no-heuristic-unification*
Package

km

Source

lazy-unify.lisp (file)

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

km

Source

prototypes.lisp (file)

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

km

Source

prototypes.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *nospace-string*
Package

km

Source

anglify.lisp (file)

Special Variable: *noted-done*
Package

km

Source

frame-io.lisp (file)

Special Variable: *null-binding*
Package

km

Source

utils.lisp (file)

Special Variable: *null-bindings*
Package

km

Source

utils.lisp (file)

Special Variable: *obj-stack*
Package

km

Source

stack.lisp (file)

Special Variable: *on-error*
Package

km

Source

trace.lisp (file)

Special Variable: *output-precision*
Package

km

Source

header.lisp (file)

Special Variable: *overriding-in-prototypes*
Package

km

Source

lazy-unify.lisp (file)

Special Variable: *partially-included-prototype*
Package

km

Source

header.lisp (file)

Special Variable: *postponed-classifications*
Package

km

Source

frame-io.lisp (file)

Special Variable: *print-explanations*
Package

km

Source

interpreter.lisp (file)

Special Variable: *profiling*
Package

km

Source

interpreter.lisp (file)

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

km

Source

header.lisp (file)

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

km

Source

prototypes.lisp (file)

Special Variable: *proto-marker-string*
Package

km

Source

header.lisp (file)

Special Variable: *prototype-classification-enabled*
Package

km

Source

frame-io.lisp (file)

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

km

Source

prototypes.lisp (file)

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

km

Source

prototypes.lisp (file)

Special Variable: *record-explanations*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *record-sources*
Package

km

Source

header.lisp (file)

Special Variable: *recursive-classification*
Package

km

Source

header.lisp (file)

Special Variable: *recursive-prototypes*
Package

km

Source

header.lisp (file)

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

km

Source

subsumes.lisp (file)

Special Variable: *remove-violating-instances*
Package

km

Source

constraints.lisp (file)

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

km

Source

explain.lisp (file)

Special Variable: *reserved-keywords*
Package

km

Source

interpreter.lisp (file)

Special Variable: *reset-statistics-enabled*
Package

km

Source

stats.lisp (file)

Special Variable: *sanity-checks*
Package

km

Source

header.lisp (file)

Special Variable: *see-stream*
Package

km

Source

utils.lisp (file)

Special Variable: *see-unifications*
Package

km

Source

lazy-unify.lisp (file)

Special Variable: *set-constraint-keywords*
Package

km

Source

frame-io.lisp (file)

Special Variable: *show-comments*
Package

km

Source

header.lisp (file)

Special Variable: *show-inference-numbers*
Package

km

Source

stack.lisp (file)

Special Variable: *silent-spypoints*
Package

km

Source

interpreter.lisp (file)

Special Variable: *silent-spypoints-log*
Package

km

Source

interpreter.lisp (file)

Special Variable: *silent-spypoints-stack*
Package

km

Source

stack.lisp (file)

Special Variable: *slot-checking-enabled*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *slots-slots*
Package

km

Source

frame-io.lisp (file)

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

km

Source

prototypes.lisp (file)

Special Variable: *special-symbol-alist*
Package

km

Source

header.lisp (file)

Special Variable: *spot-runtime*
Package

km

Source

stats.lisp (file)

Special Variable: *spypoints*
Package

km

Source

interpreter.lisp (file)

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

km

Source

explain.lisp (file)

Special Variable: *statistics-classification-inferences*
Package

km

Source

header.lisp (file)

Special Variable: *statistics-classifications-attempted*
Package

km

Source

header.lisp (file)

Special Variable: *statistics-classifications-succeeded*
Package

km

Source

header.lisp (file)

Special Variable: *statistics-cpu-time*
Package

km

Source

header.lisp (file)

Special Variable: *statistics-kb-access*
Package

km

Source

header.lisp (file)

Special Variable: *statistics-max-depth*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *statistics-skolems*
Package

km

Source

header.lisp (file)

Special Variable: *statistics-unifications*
Package

km

Source

header.lisp (file)

Special Variable: *stats*
Package

km

Source

loadkb.lisp (file)

Special Variable: *stored-kb*
Package

km

Source

loadkb.lisp (file)

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

km

Source

interpreter.lisp (file)

Special Variable: *subslot-comment*
Package

km

Source

explain.lisp (file)

Special Variable: *subslot-comment-tag*
Package

km

Source

header.lisp (file)

Special Variable: *suspended-trace*
Package

km

Source

trace.lisp (file)

Special Variable: *t-package*
Package

km

Source

case.lisp (file)

Special Variable: *t-readtable*
Package

km

Source

case.lisp (file)

Special Variable: *tell-stream*
Package

km

Source

utils.lisp (file)

Special Variable: *tmp-counter*
Package

km

Source

utils.lisp (file)

Special Variable: *tolerance*
Package

km

Source

header.lisp (file)

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

km

Source

interpreter.lisp (file)

Special Variable: *trace*
Package

km

Source

header.lisp (file)

Special Variable: *trace-classify*
Package

km

Source

trace.lisp (file)

Special Variable: *trace-constraints*
Package

km

Source

trace.lisp (file)

Special Variable: *trace-file*

default trace file

Package

km

Source

trace.lisp (file)

Special Variable: *trace-goal-stack*
Package

km

Source

trace.lisp (file)

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

km

Source

lazy-unify.lisp (file)

Special Variable: *trace-other-situations*
Package

km

Source

trace.lisp (file)

Special Variable: *trace-prototype-assertions*
Package

km

Source

frame-io.lisp (file)

Special Variable: *trace-rules*
Package

km

Source

compiler.lisp (file)

Special Variable: *trace-subsumes*
Package

km

Source

trace.lisp (file)

Special Variable: *trace-to-file?*

if true, the km traces are sent to the trace file
set by (trace-to-file-on [<filename>]) and (trace-to-file-off) from lisp set by (t2f-on [<filename>]) and (t2f-off) from km

Package

km

Source

trace.lisp (file)

Special Variable: *trace-unify*
Package

km

Source

trace.lisp (file)

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

km

Source

prototypes.lisp (file)

Special Variable: *unclonable-slots*
Package

km

Source

prototypes.lisp (file)

Special Variable: *unstackable-kb-instances*
Package

km

Source

stack.lisp (file)

Special Variable: *use-inheritance*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

Special Variable: *use-prototypes*
Package

km

Source

header.lisp (file)

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

km

Source

header.lisp (file)

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

km

Source

frame-io.lisp (file)

Special Variable: *using-km-package*
Package

km

Source

header.lisp (file)

Special Variable: *val-constraint-keywords*
Package

km

Source

frame-io.lisp (file)

Special Variable: *valid-cardinalities*
Package

km

Source

frame-io.lisp (file)

Special Variable: *valid-fluent-statuses*
Package

km

Source

frame-io.lisp (file)

Special Variable: *var-marker-string*
Package

km

Source

header.lisp (file)

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

km

Source

anglify.lisp (file)

Special Variable: *visible-theories*
Package

km

Source

header.lisp (file)

Special Variable: *warnings*
Package

km

Source

interpreter.lisp (file)

Special Variable: *whitespace-chars*
Package

km

Source

strings.lisp (file)

Special Variable: *year*
Package

km

Source

header.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.1.3 Macros

Macro: delay &rest BODY
Package

km

Source

compiler.lisp (file)

Macro: do-objects VAR &body BODY
Package

km

Source

loadkb.lisp (file)

Macro: keeping-kb &body BODY
Package

km

Source

loadkb.lisp (file)


Next: , Previous: , Up: Internal definitions   [Contents][Index]

5.1.4 Functions

Function: &&-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: &&-exprs-to-valsets EXPRS
Package

km

Source

kbutils.lisp (file)

Function: &-expr-to-vals EXPR
Package

km

Source

kbutils.lisp (file)

Function: &-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: a-space WORD1 WORD2
Package

km

Source

anglify.lisp (file)

Function: aconsp OBJ
Package

km

Source

utils.lisp (file)

Function: add-binding X Y BINDINGS
Package

km

Source

utils.lisp (file)

Function: add-doublequotes STRING
Package

km

Source

strings.lisp (file)

Function: add-escapes STRING SPECIALS
Package

km

Source

strings.lisp (file)

Function: add-immediate-class INSTANCE0 NEW-IMMEDIATE-PARENT EXPLANATION
Package

km

Source

frame-io.lisp (file)

Function: add-lisp&km-function NAME
Package

km

Source

kbutils.lisp (file)

Function: add-quote-if-needed X

Quote X if necessary.

Package

km

Source

compiler.lisp (file)

Function: add-quotes OBJ
Package

km

Source

case.lisp (file)

Function: add-slotsvals INSTANCE ADD-SLOTSVALS &key FACET INSTALL-INVERSESP SITUATION COMBINE-VALUES-BY BIND-SELFP
Package

km

Source

frame-io.lisp (file)

Function: add-support TRIPLE SUPPORT &key SITUATION
Package

km

Source

explain.lisp (file)

Function: add-to-active-situations SITUATION
Package

km

Source

frame-io.lisp (file)

Function: add-to-prototype-definition PROTOTYPE EXPR
Package

km

Source

prototypes.lisp (file)

Function: add-to-source SOURCE ITEM
Package

km

Source

explain.lisp (file)

Function: add-triple TRIPLE
Package

km

Source

prototypes.lisp (file)

Function: add-triple-asif-cloned TRIPLE N SOURCE-TRIPLE SOURCE-ROOT
Package

km

Source

prototypes.lisp (file)

Function: add-val INSTANCE SLOT VAL &optional INSTALL-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: add-val-to-group VAL GROUPS NON-UNIFIABLE-PAIRS
Package

km

Source

constraints.lisp (file)

Function: add-vals INSTANCE SLOT VALS &optional INSTALL-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: aggregate-vals FUNCTION VALS
Package

km

Source

interpreter.lisp (file)

Function: all-active-situations ()
Package

km

Source

frame-io.lisp (file)

Function: all-adjacent-pairs LIST
Package

km

Source

utils.lisp (file)

Function: all-applicable-prototypes INSTANCE &optional SLOT
Package

km

Source

prototypes.lisp (file)

Function: all-classes INSTANCE
Package

km

Source

frame-io.lisp (file)

Function: all-instances CLASS
Package

km

Source

frame-io.lisp (file)

Function: all-next-situations ()
Package

km

Source

frame-io.lisp (file)

Function: all-pairs LIST
Package

km

Source

utils.lisp (file)

Function: all-protoinstances CLASS
Package

km

Source

frame-io.lisp (file)

Function: all-prototypes CLASS
Package

km

Source

frame-io.lisp (file)

Function: all-situations ()
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Function: all-subclasses CLASS
Package

km

Source

frame-io.lisp (file)

Function: all-subclasses0 CLASS &key PATH-SO-FAR
Package

km

Source

frame-io.lisp (file)

Function: all-subslots SLOT
Package

km

Source

frame-io.lisp (file)

Function: all-superclasses CLASS
Package

km

Source

frame-io.lisp (file)

Function: all-superclasses0 CLASS &key PATH-SO-FAR
Package

km

Source

frame-io.lisp (file)

Function: all-supersituations SITUATION
Package

km

Source

frame-io.lisp (file)

Function: all-supersituations0 SITUATION
Package

km

Source

frame-io.lisp (file)

Function: all-superslots SLOT
Package

km

Source

frame-io.lisp (file)

Function: all-theories ()
Package

km

Source

frame-io.lisp (file)

Function: allof-must VAR SET TEST
Package

km

Source

interpreter.lisp (file)

Function: allof-where-must VAR SET TEST2 TEST
Package

km

Source

interpreter.lisp (file)

Function: already-done FRAME SLOT &optional SITUATION
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

prototypes.lisp (file)

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

km

Source

frame-io.lisp (file)

Function: and-append XS0 AND-SYMBOL YS0
Package

km

Source

lazy-unify.lisp (file)

Function: and-append2 X AND-SYMBOL Y
Package

km

Source

lazy-unify.lisp (file)

Function: and-listp LIST AND-SYMBOL
Package

km

Source

lazy-unify.lisp (file)

Function: and-member EL LIST AND-SYMBOL
Package

km

Source

lazy-unify.lisp (file)

Function: andify VALS
Package

km

Source

strings.lisp (file)

Function: annotate-embedded-structures EXPR SOURCE
Package

km

Source

explain.lisp (file)

Function: annotate-every-expr EVERY-EXPR &optional SOURCE SEARCH-FOR
Package

km

Source

explain.lisp (file)

Function: annotate-every-expr0 EVERY-EXPR &optional SOURCE SEARCH-FOR
Package

km

Source

explain.lisp (file)

Function: annotate-slotsvals SLOTSVALS SOURCE
Package

km

Source

explain.lisp (file)

Function: annotate-val VAL SOURCE &key EMBEDDED-STRUCTUREP
Package

km

Source

explain.lisp (file)

Function: annotate-vals VALS SOURCE &key EMBEDDED-STRUCTUREP
Package

km

Source

explain.lisp (file)

Function: anonymous-instance-name CONCEPT &key HTMLIFY
Package

km

Source

anglify.lisp (file)

Function: anonymous-instancep INSTANCE0
Package

km

Source

kbutils.lisp (file)

Function: anonymous-minimatch-varp VAR
Package

km

Source

minimatch.lisp (file)

Function: apairp LIST
Package

km

Source

utils.lisp (file)

Function: append-bags BAG-OF-BAGS
Package

km

Source

interpreter.lisp (file)

Function: append-list LIST
Package

km

Source

utils.lisp (file)

Function: append-seqs SEQ-OF-SEQS
Package

km

Source

interpreter.lisp (file)

Function: apply-handler HANDLER
Package

km

Source

minimatch.lisp (file)

Function: apply-recursive FUNCTION STRUCTURE
Package

km

Source

utils.lisp (file)

Function: apply-to-file-exprs FUNCTION FILE
Package

km

Source

strings.lisp (file)

Function: apply-to-file-lines FUNCTION FILE
Package

km

Source

strings.lisp (file)

Function: are-consistent-with-constraints VALS0 CONSTRAINTS0 SLOT
Package

km

Source

constraints.lisp (file)

Function: are-slotsvals SLOTSVALS
Package

km

Source

frame-io.lisp (file)

Function: areverse A-DOT-B
Package

km

Source

utils.lisp (file)

Function: arg1of ()
Package

km

Source

kbutils.lisp (file)

Function: arg2of ARG-STRUCTURE
Package

km

Source

kbutils.lisp (file)

Function: arg3of ARG-STRUCTURE
Package

km

Source

kbutils.lisp (file)

Function: arg4of ARG-STRUCTURE
Package

km

Source

kbutils.lisp (file)

Function: args-to-symbol &rest ARGS
Package

km

Source

compiler.lisp (file)

Function: assoc-equal ITEM ALIST
Package

km

Source

utils.lisp (file)

Function: assoc-sort LIST
Package

km

Source

utils.lisp (file)

Function: atomic-aconsp X
Package

km

Source

utils.lisp (file)

Function: atranspose LIST
Package

km

Source

utils.lisp (file)

Function: attach-source-to-expr EXPR SOURCE
Package

km

Source

explain.lisp (file)

Function: bag-equal BAG1 BAG2
Package

km

Source

utils.lisp (file)

Function: bag-equal0 BAG1 BAG2
Package

km

Source

utils.lisp (file)

Function: bag-to-list BAG
Package

km

Source

kbutils.lisp (file)

Function: before-situation EVENT
Package

km

Source

frame-io.lisp (file)

Function: bind X Y
Package

km

Source

utils.lisp (file)

Function: bind-self EXPR SELF
Package

km

Source

frame-io.lisp (file)

Function: bindings-for PATTERN
Package

km

Source

compiler.lisp (file)

Function: block-list ADD-LIST
Package

km

Source

frame-io.lisp (file)

Function: bound FRAME1
Package

km

Source

frame-io.lisp (file)

Function: break-list LIST &key TEST
Package

km

Source

utils.lisp (file)

Function: break-string-at STRING BREAK-CHAR
Package

km

Source

strings.lisp (file)

Function: break-up STRING &optional DELIM-CHARS
Package

km

Source

strings.lisp (file)

Function: break-up-at STRING &key DELIMETER-CHARS
Package

km

Source

strings.lisp (file)

Function: break-up-at0 DELIMETER-CHARS STRING M N NMAX POLARITY
Package

km

Source

strings.lisp (file)

Function: break-up2 STRING M N NMAX QUOTEP &optional DELIM-CHARS
Package

km

Source

strings.lisp (file)

Function: breakup-existential-expr EXPR0 &key FAIL-MODE
Package

km

Source

subsumes.lisp (file)

Function: build-clone PROTOTYPE MAPPING-ALIST &key INCLUDING-EXTRA-SLOTS
Package

km

Source

prototypes.lisp (file)

Function: build-clones PROTOTYPE &key INCLUDING-EXTRA-SLOTS
Package

km

Source

prototypes.lisp (file)

Function: build-embedded-val PATH EXPR &key EVERY-A HAS-WITH
Package

km

Source

explain.lisp (file)

Function: build-rule EXPR0 &key IGNORE-CONSTRAINTSP
Package

km

Source

explain.lisp (file)

Function: built-in-aggregation-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: built-in-bag-aggregation-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: built-in-concept CONCEPT
Package

km

Source

frame-io.lisp (file)

Function: built-in-concept-type CONCEPT
Package

km

Source

frame-io.lisp (file)

Function: built-in-instance-of-links ()
Package

km

Source

frame-io.lisp (file)

Function: built-in-seq-aggregation-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: built-in-set-aggregation-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: built-in-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: butfirst-char STRING
Package

km

Source

strings.lisp (file)

Function: butlast-char STRING
Package

km

Source

strings.lisp (file)

Function: butlast-word STRING
Package

km

Source

strings.lisp (file)

Function: cache-explanation-for VAL EXPR0
Package

km

Source

explain.lisp (file)

Function: cached-explanations-for INSTANCE &optional SITUATION
Package

km

Source

explain.lisp (file)

Function: canonicalize EXPR
Package

km

Source

stack.lisp (file)

Function: capitalize STRING
Package

km

Source

anglify.lisp (file)

Function: cardinality-of SLOT
Package

km

Source

frame-io.lisp (file)

Function: cardinality-of2 SLOT
Package

km

Source

frame-io.lisp (file)

Function: case-sensitive-read &optional STREAM EOF-ERR-P EOF-VAL REC-P
Package

km

Source

case.lisp (file)

Function: case-sensitive-read-file-exprs FILE
Package

km

Source

utils.lisp (file)

Function: case-sensitive-read-from-string &optional EOF-ERR-P EOF-VAL
Package

km

Source

case.lisp (file)

Function: case-sensitive-read-km &optional STREAM EOF-ERR-P EOF-VAL REC-P
Package

km

Source

case.lisp (file)

Function: catch-explanation KMEXPR-WITH-COMMENTS MODE
Package

km

Source

trace.lisp (file)

Function: catch-explanations ()
Package

km

Source

trace.lisp (file)

Function: change-to-situation SITUATION
Package

km

Source

frame-io.lisp (file)

Function: check-classification-with-user INSTANCE POSSIBLE-NEW-PARENT
Package

km

Source

frame-io.lisp (file)

Function: check-domain-and-range INSTANCE SLOT VALS
Package

km

Source

frame-io.lisp (file)

Function: check-for-cycles ()
Package

km

Source

frame-io.lisp (file)

Function: check-for-cycles0 CLASS &key DONE
Package

km

Source

frame-io.lisp (file)

Function: check-isa-slot-object SLOT
Package

km

Source

frame-io.lisp (file)

Function: check-situations-mode INSTANCE SLOT
Package

km

Source

frame-io.lisp (file)

Function: check-slot FRAME SLOT VALUES
Package

km

Source

frame-io.lisp (file)

Function: check-slotvals-constraints SLOT I1 I2 EXPRS1 EXPRS2 &key CS1 CS2 CLASSES-SUBSUMEP EAGERLYP FAIL-MODE
Package

km

Source

lazy-unify.lisp (file)

Function: check-slotvals-constraints0 SLOT I1 I2 EXPRS1 EXPRS2 &key CS1 CS2 CLASSES-SUBSUMEP EAGERLYP FAIL-MODE
Package

km

Source

lazy-unify.lisp (file)

Function: checkkboff ()
Package

km

Source

header.lisp (file)

Function: checkkbon ()
Package

km

Source

header.lisp (file)

Function: checkkbp ()
Package

km

Source

header.lisp (file)

Function: checkpoint-id X
Package

km

Source

loadkb.lisp (file)

Function: checkpoint-p X
Package

km

Source

loadkb.lisp (file)

Function: class-description-to-class+slotsvals EXPR &key FAIL-MODE
Package

km

Source

kbutils.lisp (file)

Function: class-descriptionp EXPR &key FAIL-MODE
Package

km

Source

kbutils.lisp (file)

Function: class-has-something-to-say-about INSTANCE SLOT &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: class-in-existential-expr EXISTENTIAL-EXPR
Package

km

Source

subsumes.lisp (file)

Function: classes-in-description EXPR
Package

km

Source

kbutils.lisp (file)

Function: classes-subsume-classes CLASSES1 CLASSES2
Package

km

Source

frame-io.lisp (file)

Function: classification-enabled ()
Package

km

Source

frame-io.lisp (file)

Function: classify INSTANCE &key SLOTS-THAT-CHANGED SLOT-OF-INTEREST
Package

km

Source

frame-io.lisp (file)

Function: classify-as-coreferential INSTANCE0 PARENT &key SLOTS-THAT-CHANGED SLOT-OF-INTEREST
Package

km

Source

frame-io.lisp (file)

Function: classify-as-member INSTANCE PARENT &key SLOTS-THAT-CHANGED SLOT-OF-INTEREST
Package

km

Source

frame-io.lisp (file)

Function: classify-as-prototype INSTANCE PARENT &key SLOTS-THAT-CHANGED SLOT-OF-INTEREST
Package

km

Source

frame-io.lisp (file)

Function: classify-as-prototype0 INSTANCE PROTOROOT
Package

km

Source

frame-io.lisp (file)

Function: classify0 INSTANCE &key SLOTS-THAT-CHANGED SLOT-OF-INTEREST
Package

km

Source

frame-io.lisp (file)

Function: classp CLASS
Package

km

Source

kbutils.lisp (file)

Function: clean-taxonomy &key SILENTP
Package

km

Source

frame-io.lisp (file)

Function: clear-all-explanations ()
Package

km

Source

explain.lisp (file)

Function: clear-evaluation-cache ()
Package

km

Source

explain.lisp (file)

Function: clear-explanations &key CLEAR-GLOBALP
Package

km

Source

explain.lisp (file)

Function: clear-goal-stack ()
Package

km

Source

stack.lisp (file)

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

km

Source

prototypes.lisp (file)

Function: clear-obj-stack ()
Package

km

Source

stack.lisp (file)

Function: clear-screen ()
Package

km

Source

strings.lisp (file)

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

km

Source

trace.lisp (file)

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

km

Source

stack.lisp (file)

Function: clear-situations ()
Package

km

Source

loadkb.lisp (file)

Function: clone PROTOTYPE0 &key INCLUDING-EXTRA-SLOTS WITHOUT-BOOKKEEPING
Package

km

Source

prototypes.lisp (file)

Function: clone-built-from* F &key DONE
Package

km

Source

prototypes.lisp (file)

Function: clone-cycle EXPLANATION
Package

km

Source

prototypes.lisp (file)

Function: clone-without-bookkeeping PROTOTYPE &key INCLUDING-EXTRA-SLOTS
Package

km

Source

prototypes.lisp (file)

Function: cloned-from* F &key DONE
Package

km

Source

prototypes.lisp (file)

Function: close-stream STREAM
Package

km

Source

utils.lisp (file)

Function: collect-clonesets NODES ISV-EXPLANATIONS CLONE-OPERATION-ID
Package

km

Source

prototypes.lisp (file)

Function: collect-constraints+sources-on-instance INSTANCE SLOT &key SITUATION RETAIN-COMMENTSP IGNORE-PROTOTYPES
Package

km

Source

frame-io.lisp (file)

Function: collect-constraints-on-instance INSTANCE SLOT &key RETAIN-COMMENTSP IGNORE-PROTOTYPES SITUATION
Package

km

Source

frame-io.lisp (file)

Function: collect-prototypes-for-classes ORDERED-CLASSES CLASS+PROTOROOTS-LIST &key COLLECTED-SO-FAR
Package

km

Source

frame-io.lisp (file)

Function: combine-attvals LIST DICT &key N-ENTRIES NULL-ENTRY
Package

km

Source

utils.lisp (file)

Function: combine-bindings BINDINGS1 BINDINGS2
Package

km

Source

utils.lisp (file)

Function: combine-explanations EXPLANATIONS
Package

km

Source

explain.lisp (file)

Function: combine-values-by-appending-slotp SLOT
Package

km

Source

frame-io.lisp (file)

Function: commaed-list LIST &optional DELIMETER
Package

km

Source

strings.lisp (file)

Function: commaify VALS
Package

km

Source

strings.lisp (file)

Function: comment COMMENT-TAG DATA
Package

km

Source

explain.lisp (file)

Function: comment-or-sourcep TAG
Package

km

Source

explain.lisp (file)

Function: comment-tagp TAG
Package

km

Source

explain.lisp (file)

Function: comments ()
Package

km

Source

trace.lisp (file)

Function: common-startstring STRINGS
Package

km

Source

strings.lisp (file)

Function: comparison-operator SLOT
Package

km

Source

kbutils.lisp (file)

Function: compatible-classes &key INSTANCE1 INSTANCE2 CLASSES1 CLASSES2 CLASSES-SUBSUMEP
Package

km

Source

lazy-unify.lisp (file)

Function: compile-expr VAR PATTERN CONSEQUENT
Package

km

Source

compiler.lisp (file)

Function: compile-handlers HANDLERS &key CODE-ONLY

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

Package

km

Source

compiler.lisp (file)

Function: compile-list VAR PATTERN CONSEQUENT
Package

km

Source

compiler.lisp (file)

Function: compile-rule PATTERN CONSEQUENT VAR
Package

km

Source

compiler.lisp (file)

Function: compile-rules RULES VAR

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

Package

km

Source

compiler.lisp (file)

Function: compiled-km-handler-function F-MODE TARGET X
Package

km

Source

compiled-handlers.lisp (file)

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

km

Source

frame-io.lisp (file)

Function: compute-new-vals SLOT OLD-VALS0 ADD-VALS &key COMBINE-VALUES-BY
Package

km

Source

frame-io.lisp (file)

Function: compute-triples &optional TRIPLE0
Package

km

Source

explain.lisp (file)

Function: concat &rest LIST
Package

km

Source

strings.lisp (file)

Function: concat-list LIST
Package

km

Source

strings.lisp (file)

Function: cons-binding BINDING BINDINGS
Package

km

Source

minimatch.lisp (file)

Function: consistent-to-do-action ACTION PCS-LIST NCS-LIST
Package

km

Source

frame-io.lisp (file)

Function: constraint-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: contains STRING SUBSTRING
Package

km

Source

strings.lisp (file)

Function: contains-self-keyword EXPR
Package

km

Source

subsumes.lisp (file)

Function: contains-some EXPR SYMBOLS
Package

km

Source

utils.lisp (file)

Function: contains-some-existential-exprs EXPRS
Package

km

Source

kbutils.lisp (file)

Function: contains-whitespace STRING
Package

km

Source

strings.lisp (file)

Function: convert-comment-to-internal-form USER-COMMENT &optional SELF
Package

km

Source

explain.lisp (file)

Function: convert-comments-to-internal-form EXPR &optional SELF
Package

km

Source

explain.lisp (file)

Function: copy-delay INSTANCE
Package

km

Source

compiler.lisp (file)

Function: copy-explanations-for TRIPLE &key FROM-SITUATION TO-SITUATION RENAMING-ALIST
Package

km

Source

explain.lisp (file)

Function: copy-situation-contents SOURCE-SITN TARGET-SITN
Package

km

Source

lazy-unify.lisp (file)

Function: count-elements LIST
Package

km

Source

utils.lisp (file)

Function: counts-to NMAX &key START-AT
Package

km

Source

utils.lisp (file)

Function: counts-to0 N NMAX
Package

km

Source

utils.lisp (file)

Function: covers XS Y
Package

km

Source

subsumes.lisp (file)

Function: create-instance PARENT0 SLOTSVALS0 &key PREFIX-STRING BIND-SELFP TARGET
Package

km

Source

frame-io.lisp (file)

Function: create-instance-name PARENT &optional PREFIX-STRING
Package

km

Source

frame-io.lisp (file)

Function: create-named-instance NEWFRAME PARENT SLOTSVALS0 &key BIND-SELFP TARGET
Package

km

Source

frame-io.lisp (file)

Function: crypt STRING &key SHIFT
Package

km

Source

strings.lisp (file)

Function: curr-iteration ()
Package

km

Source

utils.lisp (file)

Function: curr-prototype ()
Package

km

Source

prototypes.lisp (file)

Function: curr-situation ()
Package

km

Source

frame-io.lisp (file)

Function: curr-situation-facet ()
Package

km

Source

frame-io.lisp (file)

Function: date ()
Package

km

Source

strings.lisp (file)

Function: decomment EXPR &key NO-DELISTIFICATION
Package

km

Source

explain.lisp (file)

Function: decrement-trace-depth ()
Package

km

Source

trace.lisp (file)

Function: default-fluent-status &optional STATUS
Package

km

Source

frame-io.lisp (file)

Function: delay-function INSTANCE
Function: (setf delay-function) VALUE INSTANCE
Package

km

Source

compiler.lisp (file)

Function: delay-p OBJECT
Package

km

Source

compiler.lisp (file)

Function: delay-value INSTANCE
Function: (setf delay-value) VALUE INSTANCE
Package

km

Source

compiler.lisp (file)

Function: delete-all-supports-from-class CLASS
Package

km

Source

explain.lisp (file)

Function: delete-explanation INSTANCE0 SLOT VAL0 &key EXPLANATION-TO-DELETE SITUATION
Package

km

Source

explain.lisp (file)

Function: delete-explanations I S V STRUCTS
Package

km

Source

explain.lisp (file)

Function: delete-frame FRAME0 &key DELETE-INVERSESP
Package

km

Source

frame-io.lisp (file)

Function: delete-frame-structure FNAME &key REMOVE-FROM-KB-OBJECT-LIST
Package

km

Source

loadkb.lisp (file)

Function: delete-isv-explanation ISV-EXPLANATION &key SITUATION
Package

km

Source

explain.lisp (file)

Function: delete-isv-explanations ISV-EXPLANATIONS &key SITUATION
Package

km

Source

explain.lisp (file)

Function: delete-nonessential-explanation ISV-EXPLANATION &key ESSENTIALS
Package

km

Source

prototypes.lisp (file)

Function: delete-nonessential-explanations CONCEPT &key ESSENTIALS
Package

km

Source

prototypes.lisp (file)

Function: delete-prototype-triple TRIPLE
Package

km

Source

prototypes.lisp (file)

Function: delete-slot FRAME0 SLOT &key DELETE-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: delete-support-by-prototypes TRIPLE PROTOTYPE-ROOTS &key SITUATION EXPLANATION-TYPES-TO-DELETE
Package

km

Source

explain.lisp (file)

Function: delete-support-by-prototypes-in-class TRIPLE CLASS &key SITUATION EXPLANATION-TYPES-TO-DELETE
Package

km

Source

explain.lisp (file)

Function: delete-supports-from-class INSTANCE0 CLASS &key SITUATION
Package

km

Source

explain.lisp (file)

Function: delete-supports-from-class0 INSTANCE0 CLASS &key SITUATION
Package

km

Source

explain.lisp (file)

Function: delete-triple TRIPLE
Package

km

Source

prototypes.lisp (file)

Function: delete-val INSTANCE SLOT VAL &optional UNINSTALL-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: delistifiable-commented-or-sourced-pairp EXPR
Package

km

Source

explain.lisp (file)

Function: delistifiable-commented-pairp EXPR
Package

km

Source

explain.lisp (file)

Function: delistifiable-sourced-pairp EXPR
Package

km

Source

explain.lisp (file)

Function: delistify LIST
Package

km

Source

utils.lisp (file)

Function: depth-to-thing CLASS
Package

km

Source

writer.lisp (file)

Function: depth-to-thing1 CLASSES DEPTH-SO-FAR
Package

km

Source

writer.lisp (file)

Function: dereference FRAME
Package

km

Source

frame-io.lisp (file)

Function: dereference-chain I
Package

km

Source

loadkb.lisp (file)

Function: dereference-kb ()
Package

km

Source

frame-io.lisp (file)

Function: dereference0 FRAME
Package

km

Source

frame-io.lisp (file)

Function: description-subsumes-description X-DESC Y-DESC
Package

km

Source

subsumes.lisp (file)

Function: descriptionp EXPR
Package

km

Source

kbutils.lisp (file)

Function: desource EXPR
Package

km

Source

explain.lisp (file)

Function: desource+decomment EXPR &key RETAIN-COMMENTSP DELISTIFYP
Package

km

Source

explain.lisp (file)

Function: desource+decomment-top-level EXPR
Package

km

Source

explain.lisp (file)

Function: desource+decomment1 EXPR
Package

km

Source

explain.lisp (file)

Function: desource-all-but-top-level EXPR
Package

km

Source

explain.lisp (file)

Function: desource-for-printing EXPR
Package

km

Source

explain.lisp (file)

Function: desource-top-level EXPR
Package

km

Source

explain.lisp (file)

Function: desource1 EXPR
Package

km

Source

explain.lisp (file)

Function: disable-classification ()
Package

km

Source

frame-io.lisp (file)

Function: disable-installing-inverses ()
Package

km

Source

frame-io.lisp (file)

Function: disable-slot-checking ()
Package

km

Source

frame-io.lisp (file)

Function: disjoint-class-sets IMMEDIATE-CLASSES1 IMMEDIATE-CLASSES2 &key INSTANCE1 INSTANCE2
Package

km

Source

lazy-unify.lisp (file)

Function: disjoint-class-sets0 CLASSES1 CLASSES2 &key INSTANCE1 INSTANCE2
Package

km

Source

lazy-unify.lisp (file)

Function: disjoint-classes CLASSES
Package

km

Source

lazy-unify.lisp (file)

Function: do-action ACTION-EXPR &key NEXT-SITUATION CHANGE-TO-NEXT-SITUATION TEST-OR-ASSERT-PCS
Package

km

Source

frame-io.lisp (file)

Function: do-forced-unifications SET1 EXPRS2 &key EAGERLYP TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: do-plan EVENT-INSTANCE
Package

km

Source

sadl.lisp (file)

Function: do-postponed-classifications INSTANCE SLOT
Package

km

Source

frame-io.lisp (file)

Function: do-setify SET AND-SYMBOL
Package

km

Source

lazy-unify.lisp (file)

Function: domains-of SLOT
Package

km

Source

frame-io.lisp (file)

Function: dont-cache-values-slotp SLOT
Package

km

Source

frame-io.lisp (file)

Function: dot-source SOURCE
Package

km

Source

explain.lisp (file)

Function: dotted-slot SLOT
Package

km

Source

explain.lisp (file)

Function: double-quotify WORD &optional DELIM-CHARS
Package

km

Source

strings.lisp (file)

Function: double-quotify-list WORDS &optional DELIM-CHARS
Package

km

Source

strings.lisp (file)

Function: duplicate ITEM LENGTH
Package

km

Source

utils.lisp (file)

Function: eagerly-evaluate-exprs INSTANCE &optional SITUATION
Package

km

Source

lazy-unify.lisp (file)

Function: enable-classification ()
Package

km

Source

frame-io.lisp (file)

Function: enable-installing-inverses ()
Package

km

Source

frame-io.lisp (file)

Function: enable-slot-checking ()
Package

km

Source

frame-io.lisp (file)

Function: ends-with STRING SUBSTR
Package

km

Source

strings.lisp (file)

Function: enforce-constraints VALS CONSTRAINTS &key TARGET
Package

km

Source

constraints.lisp (file)

Function: enforce-constraints0 VALS CONSTRAINTS &key TARGET
Package

km

Source

constraints.lisp (file)

Function: enforce-set-constraint VALS CONSTRAINT0 &key TARGET
Package

km

Source

constraints.lisp (file)

Function: enforce-set-constraint2 VALS CONSTRAINT &key TARGET
Package

km

Source

constraints.lisp (file)

Function: enforce-set-constraints VALS CONSTRAINTS &key TARGET
Package

km

Source

constraints.lisp (file)

Function: enforce-set-constraints0 VALS CONSTRAINTS &key TARGET
Package

km

Source

constraints.lisp (file)

Function: enforce-val-constraint VAL CONSTRAINT0 INSTANCE SLOT SPECIAL-SLOT-TYPE
Package

km

Source

constraints.lisp (file)

Function: enforce-val-constraints VAL CONSTRAINTS SPECIAL-SLOT-TYPE &key TARGET
Package

km

Source

constraints.lisp (file)

Function: equality-assertion-operator X
Package

km

Source

lazy-unify.lisp (file)

Function: eval-constraints INSTANCE
Package

km

Source

frame-io.lisp (file)

Function: eval-instance INSTANCE
Package

km

Source

frame-io.lisp (file)

Function: eval-instances &optional INSTANCES &key N
Package

km

Source

frame-io.lisp (file)

Function: evaluate-all KM-EXPR &optional SITUATIONS
Package

km

Source

stack.lisp (file)

Function: evaluate-all-frame INSTANCE &optional SITUATIONS
Package

km

Source

stack.lisp (file)

Function: evaluate-all-frame-in-situation INSTANCE SITUATION
Package

km

Source

stack.lisp (file)

Function: evaluate-and-filter-defaults EXPR-SET CONSTRAINTS CURR-VALS SLOT &key SINGLE-VALUEDP
Package

km

Source

constraints.lisp (file)

Function: evaluate-triple TRIPLE
Package

km

Source

frame-io.lisp (file)

Function: even-elements LIST
Package

km

Source

utils.lisp (file)

Function: every-to-a EXPR
Package

km

Source

subsumes.lisp (file)

Function: existential-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: expand-text ITEM &key HTMLIFY DEPTH
Package

km

Source

anglify.lisp (file)

Function: expand-text0 ITEM &key HTMLIFY DEPTH
Package

km

Source

anglify.lisp (file)

Function: explain-all &key INCLUDE-GLOBALP
Package

km

Source

explain.lisp (file)

Function: explained-by INSTANCE EXPR &optional TARGET
Package

km

Source

explain.lisp (file)

Function: explanation-in ISV-EXPLANATION
Package

km

Source

explain.lisp (file)

Function: explanation-type EXPLANATION
Package

km

Source

explain.lisp (file)

Function: explanations &optional SLOTS
Package

km

Source

explain.lisp (file)

Function: explanations-in ISV-MULTI-EXPLANATION
Package

km

Source

explain.lisp (file)

Function: explode STRING
Package

km

Source

strings.lisp (file)

Function: expr2string EXPR &optional HTMLIFY
Package

km

Source

writer.lisp (file)

Function: extract-constraints VALS
Package

km

Source

kbutils.lisp (file)

Function: extract-exprs-in-class EXPRS CLASS
Package

km

Source

constraints.lisp (file)

Function: fail-noisily ()
Package

km

Source

interpreter.lisp (file)

Function: fail-quietly ()
Package

km

Source

interpreter.lisp (file)

Function: faslsave-kb FILE &key RESET-KB COMPILE
Package

km

Source

loadkb.lisp (file)

Function: fast-delete-val INSTANCE SLOT VAL0 &optional UNINSTALL-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: fastload-kb FKM-FILE &key FORCE-FKM
Package

km

Source

loadkb.lisp (file)

Function: fastsave-kb FILE &key RESET-KB COMPILE
Package

km

Source

loadkb.lisp (file)

Function: file-exists FILE
Package

km

Source

utils.lisp (file)

Function: filter-using-constraints VALS CONSTRAINTS &optional SLOT
Package

km

Source

constraints.lisp (file)

Function: filter-using-constraints0 VALS CONSTRAINTS SLOT
Package

km

Source

constraints.lisp (file)

Function: find-and-apply-handler EXPR HANDLER-ALIST &key FAIL-MODE
Package

km

Source

minimatch.lisp (file)

Function: find-candidates EXISTENTIAL-EXPR
Package

km

Source

subsumes.lisp (file)

Function: find-candidates2 CLASS SLOTVALS
Package

km

Source

subsumes.lisp (file)

Function: find-clone-of-node NODE ISV-EXPLANATION CLONE-OPERATION-ID
Package

km

Source

prototypes.lisp (file)

Function: find-constraints-in-exprs EXPRS
Package

km

Source

kbutils.lisp (file)

Function: find-essentials ESSENTIALS &key PROTOROOT PARTICIPANTS N
Package

km

Source

prototypes.lisp (file)

Function: find-essentials0 ESSENTIALS-TO-CHECK &key PROTOROOT PARTICIPANTS ESSENTIALS
Package

km

Source

prototypes.lisp (file)

Function: find-exprs EXPR &key EXPR-TYPE PLURALITY
Package

km

Source

kbutils.lisp (file)

Function: find-handler EXPR HANDLER-ALIST &key FAIL-MODE
Package

km

Source

minimatch.lisp (file)

Function: find-ignored ()
Package

km

Source

interpreter.lisp (file)

Function: find-pattern LIST PATTERN
Package

km

Source

minimatch.lisp (file)

Function: find-pattern1 LIST PATTERN
Package

km

Source

minimatch.lisp (file)

Function: find-propositions ACTION SLOT
Package

km

Source

frame-io.lisp (file)

Function: find-subsumees+bindings EXISTENTIAL-EXPR CANDIDATES &key BINDINGS
Package

km

Source

subsumes.lisp (file)

Function: find-subsumees-on-object-stack EXISTENTIAL-EXPR
Package

km

Source

subsumes.lisp (file)

Function: first-char ()
Package

km

Source

strings.lisp (file)

Function: first-n LIST N
Package

km

Source

utils.lisp (file)

Function: first-n-unifiable-values POSSIBLE-VALUES VAL N
Package

km

Source

constraints.lisp (file)

Function: first-n-unifiable-values2 POSSIBLE-VALUES INSTANCE N
Package

km

Source

constraints.lisp (file)

Function: first-word STRING
Package

km

Source

strings.lisp (file)

Function: flatten L
Package

km

Source

utils.lisp (file)

Function: flatten-aux L &optional ACC
Package

km

Source

utils.lisp (file)

Function: flatten-set SET
Package

km

Source

kbutils.lisp (file)

Function: flatten-sets VALS
Package

km

Source

kbutils.lisp (file)

Function: flatten-to-kb-objs EXPR
Package

km

Source

frame-io.lisp (file)

Function: fluent-instance-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: fluent-instancep INSTANCE
Package

km

Source

kbutils.lisp (file)

Function: fluent-status SLOT
Package

km

Source

frame-io.lisp (file)

Function: fluentp SLOT
Package

km

Source

frame-io.lisp (file)

Function: fold STRING0 N
Package

km

Source

strings.lisp (file)

Function: fold0 STRING N
Package

km

Source

strings.lisp (file)

Function: follow-event-chain EVENT
Package

km

Source

sadl.lisp (file)

Function: follow-multidepth-path VALUES STRUCTURED-SLOT TARGET-CLASS &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: follow-multidepth-path0 VALUES SLOT DEPTH-LIMIT &key START-VALUES VALUES-SO-FAR
Package

km

Source

interpreter.lisp (file)

Function: force X
Package

km

Source

compiler.lisp (file)

Function: frame-has-something-to-say-about FRAME SLOT FACET &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: full-all-instances CLASS
Package

km

Source

frame-io.lisp (file)

Function: full-immediate-instances CLASS
Package

km

Source

frame-io.lisp (file)

Function: full-match ITEM PATTERN &key BINDINGS
Package

km

Source

minimatch.lisp (file)

Function: fully-evaluatedp CONCEPT &key IN-STRUCTURED-EXPRP
Package

km

Source

kbutils.lisp (file)

Function: gather-by-akey PAIRS &optional DICT
Package

km

Source

utils.lisp (file)

Function: gather-by-key PAIRS &optional DICT
Package

km

Source

utils.lisp (file)

Function: gather-by-key-inc-nils PAIRS &optional DICT
Package

km

Source

utils.lisp (file)

Function: gathers-by-key TUPLES &key DICT TEST
Package

km

Source

utils.lisp (file)

Function: get-all-concepts ()
Package

km

Source

loadkb.lisp (file)

Function: get-all-explanations INSTANCE0 SLOT &key SITUATION IGNORE-CLONE-CYCLES
Package

km

Source

explain.lisp (file)

Function: get-all-objects ()
Package

km

Source

loadkb.lisp (file)

Function: get-binding ()
Package

km

Source

frame-io.lisp (file)

Function: get-comment COMMENT-TAG
Package

km

Source

explain.lisp (file)

Function: get-comment-justification COMMENT-TAG TRIPLE &key SITUATION TAB DONE-TRIPLES DEPTH FORMAT
Package

km

Source

explain.lisp (file)

Function: get-comment-tags EXPR
Package

km

Source

explain.lisp (file)

Function: get-comment-tags-recursive EXPR
Package

km

Source

explain.lisp (file)

Function: get-comment2 COMMENT-TAG MODE
Package

km

Source

explain.lisp (file)

Function: get-comments EXPR
Package

km

Source

explain.lisp (file)

Function: get-explanation-data INSTANCE &key SITUATION DEREFERENCE
Package

km

Source

explain.lisp (file)

Function: get-explanations INSTANCE SLOT VAL &optional SITUATION
Package

km

Source

explain.lisp (file)

Function: get-explanations0 INSTANCE SLOT VAL &optional SITUATION
Package

km

Source

explain.lisp (file)

Function: get-explanations1 INSTANCE0 SLOT VAL0 &optional SITUATION
Package

km

Source

explain.lisp (file)

Function: get-justification &key TRIPLE SITUATION DEPTH FORMAT TAB
Package

km

Source

explain.lisp (file)

Function: get-justification0 &key TRIPLE SITUATION TAB DONE-TRIPLES DEPTH FORMAT
Package

km

Source

explain.lisp (file)

Function: get-justification1 TRIPLE &key SITUATION TAB DONE-TRIPLES DEPTH FORMAT
Package

km

Source

explain.lisp (file)

Function: get-justification2 INSTANCE SLOT VALUE &key SITUATION TAB DONE-TRIPLES DEPTH FORMAT
Package

km

Source

explain.lisp (file)

Function: get-kb ()
Package

km

Source

loadkb.lisp (file)

Function: get-rule-sets-in-situation CLASS SLOT SITUATION
Package

km

Source

frame-io.lisp (file)

Function: get-slotsvals FRAME &key FACET SITUATION DEREFERENCEP
Package

km

Source

frame-io.lisp (file)

Function: get-support-details TRIPLE &key IGNORE-CONSTRAINTSP
Package

km

Source

explain.lisp (file)

Function: get-supports TRIPLE &key IGNORE-CONSTRAINTSP
Package

km

Source

explain.lisp (file)

Function: get-unique-val FRAME SLOT &key FACET SITUATION FAIL-MODE
Package

km

Source

frame-io.lisp (file)

Function: get-vals FRAME SLOT &key FACET SITUATION DEREFERENCEP
Package

km

Source

frame-io.lisp (file)

Function: getobj NAME0 FACET
Package

km

Source

loadkb.lisp (file)

Function: gets-vals FRAMES SLOT &key FACET SITUATION DEREFERENCEP
Package

km

Source

frame-io.lisp (file)

Function: global-situation ()
Package

km

Source

frame-io.lisp (file)

Function: goal-stack ()
Package

km

Source

stack.lisp (file)

Function: grab-explanations &key EXPLANATIONS FORMAT
Package

km

Source

trace.lisp (file)

Function: grab-explanations-html ()
Package

km

Source

trace.lisp (file)

Function: grab-explanations-xml ()
Package

km

Source

trace.lisp (file)

Function: group-vals-unifiably VALS NON-UNIFIABLE-PAIRS
Package

km

Source

constraints.lisp (file)

Function: group-vals-unifiably0 VALS GROUPS-SO-FAR NON-UNIFIABLE-PAIRS
Package

km

Source

constraints.lisp (file)

Function: handle-ctrl-c-error ERROR
Package

km

Source

strings.lisp (file)

Function: handle-looping KMEXPR &key REASON
Package

km

Source

interpreter.lisp (file)

Function: has-situation-specific-info FRAME SITUATION
Package

km

Source

frame-io.lisp (file)

Function: hash-comma-reader STREAM SUBCHAR ARG
Package

km

Source

case.lisp (file)

Function: hash-dollar ()
Package

km

Source

case.lisp (file)

Function: hash-dollar-reader STREAM SUBCHAR ARG
Package

km

Source

case.lisp (file)

Function: hash-t-reader STREAM SUBCHAR ARG
Package

km

Source

case.lisp (file)

Function: hide-theory THEORY
Package

km

Source

frame-io.lisp (file)

Function: htextify CONCEPT &optional CONCEPT-PHRASE &key ACTION WINDOW
Package

km

Source

htextify.lisp (file)

Function: ignore-slot-due-to-situations-mode SLOT
Package

km

Source

frame-io.lisp (file)

Function: immediate-classes INSTANCE &key SITUATION ENFORCE-CONSTRAINTS
Package

km

Source

frame-io.lisp (file)

Function: immediate-classes-subsume-immediate-classes INSTANCE1 INSTANCE2 &key PROPERP
Package

km

Source

lazy-unify.lisp (file)

Function: immediate-classes0 INSTANCE &key SITUATION
Package

km

Source

frame-io.lisp (file)

Function: immediate-instances CLASS
Package

km

Source

frame-io.lisp (file)

Function: immediate-protoinstances CLASS
Package

km

Source

frame-io.lisp (file)

Function: immediate-prototypes CLASS
Package

km

Source

frame-io.lisp (file)

Function: immediate-subclasses CLASS
Package

km

Source

frame-io.lisp (file)

Function: immediate-subslots SLOT
Package

km

Source

frame-io.lisp (file)

Function: immediate-superclasses CLASS
Package

km

Source

frame-io.lisp (file)

Function: immediate-supersituations SITUATION
Package

km

Source

frame-io.lisp (file)

Function: immediate-superslots SLOT
Package

km

Source

frame-io.lisp (file)

Function: implode CHARLIST
Package

km

Source

strings.lisp (file)

Function: in-prototype TRIPLE
Package

km

Source

prototypes.lisp (file)

Function: in-situation SITUATION-EXPR &optional KM-EXPR THEORYP
Package

km

Source

frame-io.lisp (file)

Function: in-situation0 SITUATION-EXPR &optional KM-EXPR THEORYP
Package

km

Source

frame-io.lisp (file)

Function: in-theory THEORY-EXPR &optional KM-EXPR
Package

km

Source

frame-io.lisp (file)

Function: incompatible-instances INSTANCE1 INSTANCE2
Package

km

Source

lazy-unify.lisp (file)

Function: inconsistent-propositions PROPOSITIONS &key IN-LIST
Package

km

Source

frame-io.lisp (file)

Function: increment-inference-statistics ()
Package

km

Source

stats.lisp (file)

Function: increment-trace-depth ()
Package

km

Source

trace.lisp (file)

Function: inertial-fluentp SLOT
Package

km

Source

frame-io.lisp (file)

Function: inference-number ()
Package

km

Source

stats.lisp (file)

Function: inherit-with-overrides-slotp SLOT
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets INSTANCE SLOT &key SITUATION RETAIN-COMMENTSP CLIMB-SITUATION-HIERARCHYP IGNORE-INHERIT-WITH-OVERRIDES-RESTRICTION
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets+classes-with-overrides SLOT CLASSES ALL-SITUATIONS
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets+classes-with-overrides2 SLOT CLASS ALL-SITUATIONS
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets+classes2 SLOT CLASSES SITUATIONS
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets-on-classes CLASSES SLOT &key SITUATION RETAIN-COMMENTSP IGNORE-INHERIT-WITH-OVERRIDES-RESTRICTION
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets-with-overrides SLOT CLASSES ALL-SITUATIONS
Package

km

Source

frame-io.lisp (file)

Function: inherited-rule-sets2 SLOT CLASSES SITUATIONS
Package

km

Source

frame-io.lisp (file)

Function: inherited-rulesets+classes INSTANCE0 SLOT &key SITUATION RETAIN-COMMENTSP CLIMB-SITUATION-HIERARCHYP IGNORE-INHERIT-WITH-OVERRIDES-RESTRICTION
Package

km

Source

frame-io.lisp (file)

Function: inherited-to-instance SOURCE
Package

km

Source

explain.lisp (file)

Function: insert-delimeter LIST DELIMETER
Package

km

Source

utils.lisp (file)

Function: insert-spaces WORDS
Package

km

Source

strings.lisp (file)

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

km

Source

trace.lisp (file)

Function: install-all-subclasses ()
Package

km

Source

frame-io.lisp (file)

Function: install-inverses FRAME SLOT VALS &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: install-inverses0 INVFRAME0 INVSLOT INVVAL SLOT &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: instance-descriptionp EXPR &key FAIL-MODE
Package

km

Source

kbutils.lisp (file)

Function: instance-has-something-to-say-about INSTANCE SLOT &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: instance-of INSTANCE TARGET-CLASS &optional SITUATION
Package

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

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

km

Source

frame-io.lisp (file)

Function: internal-commentp ()
Package

km

Source

explain.lisp (file)

Function: intersects SET1 SET2
Package

km

Source

utils.lisp (file)

Function: inv-assoc KEY ASSOC-LIST &key TEST
Package

km

Source

utils.lisp (file)

Function: invert-cardinality CARDINALITY
Package

km

Source

frame-io.lisp (file)

Function: invert-inequality-relation INEQUALITY
Package

km

Source

frame-io.lisp (file)

Function: invert-predicate PREDICATE &optional ARGNUM

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

Package

km

Source

frame-io.lisp (file)

Function: invert-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: invert-type TYPE
Package

km

Source

strings.lisp (file)

Function: is X Y
Package

km

Source

subsumes.lisp (file)

Function: is-an-instance INSTANCE
Package

km

Source

kbutils.lisp (file)

Function: is-consistent VALS+CONSTRAINTS
Package

km

Source

constraints.lisp (file)

Function: is-consistent-to-assert PROPOSITION &key IN-LIST
Package

km

Source

frame-io.lisp (file)

Function: is-km-term CONCEPT
Package

km

Source

kbutils.lisp (file)

Function: is-simple-km-term CONCEPT
Package

km

Source

kbutils.lisp (file)

Function: is-subclass-of CLASS TARGET-CLASS &key PATH-SO-FAR
Package

km

Source

frame-io.lisp (file)

Function: is-subset-of LIST1 LIST2 &key TEST
Package

km

Source

utils.lisp (file)

Function: is-subslot-of SLOT TARGET-SLOT &key PATH-SO-FAR
Package

km

Source

frame-io.lisp (file)

Function: is-type CHAR TYPE
Package

km

Source

strings.lisp (file)

Function: is-user-interrupt ERROR
Package

km

Source

strings.lisp (file)

Function: is0 INSTANCE EXPR &key BINDINGS
Package

km

Source

subsumes.lisp (file)

Function: is0s PAIRS &key BINDINGS
Package

km

Source

subsumes.lisp (file)

Function: isa INSTANCE CLASS &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: isa-clone INSTANCE
Package

km

Source

prototypes.lisp (file)

Function: isa-situation-facet SITUATION
Package

km

Source

frame-io.lisp (file)

Function: isa-theory THEORY
Package

km

Source

frame-io.lisp (file)

Function: item-expanded-from EXPLN-STRUCTS &key IGNORE-PROTOTYPES
Package

km

Source

prototypes.lisp (file)

Function: item-to-stack EXPR &key TARGET
Package

km

Source

stack.lisp (file)

Function: join-binds BINDS1 BINDS2
Package

km

Source

minimatch.lisp (file)

Function: justify &optional TRIPLE-EXPR &key SITUATION DEPTH STREAM
Package

km

Source

explain.lisp (file)

Function: justify-leaf TRIPLE &key SITUATION TAB DONE-TRIPLES DEPTH FORMAT
Package

km

Source

explain.lisp (file)

Function: kb-objectp ()
Package

km

Source

kbutils.lisp (file)

Function: kb-size ()
Package

km

Source

kbutils.lisp (file)

Function: km &optional KMEXPR &key FAIL-MODE RESET-STATISTICS
Package

km

Source

interpreter.lisp (file)

Function: km-add-to-kb-object-list FNAME
Package

km

Source

loadkb.lisp (file)

Function: km-argsp ()
Package

km

Source

kbutils.lisp (file)

Function: km-assert PROPOSITION ACTION &key IN-LIST
Package

km

Source

frame-io.lisp (file)

Function: km-assertion-expr EXPR
Package

km

Source

explain.lisp (file)

Function: km-bag-equal BAG1 BAG2
Package

km

Source

kbutils.lisp (file)

Function: km-bag-equal0 BAG1 BAG2
Package

km

Source

kbutils.lisp (file)

Function: km-bagp BAG
Package

km

Source

kbutils.lisp (file)

Function: km-bind FRAME1 FRAME2
Package

km

Source

frame-io.lisp (file)

Function: km-boolean-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: km-defaultp EXPR
Package

km

Source

kbutils.lisp (file)

Function: km-equal I1 I2
Package

km

Source

kbutils.lisp (file)

Function: km-eval-print QUERY &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km-flatten VALS
Package

km

Source

frame-io.lisp (file)

Function: km-format STREAM STRING &rest ARGS
Package

km

Source

case.lisp (file)

Function: km-functionp VAL
Package

km

Source

kbutils.lisp (file)

Function: km-int KMEXPR-WITH-COMMENTS &key FAIL-MODE CHECK-FOR-LOOPING TARGET REWRITEP
Package

km

Source

interpreter.lisp (file)

Function: km-int-with-trace TRACE-EXPR KMEXPR &key FAIL-MODE CHECK-FOR-LOOPING TARGET
Package

km

Source

interpreter.lisp (file)

Function: km-multi-slotvals FRAMES0 SLOT &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km-multi-slotvals0 FRAMES SLOT
Package

km

Source

interpreter.lisp (file)

Function: km-name CONCEPT &key HTMLIFY
Package

km

Source

anglify.lisp (file)

Function: km-null KM-NIL
Package

km

Source

kbutils.lisp (file)

Function: km-pairp SEQ
Package

km

Source

kbutils.lisp (file)

Function: km-pop VARIABLE
Package

km

Source

loadkb.lisp (file)

Function: km-propertyp PROPERTY
Package

km

Source

loadkb.lisp (file)

Function: km-push VALUE VARIABLE
Package

km

Source

loadkb.lisp (file)

Function: km-put-list ()
Package

km

Source

loadkb.lisp (file)

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

km

Source

interpreter.lisp (file)

Function: km-remove-from-kb-object-list FNAME
Package

km

Source

loadkb.lisp (file)

Function: km-remprop SYMBOL PROPERTY
Package

km

Source

loadkb.lisp (file)

Function: km-remprops SYMBOL
Package

km

Source

loadkb.lisp (file)

Function: km-seq-equal SEQ1 SEQ2
Package

km

Source

kbutils.lisp (file)

Function: km-seq-equal0 SEQ1 SEQ2
Package

km

Source

kbutils.lisp (file)

Function: km-seqp SEQ
Package

km

Source

kbutils.lisp (file)

Function: km-set-equal SET1 SET2
Package

km

Source

kbutils.lisp (file)

Function: km-setf SYMBOL PROPERTY VALUE
Package

km

Source

loadkb.lisp (file)

Function: km-setp SET
Package

km

Source

kbutils.lisp (file)

Function: km-setq VARIABLE VALUE
Package

km

Source

loadkb.lisp (file)

Function: km-slotvals FRAME SLOT &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km-slotvals-from-kb INSTANCE0 SLOT &key FAIL-MODE &aux N
Package

km

Source

get-slotvals.lisp (file)

Function: km-slotvals-via-projection INSTANCE SLOT
Package

km

Source

get-slotvals.lisp (file)

Function: km-slotvals2 FRAME SLOT &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km-structured-list-valp VAL
Package

km

Source

kbutils.lisp (file)

Function: km-symbol-plist SYMBOL
Package

km

Source

loadkb.lisp (file)

Function: km-tagp TAG
Package

km

Source

kbutils.lisp (file)

Function: km-trace MODE STRING &rest ARGS
Package

km

Source

trace.lisp (file)

Function: km-trace2 MODE STRING ARGS &key STREAM
Package

km

Source

trace.lisp (file)

Function: km-triplep TRIPLE
Package

km

Source

kbutils.lisp (file)

Function: km-unintern CONCEPT
Package

km

Source

loadkb.lisp (file)

Function: km-unique KMEXPR &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km-unique-int KMEXPR &key FAIL-MODE TARGET REWRITEP
Package

km

Source

interpreter.lisp (file)

Function: km-unique0 KMEXPR &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km-varp VAR
Package

km

Source

kbutils.lisp (file)

Function: km-version-bits-greater-than V1-BITS V2-BITS
Package

km

Source

loadkb.lisp (file)

Function: km-version-greater-than V1 V2
Package

km

Source

loadkb.lisp (file)

Function: km0 &optional KMEXPR &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: km1 KMEXPR KMEXPR-WITH-COMMENTS &key FAIL-MODE TARGET REWRITEP
Package

km

Source

interpreter.lisp (file)

Function: known-frame FNAME
Package

km

Source

loadkb.lisp (file)

Function: last-but-n-char STRING N
Package

km

Source

strings.lisp (file)

Function: last-but-one-el LIST
Package

km

Source

utils.lisp (file)

Function: last-char STRING
Package

km

Source

strings.lisp (file)

Function: last-el LIST
Package

km

Source

utils.lisp (file)

Function: last-member ITEM LIST &key TEST
Package

km

Source

utils.lisp (file)

Function: last-word STRING
Package

km

Source

strings.lisp (file)

Function: lazy-unify INSTANCENAME1 INSTANCENAME2 &key CLASSES-SUBSUMEP EAGERLYP CHECK-CONSTRAINTSP FAIL-MODE
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-&-expr EXPR &key JOINER FAIL-MODE TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-&-expr0 EXPR &key JOINER FAIL-MODE TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-&-expr1 EXPR &key JOINER FAIL-MODE TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-expr-sets EXPRS1 EXPRS2 &key EAGERLYP FAIL-MODE TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-exprs X Y &key EAGERLYP CLASSES-SUBSUMEP FAIL-MODE TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-sets SET1 SET2 &key EAGERLYP TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-sets2 ORDERED-SCORED-PAIRS SET1 SET2 &key EAGERLYP TARGET
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-slotsvals I1 I2 SVS1 SVS2 &key CS1 CS2 CLASSES-SUBSUMEP EAGERLYP CHECK-CONSTRAINTSP FAIL-MODE
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify-vals SLOT I1 I2 VS1 VS2 &key CS1 CS2 CLASSES-SUBSUMEP EAGERLYP
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify0 INSTANCENAME1 INSTANCENAME2 &key CLASSES-SUBSUMEP EAGERLYP CHECK-CONSTRAINTSP FAIL-MODE
Package

km

Source

lazy-unify.lisp (file)

Function: lazy-unify2 INSTANCE1 INSTANCE2 &key CLASSES-SUBSUMEP EAGERLYP CHECK-CONSTRAINTSP FAIL-MODE
Package

km

Source

lazy-unify.lisp (file)

Function: left-of STRING SUBSTRING &key FROM-END
Package

km

Source

strings.lisp (file)

Function: licence ()
Package

km

Source

licence.lisp (file)

Function: license ()
Package

km

Source

licence.lisp (file)

Function: list-defined-subclasses CLASS
Package

km

Source

writer.lisp (file)

Function: list-definitions &optional TOP-CLASS
Package

km

Source

writer.lisp (file)

Function: list-definitions-for-class CLASS SUPERCLASS
Package

km

Source

writer.lisp (file)

Function: list-definitions-for-prototype PROTOTYPE SUPERCLASS
Package

km

Source

writer.lisp (file)

Function: list-intersection LIST
Package

km

Source

utils.lisp (file)

Function: list-needs-dereferencing LIST
Package

km

Source

frame-io.lisp (file)

Function: list-to-lines STRINGS &optional REVERSE-LINE-BITS-SO-FAR
Package

km

Source

strings.lisp (file)

Function: list-to-lines-with-size-limit STRINGS &key MAX-DOCUMENT-SIZE
Package

km

Source

strings.lisp (file)

Function: list-to-lines-with-size-limit0 STRINGS &key MAX-DOCUMENT-SIZE LENGTH-SO-FAR REVERSE-LINE-BITS-SO-FAR
Package

km

Source

strings.lisp (file)

Function: listify ATOM
Package

km

Source

utils.lisp (file)

Function: listify-if-there X
Package

km

Source

utils.lisp (file)

Function: load-b FILE
Package

km

Source

loadkb.lisp (file)

Function: load-expr EXPR STREAM &optional VERBOSE RENAMING-ALIST EVAL-INSTANCES LOAD-PATTERNS
Package

km

Source

loadkb.lisp (file)

Function: load-exprs EXPR STREAM &optional VERBOSE RENAMING-ALIST EVAL-INSTANCES LOAD-PATTERNS
Package

km

Source

loadkb.lisp (file)

Function: load-kb FILE &key VERBOSE WITH-MORPHISM EVAL-INSTANCES LOAD-PATTERNS PRINT-STATISTICS SILENTP
Package

km

Source

loadkb.lisp (file)

Function: load-newest-kb FILE &key RESET-KB VERBOSE WITH-MORPHISM EVAL-INSTANCES LOAD-PATTERNS
Package

km

Source

loadkb.lisp (file)

Function: load-triples FILE
Package

km

Source

loadkb.lisp (file)

Function: load-triples0 TRIPLES
Package

km

Source

loadkb.lisp (file)

Function: local-constraints INSTANCE SLOT &key SITUATION
Package

km

Source

frame-io.lisp (file)

Function: log-undo-command COMMAND
Package

km

Source

loadkb.lisp (file)

Function: looping-on EXPR
Package

km

Source

stack.lisp (file)

Function: make-assertions INSTANCE &optional SLOTSVALS
Package

km

Source

frame-io.lisp (file)

Function: make-comment STRING &rest ARGS
Package

km

Source

trace.lisp (file)

Function: make-delay &key (VALUE VALUE) (FUNCTION FUNCTION)
Package

km

Source

compiler.lisp (file)

Function: make-new-situation ()
Package

km

Source

frame-io.lisp (file)

Function: make-phrase TEXT &key HTMLIFY
Package

km

Source

anglify.lisp (file)

Function: make-sentence TEXT &key CAPITALIZE TERMINATOR HTMLIFY
Package

km

Source

anglify.lisp (file)

Function: make-slotvals SLOT VALS
Package

km

Source

frame-io.lisp (file)

Function: make-source CLASS
Package

km

Source

explain.lisp (file)

Function: make-tax &optional CURRENT-NODE RELATION-TO-DESCEND HTMLIFY
Package

km

Source

taxonomy.lisp (file)

Function: make-tax0 CURRENT-NODE RELATION-TO-DESCEND &optional HTMLIFY NODES-DONE TAB
Package

km

Source

taxonomy.lisp (file)

Function: make-taxes CURRENT-NODES RELATION-TO-DESCEND &optional HTMLIFY NODES-DONE TAB
Package

km

Source

taxonomy.lisp (file)

Function: map-recursive FUNCTION TREE
Package

km

Source

utils.lisp (file)

Function: mapchar FUNCTION STRING
Package

km

Source

strings.lisp (file)

Function: maybe-project-value PROJECTED-VALUES LOCAL-VALUES SLOT INSTANCE N-SOURCES
Package

km

Source

get-slotvals.lisp (file)

Function: member-equal ITEM LIST
Package

km

Source

utils.lisp (file)

Function: merge-cached-explanations I1 I2
Package

km

Source

explain.lisp (file)

Function: merge-code A B
Package

km

Source

compiler.lisp (file)

Function: merge-explanations I1 I2
Package

km

Source

explain.lisp (file)

Function: merge-prototype-vals SLOT I1 I2 VS1 VS2
Package

km

Source

lazy-unify.lisp (file)

Function: merge-slotsvals INSTANCE SOURCE-SITN TARGET-SITN &key CLASSES-SUBSUMEP FACET
Package

km

Source

lazy-unify.lisp (file)

Function: mergeable A B
Package

km

Source

compiler.lisp (file)

Function: might-be-member INSTANCE PARENT
Package

km

Source

frame-io.lisp (file)

Function: might-have-slotsvals INSTANCE DEFN-SLOTSVALS
Package

km

Source

frame-io.lisp (file)

Function: minimatch ITEM PATTERN
Package

km

Source

minimatch.lisp (file)

Function: minimatch1 ITEM PATTERN
Package

km

Source

minimatch.lisp (file)

Function: modify-set-explanation EXPR
Package

km

Source

explain.lisp (file)

Function: most-general-first CLASSES &key LOOPING-AT
Package

km

Source

frame-io.lisp (file)

Function: most-specific-first CLASSES
Package

km

Source

frame-io.lisp (file)

Function: most-specific-prototype-scopes-first PROTOROOTS
Package

km

Source

frame-io.lisp (file)

Function: multiple-value-mapcar FUNCTION LIST
Package

km

Source

utils.lisp (file)

Function: multiple-value-some FN ARG-LIST
Package

km

Source

utils.lisp (file)

Function: multivalued-slotp SLOT
Package

km

Source

frame-io.lisp (file)

Function: mv-minimatch ITEM PATTERN
Package

km

Source

minimatch.lisp (file)

Function: mv-string-match STRING PATTERN &key CASE-SENSITIVEP
Package

km

Source

minimatch.lisp (file)

Function: my-concat STRINGS
Package

km

Source

strings.lisp (file)

Function: my-mapcan FUNCTION ARGS
Package

km

Source

utils.lisp (file)

Function: my-parse-integer STRING
Package

km

Source

utils.lisp (file)

Function: named-instancep INSTANCE
Package

km

Source

kbutils.lisp (file)

Function: needs-dereferencing FRAME
Package

km

Source

frame-io.lisp (file)

Function: neq A B
Package

km

Source

utils.lisp (file)

Function: new-context ()
Package

km

Source

stack.lisp (file)

Function: new-scan-to STRING &key DELIMETER-CHARS
Package

km

Source

strings.lisp (file)

Function: new-scan-to0 DELIMETER-CHARS STRING M N NMAX POLARITY
Package

km

Source

strings.lisp (file)

Function: new-situation ()
Package

km

Source

frame-io.lisp (file)

Function: next-checkpoint ()
Package

km

Source

loadkb.lisp (file)

Function: next-event EVENT
Package

km

Source

sadl.lisp (file)

Function: next-situation ACTION &key NEXT-SITUATION
Package

km

Source

frame-io.lisp (file)

Function: next-situations SITUATION
Package

km

Source

frame-io.lisp (file)

Function: nlist NMAX &optional N
Package

km

Source

utils.lisp (file)

Function: no-explanations ()
Package

km

Source

explain.lisp (file)

Function: no-following-spaces CHAR
Package

km

Source

anglify.lisp (file)

Function: no-preceeding-spaces CHAR
Package

km

Source

anglify.lisp (file)

Function: no-reserved-keywords VALS
Package

km

Source

interpreter.lisp (file)

Function: no-sanity-checks ()
Package

km

Source

constraints.lisp (file)

Function: nocomments ()
Package

km

Source

trace.lisp (file)

Function: node-cloned-from F
Package

km

Source

prototypes.lisp (file)

Function: node-cloned-from* F &key DONE
Package

km

Source

prototypes.lisp (file)

Function: node-cloned-from-originally F
Package

km

Source

prototypes.lisp (file)

Function: node-cloned-to F
Package

km

Source

prototypes.lisp (file)

Function: node-expanded-from NODE0 &key IGNORE-PROTOTYPES
Package

km

Source

prototypes.lisp (file)

Function: nodes-cloned-to NODES0 &key CLONES-OF-INTEREST
Package

km

Source

prototypes.lisp (file)

Function: nodes-cloned-to0 NODES0 &key CLONES-OF-INTEREST
Package

km

Source

prototypes.lisp (file)

Function: non-constraint-exprp EXPR
Package

km

Source

kbutils.lisp (file)

Function: non-inverse-recording-concept CONCEPT
Package

km

Source

frame-io.lisp (file)

Function: non-inverse-recording-slot SLOT
Package

km

Source

frame-io.lisp (file)

Function: non-unifiable-pairs VALS
Package

km

Source

constraints.lisp (file)

Function: nonessentials-in ISV-EXPLANATION &key ESSENTIALS
Package

km

Source

loadkb.lisp (file)

Function: nonessentials-in-expr EXPR &key ESSENTIALS
Package

km

Source

loadkb.lisp (file)

Function: nor A B
Package

km

Source

utils.lisp (file)

Function: note-are-constraints ()
Package

km

Source

constraints.lisp (file)

Function: note-done FRAME SLOT &optional SITUATION
Package

km

Source

frame-io.lisp (file)

Function: now ()
Package

km

Source

strings.lisp (file)

Function: nowexists FRAME
Package

km

Source

frame-io.lisp (file)

Function: nowexists-val FRAME &key SITUATION
Package

km

Source

frame-io.lisp (file)

Function: nreplace LIST N NEW
Package

km

Source

utils.lisp (file)

Function: number-eq N1 N2
Package

km

Source

utils.lisp (file)

Function: number-stringp STRING
Package

km

Source

strings.lisp (file)

Function: numeric-char-p CHAR
Package

km

Source

utils.lisp (file)

Function: obj-stack ()
Package

km

Source

stack.lisp (file)

Function: objwrite EXPR &optional HTMLIFY
Package

km

Source

writer.lisp (file)

Function: objwrite2 EXPR HTMLIFY &key ACTION WINDOW
Package

km

Source

writer.lisp (file)

Function: odd-elements LIST
Package

km

Source

utils.lisp (file)

Function: on-error ()
Package

km

Source

trace.lisp (file)

Function: on-goal-stackp EXPR
Package

km

Source

stack.lisp (file)

Function: oneof-where VAR SET TEST
Package

km

Source

interpreter.lisp (file)

Function: ordered-count LIST
Package

km

Source

utils.lisp (file)

Function: ordered-gather-by-key PAIRS &key REMOVE-DUPLICATES
Package

km

Source

utils.lisp (file)

Function: ordered-intersection LIST SET &key TEST
Package

km

Source

utils.lisp (file)

Function: ordered-set-difference LIST SET &key TEST
Package

km

Source

utils.lisp (file)

Function: orify VALS
Package

km

Source

strings.lisp (file)

Function: originated-from-class SOURCE
Package

km

Source

explain.lisp (file)

Function: originated-from-classes EXPR
Package

km

Source

explain.lisp (file)

Function: orphanp CONCEPT
Package

km

Source

kbutils.lisp (file)

Function: orphans ()
Package

km

Source

frame-io.lisp (file)

Function: own-rule-sets INSTANCE SLOT &key RETAIN-COMMENTSP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: pair-filter VALS &optional SELECTED-SO-FAR
Package

km

Source

constraints.lisp (file)

Function: pair-less-than PAIR1 PAIR2
Package

km

Source

utils.lisp (file)

Function: pair-to-list PAIR
Package

km

Source

kbutils.lisp (file)

Function: pairp THING
Package

km

Source

utils.lisp (file)

Function: partition SEQUENCE FUNCTION
Package

km

Source

utils.lisp (file)

Function: path-to-existential-expr PATH &optional PREP
Package

km

Source

subsumes.lisp (file)

Function: path-to-existential-expr2 PATH EMBEDDED-UNIT PREP
Package

km

Source

subsumes.lisp (file)

Function: pathp PATH
Package

km

Source

kbutils.lisp (file)

Function: pause ()
Package

km

Source

strings.lisp (file)

Function: pending-equality X0 Y0
Package

km

Source

stack.lisp (file)

Function: permutations LIST
Package

km

Source

utils.lisp (file)

Function: permutations0 LIST
Package

km

Source

utils.lisp (file)

Function: permute LIST-OF-LISTS
Package

km

Source

utils.lisp (file)

Function: permute-clonesets SETS
Package

km

Source

prototypes.lisp (file)

Function: point-parents-to-defined-concept FRAME PARENTS FACET &key SIMPLE-CLASSP
Package

km

Source

frame-io.lisp (file)

Function: pop-from-goal-stack ()
Package

km

Source

stack.lisp (file)

Function: port-to-package TREE &key PACKAGE
Package

km

Source

utils.lisp (file)

Function: prev-situation SITUATION &optional INSTANCE
Package

km

Source

frame-io.lisp (file)

Function: prev-situation-with-vals SITUATION INSTANCE SLOT
Package

km

Source

frame-io.lisp (file)

Function: print-km-prompt &optional STREAM
Package

km

Source

interpreter.lisp (file)

Function: print-list LIST
Package

km

Source

utils.lisp (file)

Function: print-slot-exprs SLOT ALL-RULE-SETS JOINER &key FIRST-TIME-THROUGH
Package

km

Source

stack.lisp (file)

Function: print-trace-message MODE STRING ARGS &key STREAM
Package

km

Source

trace.lisp (file)

Function: print-trace-options ()
Package

km

Source

trace.lisp (file)

Function: process-km1-result ANSWER KMEXPR KMEXPR-WITH-COMMENTS &key FAIL-MODE TARGET HANDLER-PATTERN REWRITEP
Package

km

Source

interpreter.lisp (file)

Function: process-load-expression LOAD-EXPR0
Package

km

Source

interpreter.lisp (file)

Function: process-unquotes EXPR &key FAIL-MODE
Package

km

Source

interpreter.lisp (file)

Function: profile-call KMEXPR
Package

km

Source

stats.lisp (file)

Function: profile-exit KMEXPR
Package

km

Source

stats.lisp (file)

Function: profile-report &optional N
Package

km

Source

stats.lisp (file)

Function: profile-reset ()
Package

km

Source

stats.lisp (file)

Function: projectable SLOT INSTANCE
Package

km

Source

get-slotvals.lisp (file)

Function: projected-classes INSTANCE SITUATION LOCAL-CLASSES-AND-CONSTRAINTS
Package

km

Source

frame-io.lisp (file)

Function: proper-listp LIST
Package

km

Source

utils.lisp (file)

Function: protoinstancep CONCEPT
Package

km

Source

prototypes.lisp (file)

Function: protorootp CONCEPT
Package

km

Source

prototypes.lisp (file)

Function: prototype-classes NODE-OR-TRIPLE0
Package

km

Source

prototypes.lisp (file)

Function: prototype-constraints+sources INSTANCE SLOT &key IGNORE-PROTOTYPES
Package

km

Source

frame-io.lisp (file)

Function: prototype-merge-expr1 SLOT I1 I2 VS1 VS2 &key SOURCE-PROTOROOTS
Package

km

Source

lazy-unify.lisp (file)

Function: prototype-merge-expr2 ORDERED-SCORED-PAIRS VS1 VS2 I1 I2 SLOT
Package

km

Source

lazy-unify.lisp (file)

Function: prototypep CONCEPT
Package

km

Source

prototypes.lisp (file)

Function: push-to-goal-stack EXPR &key TARGET
Package

km

Source

stack.lisp (file)

Function: push-to-obj-stack INSTANCE
Package

km

Source

stack.lisp (file)

Function: put-explanation-data INSTANCE ISV-EXPLANATIONS &key SITUATION
Package

km

Source

explain.lisp (file)

Function: put-explanations INSTANCE SLOT ISV-EXPLANATIONS &key SITUATION
Package

km

Source

explain.lisp (file)

Function: put-kb KB &key UNINTERN-SYMBOLS
Package

km

Source

loadkb.lisp (file)

Function: put-list ()
Package

km

Source

loadkb.lisp (file)

Function: put-slotsvals FRAME SLOTSVALS &key FACET INSTALL-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: put-vals INSTANCE SLOT VALS0 &key FACET INSTALL-INVERSESP SITUATION
Package

km

Source

frame-io.lisp (file)

Function: putobj FNAME SLOTSVALS FACET
Package

km

Source

loadkb.lisp (file)

Function: quadruplep LIST
Package

km

Source

utils.lisp (file)

Function: quoted-descriptionp EXPR
Package

km

Source

kbutils.lisp (file)

Function: quoted-expressionp EXPR
Package

km

Source

kbutils.lisp (file)

Function: quotep EXPR
Package

km

Source

utils.lisp (file)

Function: quotify ITEM
Package

km

Source

utils.lisp (file)

Function: raise-participant PARTICIPANT
Package

km

Source

prototypes.lisp (file)

Function: raise-prototype PROTOTYPE
Package

km

Source

prototypes.lisp (file)

Function: ranges-of SLOT
Package

km

Source

frame-io.lisp (file)

Function: rank-sort LIST FUNCTION
Package

km

Source

utils.lisp (file)

Function: rank-unification I1 I2 &key CLONED-FROM-SOURCES
Package

km

Source

lazy-unify.lisp (file)

Function: read-and-print FILE
Package

km

Source

utils.lisp (file)

Function: read-and-print2 STREAM
Package

km

Source

utils.lisp (file)

Function: read-file FILE &optional TYPE
Package

km

Source

utils.lisp (file)

Function: read-file-array FILE &key ELEMENT-TYPE
Package

km

Source

utils.lisp (file)

Function: read-file-bytes FILE &key ELEMENT-TYPE
Package

km

Source

utils.lisp (file)

Function: read-file-chars FILE
Package

km

Source

utils.lisp (file)

Function: read-file-exprs FILE
Package

km

Source

utils.lisp (file)

Function: read-file-lines FILE
Package

km

Source

utils.lisp (file)

Function: read-file-string FILE
Package

km

Source

utils.lisp (file)

Function: read-to STRING CHARS
Package

km

Source

strings.lisp (file)

Function: read-to2 STRING CHARS
Package

km

Source

strings.lisp (file)

Function: record-explanation-for TARGET VAL EXPR0 &key SITUATION IGNORE-CLONE-CYCLES
Package

km

Source

explain.lisp (file)

Function: record-explanation-later EXPR
Package

km

Source

explain.lisp (file)

Function: recursive-find ITEM TREE
Package

km

Source

utils.lisp (file)

Function: recursive-ruleset INSTANCE SLOT RULESET
Package

km

Source

get-slotvals.lisp (file)

Function: reify-existentials-in-expr EXPR
Package

km

Source

get-slotvals.lisp (file)

Function: reify-existentials-in-rule-set RULE-SET
Package

km

Source

get-slotvals.lisp (file)

Function: reify-existentials-in-rule-sets RULE-SETS
Package

km

Source

get-slotvals.lisp (file)

Function: reload-kb FILE &key VERBOSE WITH-MORPHISM EVAL-INSTANCES LOAD-PATTERNS
Package

km

Source

loadkb.lisp (file)

Function: remove-assoc-entry KEY ASSOC-LIST
Package

km

Source

utils.lisp (file)

Function: remove-clone-cycles EXPLANATION-STRUCTS
Package

km

Source

prototypes.lisp (file)

Function: remove-cloned-from-explanations ISV-EXPLANATIONS PROTOROOT
Package

km

Source

explain.lisp (file)

Function: remove-cloned-from-explns EXPLANATIONS
Package

km

Source

explain.lisp (file)

Function: remove-constraints VALS
Package

km

Source