The km Reference Manual
Table of Contents
The km Reference Manual
This is the km Reference Manual, version 2.5.33,
generated automatically by Declt version 3.0 "Montgomery Scott"
on Tue Dec 22 13:57:14 2020 GMT+0.
1 Introduction
;;; KM - The Knowledge Machine - Build Date: Tue Apr 19 14:20:01 PDT 2011
#|
======================================================================
KM - THE KNOWLEDGE MACHINE - INFERENCE ENGINE 2.5.33
======================================================================
This software is released under the Simplified BSD Licence (below). If you would like a
copy of this software issued under a different license please contact the authors.
======================================================================
Copyright (c) 1994-2011 Peter Clark and Bruce Porter. All rights reserved.
Redistribution and use in source and binary forms, with or without modification, are
permitted provided that the following conditions are met:
1. Redistributions of source code must retain the above copyright notice, this list of
conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright notice, this list
of conditions and the following disclaimer in the documentation and/or other materials
provided with the distribution.
THIS SOFTWARE IS PROVIDED BY PETER CLARK AND BRUCE PORTER ``AS IS'' AND ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL PETER CLARK AND BRUCE PORTER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
The views and conclusions contained in the software and documentation are those of the
authors and should not be interpreted as representing official policies, either expressed
or implied, of Peter Clark and Bruce Porter.
Contact information:
Peter Clark (peterc@vulcan.com)
Bruce Porter (porter@cs.utexas.edu)
======================================================================
The source code, manuals, and a test suite of examples for the most
recent version of KM are available at
http://www.cs.utexas.edu/users/mfkb/km/
Check this site for RELEASE NOTES and the CURRENT VERSION of KM.
======================================================================
USING THIS FILE:
======================================================================
Save this file as (say) km.lisp, then load it into your favorite Lisp
environment:
% lisp
> (load "km")
For greatly increased efficiency, make a compiled version of this file:
% lisp
> (compile-file "km")
> (load "km")
will load the faster, compiled version in future.
[Note: you no longer need to pre-load km.lisp before compiling,
as described in the manual]
To start the query interpreter running, type (km):
> (km)
KM>
See the User Manual and Reference Manual for instructions on using KM,
and building knowledge bases. The manuals are available at:
http://www.cs.utexas.edu/users/mfkb/km/
======================================================================
READING/EDITING THE SOURCE:
======================================================================
The following file is a machine-built concatenation of the various files
in the KM inference system. It can be loaded or compiled directly into
Lisp, deconcatenation is not necessary for running KM.
Although you can read/edit the below code all in this one file, it is
very large and unweildy; you may prefer to break it up into the
(approx 20) constituent files which it comprises. You can break it up
either manually, looking for the ";;; FILE: " headers
below which denote the start of different files in this concatenation,
OR use the Perl unpacker below which automatically cut this big file
into its consistutent files.
Peter Clark
peterclark425@gmail.com
======================================================================
DISASSEMBLING THIS CONCATENATION INTO ITS CONSTITUENT FILES:
======================================================================
Note you don't have to disassemble km.lisp to use KM. However, if you
want to read/edit the code, you might find it helpful to break it up into
individual files.
If you do disassmble the files, then the single file loadme.lisp contains
(commented out) load commands to load all the other constituent files, for
your convenience. (Don't forget to uncomment the load commands in this file).
If you don't disassemble the files and just work with km.lisp, then you can
ignore all of this.
Option 1. (For Emacs users)
[Thanks to Joe Corneli for this piece of code!]
[(1) Ignore end-of-line whitespace - thanks to Nate Blaylock]
[(2) Thanks to Dan Tecuci pointing out "-" needs to be the last character in
the regexp, otherwise it has the meaning of a character range delimeter.]
(save-excursion
(let ((case-fold-search nil))
(goto-char (point-min))
; (while (re-search-forward "^;;; FILE: +\\(.*\\)" nil t) [see (1) above]
; (while (re-search-forward "^;;; FILE: +\\([a-zA-Z-\\._]+\\)" nil t) [(2)]
(while (re-search-forward "^;;; FILE: +\\([a-zA-Z\\._-]+\\)" nil t)
(let* ((matched (match-string 1))
(beg (match-beginning 0))
(end (or (save-excursion
(when (search-forward-regexp "^;;; FILE: +.*" nil t)
(match-beginning 0)))
(point-max)))
(str (buffer-substring beg end)))
(with-temp-file matched
(save-excursion (insert str))
(next-line 1)
; uncomment the below lines if you want KM files to have KM package declaration
(insert (concat "(unless (find-package :km) (make-package :km :use '(:common-lisp)))\n"
"(in-package :km)\n"))
)))))
^ position cursor behind the emacs lisp expression above and
run M-x eval-last-sexp
Option 2. (For non-Emacs users)
1. cut and paste the short Perl script below to a file, eg called
"disassemble"
2. Make sure the first line is
#!/usr/local/bin/perl
and edit this path /usr/local/bin/perl as needed to point to the
local version of Perl.
3. Make the file executable:
% chmod a+x disassemble
4. Now disassemble km.lisp:
% disassemble km.lisp
This will populate the current directory with the approx. 20 Lisp files
constituting the KM system.
------------------------------ cut here ------------------------------
#!/usr/local/bin/perl
# Splits file with internal file markers of the form:
# ;;; FILE:
# into individual files in the current directory.
# Outputs to stdout information about processing.
# require 5.0;
$lineno = 0 ;
if ($#ARGV != 0) { die "Usage: $0 filename.";} # 1 and only 1 arg
$fn = shift(@ARGV);
open(PACKED, "<$fn") || die "Could not open file $fn\n ";
$_ = ; $lineno += 1; # Read first line, and count it
chop;
($junk, $outfile) = split (/:/);
unless ($junk != /^;;; FILE/o) {
die "Missing file tag ;;; FILE: Line number $lineno."
}
# Open file for writing
unless (open (OUTFILE, ">$outfile")) {
die "Could not open file $outfile for writing.";
}
print "$outfile created\n";
while () {
$lineno += 1;
($junk, $outfile) = split (/:/);
if ($junk =~ /^;;; FILE/o) {
close (OUTFILE);
chop($outfile);
unless (open (OUTFILE, ">$outfile")) {
die "Could not open file $outfile for writing. Line number $lineno.";
}
print "$outfile created\n";
# uncomment the below line if you want KM files to have KM package declaration
print (OUTFILE "\n(unless (find-package :km) (make-package :km :use '(:common-lisp)))\n");
print (OUTFILE "(in-package :km)\n");
}
else {
print (OUTFILE $_);
}
}
close(PACKED);
close(OUTFILE);
print "Completed without errors. Processed $lineno lines of input from $fn.\n";
------------------------------ cut here ------------------------------
|#
2 Systems
The main system appears first, followed by any subsystem dependency.
2.1 km
- Author
Peter Clark
- License
GNU Lesser General Public Licence
- Description
THE KNOWLEDGE MACHINE - INFERENCE ENGINE
- Long Description
KM knowledge representation language. KM is a powerful, frame-based language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism.
- Version
2.5.33
- Source
km.asd (file)
- Components
-
3 Files
Files are sorted by type and then listed depth-first from the systems
components trees.
3.1 Lisp
3.1.1 km.asd
- Location
km.asd
- Systems
km (system)
- Packages
km
3.1.2 km/header.lisp
- Parent
km (system)
- Location
header.lisp
- Internal Definitions
-
3.1.3 km/htextify.lisp
- Dependency
header.lisp (file)
- Parent
km (system)
- Location
htextify.lisp
- Internal Definitions
htextify (function)
3.1.4 km/case.lisp
- Dependency
htextify.lisp (file)
- Parent
km (system)
- Location
case.lisp
- Internal Definitions
-
3.1.5 km/interpreter.lisp
- Dependency
case.lisp (file)
- Parent
km (system)
- Location
interpreter.lisp
- Internal Definitions
-
3.1.6 km/get-slotvals.lisp
- Dependency
interpreter.lisp (file)
- Parent
km (system)
- Location
get-slotvals.lisp
- Internal Definitions
-
3.1.7 km/frame-io.lisp
- Dependency
get-slotvals.lisp (file)
- Parent
km (system)
- Location
frame-io.lisp
- Internal Definitions
-
3.1.8 km/trace.lisp
- Dependency
frame-io.lisp (file)
- Parent
km (system)
- Location
trace.lisp
- Internal Definitions
-
3.1.9 km/lazy-unify.lisp
- Dependency
trace.lisp (file)
- Parent
km (system)
- Location
lazy-unify.lisp
- Internal Definitions
-
3.1.10 km/constraints.lisp
- Dependency
lazy-unify.lisp (file)
- Parent
km (system)
- Location
constraints.lisp
- Internal Definitions
-
3.1.11 km/explain.lisp
- Dependency
constraints.lisp (file)
- Parent
km (system)
- Location
explain.lisp
- Internal Definitions
-
3.1.12 km/kbutils.lisp
- Dependency
explain.lisp (file)
- Parent
km (system)
- Location
kbutils.lisp
- Internal Definitions
-
3.1.13 km/stack.lisp
- Dependency
kbutils.lisp (file)
- Parent
km (system)
- Location
stack.lisp
- Internal Definitions
-
3.1.14 km/stats.lisp
- Dependency
stack.lisp (file)
- Parent
km (system)
- Location
stats.lisp
- Internal Definitions
-
3.1.15 km/sadl.lisp
- Dependency
stats.lisp (file)
- Parent
km (system)
- Location
sadl.lisp
- Internal Definitions
-
3.1.16 km/anglify.lisp
- Dependency
sadl.lisp (file)
- Parent
km (system)
- Location
anglify.lisp
- Internal Definitions
-
3.1.17 km/writer.lisp
- Dependency
anglify.lisp (file)
- Parent
km (system)
- Location
writer.lisp
- Internal Definitions
-
3.1.18 km/taxonomy.lisp
- Dependency
writer.lisp (file)
- Parent
km (system)
- Location
taxonomy.lisp
- Internal Definitions
-
3.1.19 km/subsumes.lisp
- Dependency
taxonomy.lisp (file)
- Parent
km (system)
- Location
subsumes.lisp
- Internal Definitions
-
3.1.20 km/prototypes.lisp
- Dependency
subsumes.lisp (file)
- Parent
km (system)
- Location
prototypes.lisp
- Internal Definitions
-
3.1.21 km/loadkb.lisp
- Dependency
prototypes.lisp (file)
- Parent
km (system)
- Location
loadkb.lisp
- Internal Definitions
-
3.1.22 km/minimatch.lisp
- Dependency
loadkb.lisp (file)
- Parent
km (system)
- Location
minimatch.lisp
- Internal Definitions
-
3.1.23 km/utils.lisp
- Dependency
minimatch.lisp (file)
- Parent
km (system)
- Location
utils.lisp
- Internal Definitions
-
3.1.24 km/strings.lisp
- Dependency
utils.lisp (file)
- Parent
km (system)
- Location
strings.lisp
- Internal Definitions
-
3.1.25 km/compiler.lisp
- Dependency
strings.lisp (file)
- Parent
km (system)
- Location
compiler.lisp
- Internal Definitions
-
3.1.26 km/compiled-handlers.lisp
- Dependency
compiler.lisp (file)
- Parent
km (system)
- Location
compiled-handlers.lisp
- Internal Definitions
compiled-km-handler-function (function)
3.1.27 km/licence.lisp
- Dependency
compiled-handlers.lisp (file)
- Parent
km (system)
- Location
licence.lisp
- Internal Definitions
-
3.1.28 km/initkb.lisp
- Dependency
licence.lisp (file)
- Parent
km (system)
- Location
initkb.lisp
4 Packages
Packages are listed by definition order.
4.1 km
- Source
km.asd
- Use List
- asdf/interface
- common-lisp
- Internal Definitions
-
5 Definitions
Definitions are sorted by export status, category, package, and then by
lexicographic order.
5.1 Internal definitions
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)
-
- 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)
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)
-
- 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)
-
- 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)
-
- 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)
-
- 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)
-
- Package
km
- Source
explain.lisp (file)
-
- 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)
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)
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)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- 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)
-
- Package
km
- Source
explain.lisp (file)
-
- 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)
-
- 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)
-
- Package
km
- Source
explain.lisp (file)
-
- 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)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- 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)
-
- Package
km
- Source
kbutils.lisp (file)
-
- 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)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
-
- 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)
-
- 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)
-
- 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)
-
- 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
kbutils.lisp (file)
- Function: remove-delimeters LIST
-
- Package
km
- Source
strings.lisp (file)
- Function: remove-doublequotes STRING &key NIL-IF-MISSING
-
- Package
km
- Source
strings.lisp (file)
- Function: remove-dup-atomic-instances INSTANCES
-
- Package
km
- Source
kbutils.lisp (file)
- Function: remove-dup-instances INSTANCES
-
- Package
km
- Source
kbutils.lisp (file)
- Function: remove-element-n LIST N
-
- Package
km
- Source
utils.lisp (file)
- Function: remove-equal-items VS1 VS2
-
- Package
km
- Source
lazy-unify.lisp (file)
- Function: remove-equal-items0 VS1 VS2 &key REV-NEW-VS1 EQUAL-VS2-SO-FAR
-
- Package
km
- Source
lazy-unify.lisp (file)
- Function: remove-explained-vals VALS EXPRS &key TARGET
-
- Package
km
- Source
lazy-unify.lisp (file)
- Function: remove-from-end STRING CHARS
-
- Package
km
- Source
strings.lisp (file)
- Function: remove-from-stack INSTANCE
-
- Package
km
- Source
stack.lisp (file)
- Function: remove-leading-whitespace STRING
-
- Package
km
- Source
strings.lisp (file)
- Function: remove-pending-equalities VALS
-
- Package
km
- Source
constraints.lisp (file)
- Function: remove-redundant-subclasses CLASS
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-redundant-superclasses CLASS
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-shared-elements LIST1 LIST2 &key TEST
-
- Package
km
- Source
utils.lisp (file)
- Function: remove-singletons LIST
-
- Package
km
- Source
utils.lisp (file)
- Function: remove-sources-from-vals INSTANCE SLOT VALS
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-string BIT STRING
-
- Package
km
- Source
strings.lisp (file)
- Function: remove-subsumees CLASSES
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-subsumees-slotp SLOT
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-subsumers CLASSES
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-subsumers-slotp SLOT
-
- Package
km
- Source
frame-io.lisp (file)
- Function: remove-subsuming-exprs EXPRS INSTANCES &key ALLOW-COERCION TARGET EAGERLYP
-
- Package
km
- Source
subsumes.lisp (file)
- Function: remove-subsuming-exprs0 EXPRS INSTANCES &key ALLOW-COERCION TARGET EAGERLYP
-
- Package
km
- Source
subsumes.lisp (file)
- Function: remove-support TRIPLE SUPPORT &key SITUATION
-
- Package
km
- Source
explain.lisp (file)
- Function: remove-supports TRIPLE &key SITUATION
-
- Package
km
- Source
explain.lisp (file)
- Function: remove-trailing-whitespace STRING
-
- Package
km
- Source
strings.lisp (file)
- Function: remove-wrapper STRING START0 END &key NIL-IF-MISSING
-
- Package
km
- Source
strings.lisp (file)
- Function: remprops SYMBOL
-
- Package
km
- Source
utils.lisp (file)
- Function: rename-class OLD-CLASS NEW-CLASS
-
- Package
km
- Source
frame-io.lisp (file)
- Function: rename-symbols EXPR RENAMING-ALIST
-
- Package
km
- Source
loadkb.lisp (file)
- Function: reorder-slotsvals SLOTSVALS
-
- Package
km
- Source
frame-io.lisp (file)
- Function: replace-element N LIST EL
-
- Package
km
- Source
utils.lisp (file)
- Function: replace-string OLD NEW STRING
-
- Package
km
- Source
strings.lisp (file)
- Function: report-error ERROR-TYPE STRING0 &rest ARGS0
-
- Package
km
- Source
trace.lisp (file)
- Function: report-statistics ()
-
- Package
km
- Source
stats.lisp (file)
- Function: report-statistics-long ()
-
- Package
km
- Source
stats.lisp (file)
- Function: requires-km-version VERSION-NUMBER-STR
-
- Package
km
- Source
loadkb.lisp (file)
- Function: reset-creations ()
-
- Package
km
- Source
loadkb.lisp (file)
- Function: reset-done ()
-
- Package
km
- Source
frame-io.lisp (file)
- Function: reset-for-top-level-call KM-EXPR &key RESET-STATISTICS
-
- Package
km
- Source
interpreter.lisp (file)
- Function: reset-handler-functions ()
-
- Package
km
- Source
compiler.lisp (file)
- Function: reset-history ()
-
- Package
km
- Source
loadkb.lisp (file)
- Function: reset-inference-engine ()
-
- Package
km
- Source
loadkb.lisp (file)
- Function: reset-kb ()
-
- Package
km
- Source
loadkb.lisp (file)
- Function: reset-statistics ()
-
- Package
km
- Source
stats.lisp (file)
- Function: reset-trace ()
-
- Package
km
- Source
trace.lisp (file)
- Function: reset-trace-at-iteration ()
-
- Package
km
- Source
utils.lisp (file)
- Function: reset-trace-depth ()
-
- Package
km
- Source
trace.lisp (file)
- Function: restore-kb &key UNINTERN-SYMBOLS
-
- Package
km
- Source
loadkb.lisp (file)
- Function: restvar-p X
-
- Package
km
- Source
minimatch.lisp (file)
- Function: retain-exprp EXPR
-
- Package
km
- Source
kbutils.lisp (file)
- Function: reuse-cons A B AB
-
- Package
km
- Source
compiler.lisp (file)
- Function: right-of STRING SUBSTRING &key FROM-END
-
- Package
km
- Source
strings.lisp (file)
- Function: rightmost-word STRING
-
- Package
km
- Source
strings.lisp (file)
- Function: rules-for SLOT FRAMEADD &key RETAIN-COMMENTSP
-
- Package
km
- Source
interpreter.lisp (file)
- Function: sanity-checks ()
-
- Package
km
- Source
constraints.lisp (file)
- Function: satisfies-class-definition INSTANCE CLASS-DEFINITION CONCLUSION-CLASSES
-
- Package
km
- Source
frame-io.lisp (file)
- Function: satisfies-constraints VALS0 CONSTRAINTS0 SLOT &key INCOMPLETEP
-
- Package
km
- Source
constraints.lisp (file)
- Function: satisfies-definition INSTANCE CLASS &key SLOTS-THAT-CHANGED
-
- Package
km
- Source
frame-io.lisp (file)
- Function: satisfies-definition2 INSTANCE POSS-COREF-INSTANCE &key SLOTS-THAT-CHANGED
-
- Package
km
- Source
frame-io.lisp (file)
- Function: satisfies-prototype-definition INSTANCE PROTOTYPE
-
- Package
km
- Source
prototypes.lisp (file)
- Function: save-explanation ISV-EXPLANATION &key STREAM ESSENTIALS
-
- Package
km
- Source
loadkb.lisp (file)
- Function: save-explanations CONCEPT &key STREAM ESSENTIALS EXPLANATION-TYPES
-
- Package
km
- Source
loadkb.lisp (file)
- Function: save-frame CONCEPT &key STREAM SITUATIONS SAVE-PROTOTYPEP ESSENTIALS PARTIALLY-CLONED-FROM SLOTS-TO-SHOW THEORIES NULLS-OKAYP INCLUDE-EXPLANATIONSP
-
- Package
km
- Source
loadkb.lisp (file)
- Function: save-kb FILE &key RESET-KB INCLUDE-EXPLANATIONSP
-
- Package
km
- Source
loadkb.lisp (file)
- Function: save-prototype PROTOTYPE0 &key STREAM FILE EXTRA-ASSERTIONS ESSENTIAL-PARTICIPANTS
-
- Package
km
- Source
prototypes.lisp (file)
- Function: scan-kb ()
-
- Package
km
- Source
frame-io.lisp (file)
- Function: scan-to DELIMETER STRING M N NMAX &key ALLOW-QUOTED-PHRASES
-
- Package
km
- Source
strings.lisp (file)
- Function: score-pair V1 V2 &key SOURCE-PROTOROOTS
-
- Package
km
- Source
lazy-unify.lisp (file)
- Function: search-stack CLASS
-
- Package
km
- Source
stack.lisp (file)
- Function: see FILE
-
- Package
km
- Source
utils.lisp (file)
- Function: see-theory THEORY
-
- Package
km
- Source
frame-io.lisp (file)
- Function: seen ()
-
- Package
km
- Source
utils.lisp (file)
- Function: select-real-triples FS S VS
-
- Package
km
- Source
prototypes.lisp (file)
- Function: seq-to-list SEQ
-
- Package
km
- Source
kbutils.lisp (file)
- Function: set-checkpoint &optional CHECKPOINT-ID
-
- Package
km
- Source
loadkb.lisp (file)
- Function: set-constraint-exprp EXPR
-
- Package
km
- Source
kbutils.lisp (file)
- Function: set-constraint-satisfied VALS0 CONSTRAINT &key INCOMPLETEP
-
- Package
km
- Source
constraints.lisp (file)
- Function: set-creations-checkpoint &key CHECKPOINT-ID WITH-COMMENT MULTIPLE-CHECKPOINTS
-
- Package
km
- Source
loadkb.lisp (file)
- Function: set-equal SET1 SET2
-
- Package
km
- Source
utils.lisp (file)
- Function: set-situations-mode ()
-
- Package
km
- Source
frame-io.lisp (file)
- Function: set-to-list SET
-
- Package
km
- Source
kbutils.lisp (file)
- Function: set-unification-operator X
-
- Package
km
- Source
lazy-unify.lisp (file)
- Function: shift-char C &key SHIFT
-
- Package
km
- Source
strings.lisp (file)
- Function: show-binding FRAME
-
- Package
km
- Source
frame-io.lisp (file)
- Function: show-binding0 FRAME
-
- Package
km
- Source
frame-io.lisp (file)
- Function: show-bindings ()
-
- Package
km
- Source
frame-io.lisp (file)
-
- Package
km
- Source
explain.lisp (file)
- Function: show-context ()
-
- Package
km
- Source
stack.lisp (file)
- Function: show-done ()
-
- Package
km
- Source
frame-io.lisp (file)
- Function: show-explanation EXPLANATION DEPTH MODE COMMENT-TAGS &key FORMAT STREAM
-
- Package
km
- Source
trace.lisp (file)
- Function: show-explanations &key EXPLANATIONS FORMAT STREAM
-
- Package
km
- Source
trace.lisp (file)
- Function: show-explanations-html &key STREAM
-
- Package
km
- Source
trace.lisp (file)
- Function: show-explanations-xml &key STREAM
-
- Package
km
- Source
trace.lisp (file)
- Function: show-goal-stack &optional STREAM
-
- Package
km
- Source
stack.lisp (file)
- Function: show-goal-stack2 STACK DEPTH SHOW-SITUATIONSP &optional STREAM
-
- Package
km
- Source
stack.lisp (file)
- Function: show-obj-stack ()
-
- Package
km
- Source
stack.lisp (file)
- Function: show-support SUPPORT
-
- Package
km
- Source
prototypes.lisp (file)
- Function: showme KM-EXPR &optional SITUATIONS THEORIES STREAM RETURN-STRINGS-P
-
- Package
km
- Source
stack.lisp (file)
- Function: showme-all KM-EXPR &optional SITUATIONS
-
- Package
km
- Source
stack.lisp (file)
- Function: showme-all-frame INSTANCE &optional SITUATIONS
-
- Package
km
- Source
stack.lisp (file)
- Function: showme-frame FRAME &optional SITUATIONS THEORIES STREAM
-
- Package
km
- Source
stack.lisp (file)
- Function: showme-member-slots-in-situation CLASS SITUATION
-
- Package
km
- Source
stack.lisp (file)
- Function: showme-own-slots-in-situation INSTANCE SITUATION
-
- Package
km
- Source
stack.lisp (file)
- Function: showme-strings KM-EXPR &optional SITUATIONS THEORIES STREAM
-
- Package
km
- Source
stack.lisp (file)
- Function: silent-spy &optional EXPR0
-
- Package
km
- Source
trace.lisp (file)
- Function: silent-spypoints-stack ()
-
- Package
km
- Source
stack.lisp (file)
- Function: silent-unspy ()
-
- Package
km
- Source
trace.lisp (file)
- Function: simple-add-inverses INSTANCE SLOT EXTRA-VALS
-
- Package
km
- Source
loadkb.lisp (file)
- Function: simple-add-slotsvals INSTANCE ADD-SLOTSVALS &key INSTALL-INVERSESP
-
- Package
km
- Source
loadkb.lisp (file)
- Function: simple-compute-new-slotsvals INSTANCE OLD-SLOTSVALS ADD-SLOTSVALS &key INSTALL-INVERSESP
-
- Package
km
- Source
loadkb.lisp (file)
- Function: simple-eval-instance INSTANCE
-
- Package
km
- Source
frame-io.lisp (file)
- Function: simple-inherit-with-overrides-slotp SLOT
-
- Package
km
- Source
frame-io.lisp (file)
- Function: simple-slotp SLOT
-
- Package
km
- Source
kbutils.lisp (file)
- Function: simple-unifiable X Y
-
- Package
km
- Source
constraints.lisp (file)
- Function: simpleload-expr ITEM &key INSTALL-INVERSESP
-
- Package
km
- Source
loadkb.lisp (file)
- Function: simpleload-kb KM-FILE &key INSTALL-INVERSESP
-
- Package
km
- Source
loadkb.lisp (file)
- Function: simplify-cloned-from EXPLANATION
-
- Package
km
- Source
prototypes.lisp (file)
- Function: single-valued-slotp SLOT
-
- Package
km
- Source
frame-io.lisp (file)
- Function: singletonp LIST
-
- Package
km
- Source
utils.lisp (file)
- Function: situation-invariant-exprp EXPR
-
- Package
km
- Source
kbutils.lisp (file)
- Function: skip-checkpoint QUERY
-
- Package
km
- Source
interpreter.lisp (file)
- Function: skolem-root STRING
-
- Package
km
- Source
case.lisp (file)
- Function: slot-in SLOTVALS
-
- Package
km
- Source
frame-io.lisp (file)
- Function: slot-objectp SLOT
-
- Package
km
- Source
kbutils.lisp (file)
- Function: slotp SLOT
-
- Package
km
- Source
kbutils.lisp (file)
- Function: slots-to-opportunistically-evaluate INSTANCE
-
- Package
km
- Source
frame-io.lisp (file)
- Function: slotsvals-subsume SLOTSVALS INSTANCE &key BINDINGS
-
- Package
km
- Source
subsumes.lisp (file)
- Function: slotvals-subsume SLOTVALS INSTANCE &key BINDINGS
-
- Package
km
- Source
subsumes.lisp (file)
- Function: sometimes-exprp EXPR
-
- Package
km
- Source
kbutils.lisp (file)
- Function: sort-objects-for-writing OBJECTS0
-
- Package
km
- Source
loadkb.lisp (file)
- Function: source-classes-for-triple INSTANCE SLOT VALUE &optional SITUATION
-
- Package
km
- Source
explain.lisp (file)
- Function: source-path SOURCE
-
- Package
km
- Source
explain.lisp (file)
- Function: sourcep TAG
-
- Package
km
- Source
explain.lisp (file)
- Function: sources EXPR
-
- Package
km
- Source
explain.lisp (file)
- Function: spaced-list LIST
-
- Package
km
- Source
strings.lisp (file)
- Function: spaced-string LIST
-
- Package
km
- Source
strings.lisp (file)
- Function: spaces N
-
- Package
km
- Source
utils.lisp (file)
- Function: spacify WORDS
-
- Package
km
- Source
anglify.lisp (file)
- Function: special-slot-type SLOT
-
- Package
km
- Source
constraints.lisp (file)
- Function: split-at STRING SUBSTRING &key FROM-END
-
- Package
km
- Source
strings.lisp (file)
- Function: split-at1 STRING SUBSTRING &key FROM-END
-
- Package
km
- Source
strings.lisp (file)
- Function: splits-at STRING SUBSTRING
-
- Package
km
- Source
strings.lisp (file)
- Function: spy &optional EXPR0
-
- Package
km
- Source
trace.lisp (file)
- Function: stack-equal ITEM1 ITEM2
-
- Package
km
- Source
stack.lisp (file)
- Function: stackable INSTANCE
-
- Package
km
- Source
stack.lisp (file)
- Function: stacked-canonical-expr STACKED-ITEM
-
- Package
km
- Source
stack.lisp (file)
- Function: stacked-expr STACKED-ITEM
-
- Package
km
- Source
stack.lisp (file)
- Function: stacked-inference-number STACKED-ITEM
-
- Package
km
- Source
stack.lisp (file)
- Function: stacked-situation STACKED-ITEM
-
- Package
km
- Source
stack.lisp (file)
- Function: stacked-target STACKED-ITEM
-
- Package
km
- Source
stack.lisp (file)
- Function: start-creations-logging &key WITH-COMMENT
-
- Package
km
- Source
loadkb.lisp (file)
- Function: start-logging &key WITH-COMMENT
-
- Package
km
- Source
loadkb.lisp (file)
- Function: starts-with STRING SUBSTR
-
- Package
km
- Source
strings.lisp (file)
- Function: stop-creations-logging &key WITH-COMMENT
-
- Package
km
- Source
loadkb.lisp (file)
- Function: stop-logging &key WITH-COMMENT
-
- Package
km
- Source
loadkb.lisp (file)
- Function: store-kb ()
-
- Package
km
- Source
loadkb.lisp (file)
- Function: string-match STRING PATTERN &key CASE-SENSITIVEP
-
- Package
km
- Source
minimatch.lisp (file)
- Function: string-match1 ITEM PATTERN &key CASE-SENSITIVEP
-
- Package
km
- Source
minimatch.lisp (file)
- Function: string-to-frame STRING
-
- Package
km
- Source
case.lisp (file)
- Function: string-to-list STRING &key WORDCHARS ALLOW-QUOTED-PHRASES
-
- Package
km
- Source
strings.lisp (file)
- Function: string-to-number STRING &key FAIL-MODE