This is the babylon Reference Manual, version 2.4.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Feb 26 14:40:15 2024 GMT+0.
babylon/metakernelbabylon/extensbabylon/kernelbabylon/kernel/commonbabylon/kernel/metababylon/kernel/freetextbabylon/kernel/framesbabylon/kernel/frames/basicbabylon/kernel/frames/minibabylon/kernel/frames/normalbabylon/kernel/rulesbabylon/kernel/rules/basicbabylon/kernel/rules/minibabylon/kernel/rules/normalbabylon/kernel/prologbabylon/kernel/prolog/basicbabylon/kernel/prolog/minibabylon/kernel/prolog/normalbabylon/kernel/consatbabylon/kernel/consat/basicbabylon/kernel/consat/minibabylon/kernel/consat/normalbabylon/ttybabylon/tty/basicbabylon/tty/minibabylon/tty/cmdsbabylon/babylon.asdbabylon/packages.lispbabylon/metakernel/require.lispbabylon/metakernel/babtrans.lispbabylon/extens/extens.lispbabylon/kernel/common/vars.lispbabylon/kernel/common/c-fns.lispbabylon/kernel/common/p-core.lispbabylon/kernel/meta/kb-tab-e.lispbabylon/kernel/meta/kb-tab-g.lispbabylon/kernel/meta/kb-core.lispbabylon/kernel/meta/m-mixin.lispbabylon/kernel/meta/l-mixin.lispbabylon/kernel/meta/kb-stub.lispbabylon/kernel/freetext/ft-tab-e.lispbabylon/kernel/freetext/ft-tab-g.lispbabylon/kernel/freetext/ft-proc.lispbabylon/kernel/freetext/ft-mixin.lispbabylon/kernel/frames/basic/fp-tab-e.lispbabylon/kernel/frames/basic/fp-tab-g.lispbabylon/kernel/frames/basic/frames.lispbabylon/kernel/frames/basic/fr-core.lispbabylon/kernel/frames/basic/bf-inter.lispbabylon/kernel/frames/basic/bf-proc.lispbabylon/kernel/frames/basic/bf-mixin.lispbabylon/kernel/frames/mini/pos-vals.lispbabylon/kernel/frames/mini/ask-supp.lispbabylon/kernel/frames/mini/mf-proc.lispbabylon/kernel/frames/mini/mf-mixin.lispbabylon/kernel/frames/normal/act-vals.lispbabylon/kernel/frames/normal/nf-proc.lispbabylon/kernel/frames/normal/nf-mixin.lispbabylon/kernel/rules/basic/rp-tab-e.lispbabylon/kernel/rules/basic/rp-tab-g.lispbabylon/kernel/rules/basic/rules.lispbabylon/kernel/rules/basic/data.lispbabylon/kernel/rules/basic/br-inter.lispbabylon/kernel/rules/basic/br-proc.lispbabylon/kernel/rules/basic/br-mixin.lispbabylon/kernel/rules/mini/mr-trace.lispbabylon/kernel/rules/mini/mr-proc.lispbabylon/kernel/rules/mini/mr-mixin.lispbabylon/kernel/rules/normal/nr-expl.lispbabylon/kernel/rules/normal/nr-devel.lispbabylon/kernel/rules/normal/nr-proc.lispbabylon/kernel/rules/normal/nr-mixin.lispbabylon/kernel/prolog/basic/pp-tab-e.lispbabylon/kernel/prolog/basic/pp-tab-g.lispbabylon/kernel/prolog/basic/axioms.lispbabylon/kernel/prolog/basic/ax-sc.lispbabylon/kernel/prolog/basic/bp-inter.lispbabylon/kernel/prolog/basic/bp-preds.lispbabylon/kernel/prolog/basic/bp-proc.lispbabylon/kernel/prolog/basic/bp-mixin.lispbabylon/kernel/prolog/mini/mp-preds.lispbabylon/kernel/prolog/mini/mp-trace.lispbabylon/kernel/prolog/mini/mp-proc.lispbabylon/kernel/prolog/mini/mp-mixin.lispbabylon/kernel/prolog/normal/np-devel.lispbabylon/kernel/prolog/normal/np-expl.lispbabylon/kernel/prolog/normal/np-proc.lispbabylon/kernel/prolog/normal/np-mixin.lispbabylon/kernel/consat/basic/cp-tab-e.lispbabylon/kernel/consat/basic/cp-tab-g.lispbabylon/kernel/consat/basic/bc-fns.lispbabylon/kernel/consat/basic/primcstr.lispbabylon/kernel/consat/basic/cstrnet.lispbabylon/kernel/consat/basic/net-prop.lispbabylon/kernel/consat/basic/cstrbase.lispbabylon/kernel/consat/basic/bc-proc.lispbabylon/kernel/consat/basic/bc-mixin.lispbabylon/kernel/consat/mini/mc-trace.lispbabylon/kernel/consat/mini/mc-proc.lispbabylon/kernel/consat/mini/mc-mixin.lispbabylon/kernel/consat/normal/restrict.lispbabylon/kernel/consat/normal/rstreval.lispbabylon/kernel/consat/normal/rstrbase.lispbabylon/kernel/consat/normal/nc-proc.lispbabylon/kernel/consat/normal/nc-mixin.lispbabylon/tty/basic/tty-menu.lispbabylon/tty/basic/t-dialog.lispbabylon/tty/basic/b-txscw.lispbabylon/tty/basic/b-mixin.lispbabylon/tty/mini/mitem.lispbabylon/tty/mini/mloop.lispbabylon/tty/mini/m-mixin.lispbabylon/tty/mini/sys-core.lispbabylon/tty/mini/mbabylon.lispbabylon/tty/cmds/common-e.lispbabylon/tty/cmds/frame-e.lispbabylon/tty/cmds/consat-e.lispbabylon/tty/cmds/rule-e.lispbabylon/tty/cmds/prolog-e.lispbabylon/tty/cmds/common-g.lispbabylon/tty/cmds/frame-g.lispbabylon/tty/cmds/consat-g.lispbabylon/tty/cmds/rule-g.lispbabylon/tty/cmds/prolog-g.lispbabylon/tty/customs.lispbabylon/babylon.lispbabylon/bab-init.lispThe main system appears first, followed by any subsystem dependency.
babylonJürgen Walther’s modular, configurable, hybrid knowledge engineering systems framework for Common Lisp, restored from the CMU AI Repository.
"the Phoeron" Colin J.E. Lupton <thephoeron@protonmail.com>
"the Phoeron" Colin J.E. Lupton <thephoeron@protonmail.com>
Jürgen Walther <juergen.walther@gmd.de>
(GIT https://github.com/thephoeron/babylon.git)
MIT
2.4.0
fmcs (system).
fare-quasiquote-extras (system)., for feature :sbcl
packages.lisp (file).
metakernel (module).
extens (module).
kernel (module).
tty (module).
babylon.lisp (file).
bab-init.lisp (file).
Modules are listed depth-first from the system components tree.
babylon/metakernelbabylon/extensbabylon/kernelbabylon/kernel/commonbabylon/kernel/metababylon/kernel/freetextbabylon/kernel/framesbabylon/kernel/frames/basicbabylon/kernel/frames/minibabylon/kernel/frames/normalbabylon/kernel/rulesbabylon/kernel/rules/basicbabylon/kernel/rules/minibabylon/kernel/rules/normalbabylon/kernel/prologbabylon/kernel/prolog/basicbabylon/kernel/prolog/minibabylon/kernel/prolog/normalbabylon/kernel/consatbabylon/kernel/consat/basicbabylon/kernel/consat/minibabylon/kernel/consat/normalbabylon/ttybabylon/tty/basicbabylon/tty/minibabylon/tty/cmdsbabylon/metakernelpackages.lisp (file).
babylon (system).
require.lisp (file).
babtrans.lisp (file).
babylon/extensmetakernel (module).
babylon (system).
extens.lisp (file).
babylon/kernelbabylon/kernel/commonkernel (module).
vars.lisp (file).
c-fns.lisp (file).
p-core.lisp (file).
babylon/kernel/metakernel (module).
kb-tab-e.lisp (file).
kb-tab-g.lisp (file).
kb-core.lisp (file).
m-mixin.lisp (file).
l-mixin.lisp (file).
kb-stub.lisp (file).
babylon/kernel/freetextkernel (module).
ft-tab-e.lisp (file).
ft-tab-g.lisp (file).
ft-proc.lisp (file).
ft-mixin.lisp (file).
babylon/kernel/frames/basicframes (module).
fp-tab-e.lisp (file).
fp-tab-g.lisp (file).
frames.lisp (file).
fr-core.lisp (file).
bf-inter.lisp (file).
bf-proc.lisp (file).
bf-mixin.lisp (file).
babylon/kernel/frames/miniframes (module).
pos-vals.lisp (file).
ask-supp.lisp (file).
mf-proc.lisp (file).
mf-mixin.lisp (file).
babylon/kernel/frames/normalframes (module).
act-vals.lisp (file).
nf-proc.lisp (file).
nf-mixin.lisp (file).
babylon/kernel/rules/basicrules (module).
rp-tab-e.lisp (file).
rp-tab-g.lisp (file).
rules.lisp (file).
data.lisp (file).
br-inter.lisp (file).
br-proc.lisp (file).
br-mixin.lisp (file).
babylon/kernel/rules/minirules (module).
mr-trace.lisp (file).
mr-proc.lisp (file).
mr-mixin.lisp (file).
babylon/kernel/rules/normalrules (module).
nr-expl.lisp (file).
nr-devel.lisp (file).
nr-proc.lisp (file).
nr-mixin.lisp (file).
babylon/kernel/prolog/basicprolog (module).
pp-tab-e.lisp (file).
pp-tab-g.lisp (file).
axioms.lisp (file).
ax-sc.lisp (file).
bp-inter.lisp (file).
bp-preds.lisp (file).
bp-proc.lisp (file).
bp-mixin.lisp (file).
babylon/kernel/prolog/miniprolog (module).
mp-preds.lisp (file).
mp-trace.lisp (file).
mp-proc.lisp (file).
mp-mixin.lisp (file).
babylon/kernel/prolog/normalprolog (module).
np-devel.lisp (file).
np-expl.lisp (file).
np-proc.lisp (file).
np-mixin.lisp (file).
babylon/kernel/consat/basicconsat (module).
cp-tab-e.lisp (file).
cp-tab-g.lisp (file).
bc-fns.lisp (file).
primcstr.lisp (file).
cstrnet.lisp (file).
net-prop.lisp (file).
cstrbase.lisp (file).
bc-proc.lisp (file).
bc-mixin.lisp (file).
babylon/kernel/consat/miniconsat (module).
mc-trace.lisp (file).
mc-proc.lisp (file).
mc-mixin.lisp (file).
babylon/kernel/consat/normalconsat (module).
restrict.lisp (file).
rstreval.lisp (file).
rstrbase.lisp (file).
nc-proc.lisp (file).
nc-mixin.lisp (file).
babylon/ttykernel (module).
babylon (system).
basic (module).
mini (module).
cmds (module).
customs.lisp (file).
babylon/tty/basictty (module).
tty-menu.lisp (file).
t-dialog.lisp (file).
b-txscw.lisp (file).
b-mixin.lisp (file).
babylon/tty/minitty (module).
mitem.lisp (file).
mloop.lisp (file).
m-mixin.lisp (file).
sys-core.lisp (file).
mbabylon.lisp (file).
babylon/tty/cmdstty (module).
common-e.lisp (file).
frame-e.lisp (file).
consat-e.lisp (file).
rule-e.lisp (file).
prolog-e.lisp (file).
common-g.lisp (file).
frame-g.lisp (file).
consat-g.lisp (file).
rule-g.lisp (file).
prolog-g.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
babylon/babylon.asdbabylon/packages.lispbabylon/metakernel/require.lispbabylon/metakernel/babtrans.lispbabylon/extens/extens.lispbabylon/kernel/common/vars.lispbabylon/kernel/common/c-fns.lispbabylon/kernel/common/p-core.lispbabylon/kernel/meta/kb-tab-e.lispbabylon/kernel/meta/kb-tab-g.lispbabylon/kernel/meta/kb-core.lispbabylon/kernel/meta/m-mixin.lispbabylon/kernel/meta/l-mixin.lispbabylon/kernel/meta/kb-stub.lispbabylon/kernel/freetext/ft-tab-e.lispbabylon/kernel/freetext/ft-tab-g.lispbabylon/kernel/freetext/ft-proc.lispbabylon/kernel/freetext/ft-mixin.lispbabylon/kernel/frames/basic/fp-tab-e.lispbabylon/kernel/frames/basic/fp-tab-g.lispbabylon/kernel/frames/basic/frames.lispbabylon/kernel/frames/basic/fr-core.lispbabylon/kernel/frames/basic/bf-inter.lispbabylon/kernel/frames/basic/bf-proc.lispbabylon/kernel/frames/basic/bf-mixin.lispbabylon/kernel/frames/mini/pos-vals.lispbabylon/kernel/frames/mini/ask-supp.lispbabylon/kernel/frames/mini/mf-proc.lispbabylon/kernel/frames/mini/mf-mixin.lispbabylon/kernel/frames/normal/act-vals.lispbabylon/kernel/frames/normal/nf-proc.lispbabylon/kernel/frames/normal/nf-mixin.lispbabylon/kernel/rules/basic/rp-tab-e.lispbabylon/kernel/rules/basic/rp-tab-g.lispbabylon/kernel/rules/basic/rules.lispbabylon/kernel/rules/basic/data.lispbabylon/kernel/rules/basic/br-inter.lispbabylon/kernel/rules/basic/br-proc.lispbabylon/kernel/rules/basic/br-mixin.lispbabylon/kernel/rules/mini/mr-trace.lispbabylon/kernel/rules/mini/mr-proc.lispbabylon/kernel/rules/mini/mr-mixin.lispbabylon/kernel/rules/normal/nr-expl.lispbabylon/kernel/rules/normal/nr-devel.lispbabylon/kernel/rules/normal/nr-proc.lispbabylon/kernel/rules/normal/nr-mixin.lispbabylon/kernel/prolog/basic/pp-tab-e.lispbabylon/kernel/prolog/basic/pp-tab-g.lispbabylon/kernel/prolog/basic/axioms.lispbabylon/kernel/prolog/basic/ax-sc.lispbabylon/kernel/prolog/basic/bp-inter.lispbabylon/kernel/prolog/basic/bp-preds.lispbabylon/kernel/prolog/basic/bp-proc.lispbabylon/kernel/prolog/basic/bp-mixin.lispbabylon/kernel/prolog/mini/mp-preds.lispbabylon/kernel/prolog/mini/mp-trace.lispbabylon/kernel/prolog/mini/mp-proc.lispbabylon/kernel/prolog/mini/mp-mixin.lispbabylon/kernel/prolog/normal/np-devel.lispbabylon/kernel/prolog/normal/np-expl.lispbabylon/kernel/prolog/normal/np-proc.lispbabylon/kernel/prolog/normal/np-mixin.lispbabylon/kernel/consat/basic/cp-tab-e.lispbabylon/kernel/consat/basic/cp-tab-g.lispbabylon/kernel/consat/basic/bc-fns.lispbabylon/kernel/consat/basic/primcstr.lispbabylon/kernel/consat/basic/cstrnet.lispbabylon/kernel/consat/basic/net-prop.lispbabylon/kernel/consat/basic/cstrbase.lispbabylon/kernel/consat/basic/bc-proc.lispbabylon/kernel/consat/basic/bc-mixin.lispbabylon/kernel/consat/mini/mc-trace.lispbabylon/kernel/consat/mini/mc-proc.lispbabylon/kernel/consat/mini/mc-mixin.lispbabylon/kernel/consat/normal/restrict.lispbabylon/kernel/consat/normal/rstreval.lispbabylon/kernel/consat/normal/rstrbase.lispbabylon/kernel/consat/normal/nc-proc.lispbabylon/kernel/consat/normal/nc-mixin.lispbabylon/tty/basic/tty-menu.lispbabylon/tty/basic/t-dialog.lispbabylon/tty/basic/b-txscw.lispbabylon/tty/basic/b-mixin.lispbabylon/tty/mini/mitem.lispbabylon/tty/mini/mloop.lispbabylon/tty/mini/m-mixin.lispbabylon/tty/mini/sys-core.lispbabylon/tty/mini/mbabylon.lispbabylon/tty/cmds/common-e.lispbabylon/tty/cmds/frame-e.lispbabylon/tty/cmds/consat-e.lispbabylon/tty/cmds/rule-e.lispbabylon/tty/cmds/prolog-e.lispbabylon/tty/cmds/common-g.lispbabylon/tty/cmds/frame-g.lispbabylon/tty/cmds/consat-g.lispbabylon/tty/cmds/rule-g.lispbabylon/tty/cmds/prolog-g.lispbabylon/tty/customs.lispbabylon/babylon.lispbabylon/bab-init.lispbabylon/metakernel/require.lispmetakernel (module).
cc-load (function).
*bab-host* (special variable).
*babylon-module-search-path* (special variable).
*babylon-modules* (special variable).
*babylon-patches-search-path* (special variable).
*babylon-translations* (special variable).
*recompile* (special variable).
*trans-path-fkt* (special variable).
bab-provide (function).
bab-require (function).
defbabylon-translation (macro).
find-translation (function).
search-cc-load (function).
transform-pathstring (function).
transform-pathstring1 (function).
babylon/extens/extens.lispextens (module).
baberror (macro).
babpprint (function).
get-babylon-default-pathname (function).
get-prompt-string (function).
get-stream-for-dialog (function).
load-user-babylon-init-file (function).
make-local-pathname (function).
merge-babylon-pathnames (function).
babylon/kernel/common/vars.lispcommon (module).
*babylon-version* (special variable).
*current-knowledge-base* (special variable).
*axiom-sets* (special variable).
*bab-prompt* (special variable).
*babylon* (special variable).
*c-help-key* (special variable).
*current-ted* (special variable).
*default-dialog-stream* (special variable).
*default-interface* (special variable).
*default-kb-configuration* (special variable).
*default-language* (special variable).
*default-procs* (special variable).
*end-key* (special variable).
*first-ped-interface-call* (special variable).
*font-menu* (special variable).
*frame-meta-predicates* (special variable).
*free-text-meta-predicates* (special variable).
*help-key* (special variable).
*item-width* (special variable).
*known-knowledge-bases* (special variable).
*language* (special variable).
*max-menu-entries* (special variable).
*maxvar* (special variable).
*meta-preds* (special variable).
*prolog-junctor-for-rules* (special variable).
*prolog-preds-traced* (special variable).
*prolog-syspreds* (special variable).
*rule-meta-predicates* (special variable).
*var-prefix* (special variable).
babylon/kernel/common/c-fns.lispcommon (module).
lisp (macro).
say (function).
send-current-knowledge-base (function).
send-kb (function).
unknown (function).
assign-typefkt (macro).
complete-to-n (function).
compute-term (function).
contains-vars (function).
current-kb-typep (function).
current-p (function).
defbabylon-entry (macro).
defbabylon-table (macro).
defrequest (macro).
from-list-to-string (function).
get-negation (function).
get-positive-term (function).
getentry (macro).
getentry2 (macro).
is-entry (macro).
is-help (function).
is-multiple-answer (function).
is-multiple-value (function).
is-negated-term (function).
is-simple-list (function).
is-true-list (function).
is-undetermined (function).
is-unknown (function).
is-variable (function).
make-blanks (function).
make-multiple-answer (function).
make-multiple-value (function).
make-string-of-length (function).
neq (function).
normalize-answer (function).
remove-doubles (function).
send-bab (function).
send-babylon (function).
translate-answer (function).
undetermined (function).
undetermined-2 (function).
unknown-2 (function).
babylon/kernel/common/p-core.lispcommon (module).
processor-core (special variable).
babylon/kernel/meta/kb-core.lispmeta (module).
def-kb-configuration (macro).
def-kb-instance (macro).
instructions (macro).
kb-processor-core (special variable).
call-kb (function).
filter-options (function).
filter-plist (function).
get-interface-mixins-to-include (function).
get-kb-configuration (function).
get-proc-mixins-to-include (function).
get-special-mixins-to-include (function).
is-activated-kb (function).
knowledge-base (macro).
reset-knowledge-base (function).
search-for-kb (function).
start-knowledge-base (function).
stop-kb-execution (function).
use-kb-instance (macro).
use-old-kb? (function).
babylon/kernel/meta/m-mixin.lispmeta (module).
meta-processor-core (special variable).
toggle-system-trace (function).
babylon/kernel/meta/l-mixin.lispmeta (module).
lisp-mixin (special variable).
lisp-type (macro).
babylon/kernel/meta/kb-stub.lispbabylon/kernel/freetext/ft-proc.lispfreetext (module).
basic-free-text-processor (special variable).
format-translate-true-or-false (function).
babylon/kernel/freetext/ft-mixin.lispfreetext (module).
free-text-mixin (special variable).
free-text-type (macro).
is-free-text-meta-predicate (function).
translate-free-texts-into-prolog-facts (function).
babylon/kernel/frames/basic/frames.lispbasic (module).
get-all-instances (function).
get-all-subframes (function).
get-all-supers (function).
get-instance (macro).
get-instance-list (function).
get-subframes (function).
get-supers (function).
is-frame (function).
is-instance (function).
set-instance-pointer (macro).
$inst (macro).
%get-frame-name (function).
%get-object-name (function).
%is-frame (function).
%is-instance (function).
%make-object-name (function).
add-instance-to-frame (function).
add-subframe (function).
add-to-behaviors (function).
check-frame-definition (function).
check-instance-definition (function).
compute-slot-names (function).
compute-slots (function).
compute-slots2 (function).
frame-base (special variable).
frame-behaviors (macro).
frame-definition (macro).
frame-instances (macro).
frame-options (macro).
frame-slots (macro).
frame-subclasses (macro).
frame-supers (macro).
get-frame-behavior-specs (function).
get-frame-behaviors (function).
get-frame-def (function).
get-frame-name (function).
get-frame-name-or-signal-error (function).
get-frame-name-with-check (function).
get-frame-slot-names (function).
get-frame-slots (function).
get-instance-def (function).
get-instance-name (function).
get-instance-name-with-check (function).
get-instance-or-self (macro).
get-instance-with-check (macro).
install-subframe (function).
instance-definition (macro).
is-facet (macro).
is-path (macro).
is-user-defined-method (macro).
is-value (macro).
make-behavior-def (function).
make-definstance-example (function).
make-frame-definition-example (function).
make-frame-name (function).
make-instance-name (function).
make-slot-specification-example (function).
make-supers-specification-example (function).
print-frame (function).
print-frame-behavior (function).
print-frame-definition (function).
print-frames (function).
print-instance-def (function).
print-instances (function).
remove-noisy-words (function).
reset-instance (macro).
reset-instances (macro).
signal-unknown-frame (function).
babylon/kernel/frames/basic/fr-core.lispbasic (module).
$value (macro).
(setf $value) (setf expander).
<- (macro).
<-- (macro).
$setf-value (macro).
check-for-equal-relation (macro).
compute-list-expr (function).
define-relation-behavior (macro).
define-relation-method (macro).
format-expectations (function).
frame-core (special variable).
get-slot-plist (macro).
get-slots (function).
get-value (macro).
(setf get-value) (setf expander).
get-value-only (function).
internal-relation-name (function).
is-equality-relation (function).
is-in-interval (function).
is-interval-specification (function).
normalize-args (macro).
normalize-plist (function).
put-value (macro).
set-value-only (function).
substitute-o-and-s (function).
babylon/kernel/frames/basic/bf-inter.lispbasic (module).
frame-interpreter (special variable).
babylon/kernel/frames/basic/bf-proc.lispbasic (module).
basic-frame-processor (special variable).
babylon/kernel/frames/basic/bf-mixin.lispbasic (module).
basic-frame-mixin (special variable).
defbehavior (macro).
defframe (macro).
definstance (macro).
%is-behavior (function).
%is-frame-name (function).
%is-instance-name (function).
%is-slot (function).
create-instance-of (function).
create-unnamed-instance (macro).
frame-type (macro).
is-frame-meta-predicate (function).
make-clauses (function).
send-fp (function).
babylon/kernel/frames/mini/pos-vals.lispmini (module).
define-possible-values-behavior (macro).
define-possible-values-method (macro).
explain-answers-choices (function).
get-check-result (function).
get-poss-val-args (function).
get-poss-val-type (function).
is-method-of (function).
poss-val-mixin (special variable).
babylon/kernel/frames/mini/ask-supp.lispmini (module).
build-explain-item-list (function).
build-mult-choose-item-list (function).
menu-choose-translate (function).
menu-mult-choose-translate (function).
babylon/kernel/frames/mini/mf-proc.lispmini (module).
mini-frame-processor (special variable).
poss-val-frame-core (special variable).
babylon/kernel/frames/mini/mf-mixin.lispmini (module).
mini-frame-mixin (special variable).
babylon/kernel/frames/normal/act-vals.lispnormal (module).
active-value-mixin (special variable).
is-active-value (function).
normalize-plist-with-act-vals (function).
send-to-instance-or-self (function).
babylon/kernel/frames/normal/nf-proc.lispnormal (module).
active-value-frame-core (special variable).
normal-frame-processor (special variable).
babylon/kernel/frames/normal/nf-mixin.lispnormal (module).
normal-frame-mixin (special variable).
babylon/kernel/rules/basic/rules.lispbasic (module).
check-bindings (function).
check-rule-set-syntax (function).
check-rule-set-variables-specification (function).
check-rule-syntax (function).
get-action-type (macro).
get-bindings (function).
get-junctor (macro).
get-rule-actions (macro).
get-rule-conditions (macro).
get-rule-set-variables (function).
get-variables (function).
is-bindings (function).
is-rule-set-with-variables (function).
is-rule-variable (function).
is-variables-specification (function).
make-full-rule-example (function).
make-lhs-example (function).
make-rhs-example (function).
match-first (function).
match-first-and-second (function).
match-second (function).
print-rule-set (function).
rule-base (special variable).
rule-body (macro).
rule-left-hand-side (function).
rule-name (function).
rule-right-hand-side (function).
rule-set-name (function).
rule-set-rules (function).
substitute-variables-in-rule-set (function).
babylon/kernel/rules/basic/data.lispbasic (module).
copy-justification (function).
data-base (special variable).
justification (structure).
justification-justificand (reader).
(setf justification-justificand) (writer).
justification-justificans (reader).
(setf justification-justificans) (writer).
justification-p (function).
justification-time-tag (reader).
(setf justification-time-tag) (writer).
make-justification (function).
babylon/kernel/rules/basic/br-inter.lispbasic (module).
defjunctor (macro).
get-op-def (function).
instantiate-pattern (macro).
is-undetermined-or-null (function).
rule-interpreter (special variable).
standard-conflict-resolution (function).
stop-execution (function).
testif (macro).
usethen (macro).
babylon/kernel/rules/basic/br-proc.lispbasic (module).
basic-rule-processor (special variable).
babylon/kernel/rules/basic/br-mixin.lispbasic (module).
basic-rule-mixin (special variable).
defrule-set (macro).
find-implications (function).
rule-set (macro).
send-rule (function).
hypotheses (macro).
is-rule-meta-predicate (function).
obtain (function).
rule-reference-type (macro).
test-hypotheses (function).
babylon/kernel/rules/mini/mr-trace.lispmini (module).
copy-trace-element (function).
get-rule-mark (function).
make-trace-element (function).
rule-asking-p (function).
rule-trace-mixin (special variable).
rule-tried-p (function).
rule-used-p (function).
trace-element (structure).
trace-element-keyword (reader).
(setf trace-element-keyword) (writer).
trace-element-mode (reader).
(setf trace-element-mode) (writer).
trace-element-p (function).
trace-element-rule (reader).
(setf trace-element-rule) (writer).
trace-element-rule-set-name (reader).
(setf trace-element-rule-set-name) (writer).
trace-element-term (reader).
(setf trace-element-term) (writer).
trace-element-to-show (function).
trace-element-to-store (function).
babylon/kernel/rules/mini/mr-proc.lispmini (module).
mini-rule-processor (special variable).
babylon/kernel/rules/mini/mr-mixin.lispmini (module).
mini-rule-mixin (special variable).
toggle-rule-trace (function).
babylon/kernel/rules/normal/nr-expl.lispnormal (module).
generate-how-menu-items (function).
make-facts-choice (function).
make-numbered-facts (function).
rule-explain-mixin (special variable).
babylon/kernel/rules/normal/nr-devel.lispnormal (module).
collect-term-components (function).
compute-used-slots (function).
filter-first (function).
filter-second (function).
gen-mult-choose-item-list (function).
get-slot-of-term (function).
make-op-header (function).
make-rule-header (function).
make-term-item (function).
rule-develop-mixin (special variable).
babylon/kernel/rules/normal/nr-proc.lispnormal (module).
normal-rule-processor (special variable).
babylon/kernel/rules/normal/nr-mixin.lispnormal (module).
normal-rule-mixin (special variable).
explain-results (function).
babylon/kernel/prolog/basic/axioms.lispbasic (module).
asserta (macro).
assertz (macro).
defaxiom-set (macro).
add-axioms (function).
add-pred (macro).
assert-axioms (function).
axset-basic (special variable).
body (macro).
clause-type (macro).
collect-clauses (function).
ext-rep-clause (function).
get-clauses (function).
get-clauses-direct (function).
get-known-axiom-sets (function).
get-known-free-axiom-sets (function).
get-predicates (function).
get-preds (macro).
get-subgoal-predicates (function).
head (macro).
init-axset (function).
is-fact (macro).
is-rule-clause (macro).
is-simple-clause (macro).
known-axiom-set (function).
normalize-clause (function).
pred (macro).
print-axiom-set (function).
print-clause (function).
print-clauses (function).
print-pred (function).
print-preds (function).
prolog-assert (function).
rem-clause (function).
rem-clauses (macro).
rem-pred (macro).
rem-preds (macro).
remove-all-clauses (function).
reset-axiom-set (function).
splice (function).
xpush (function).
babylon/kernel/prolog/basic/ax-sc.lispbasic (module).
*tenv (special variable).
*tenv-depth (special variable).
*vars (special variable).
cut-reset (macro).
deref (function).
envnr (function).
(setf envnr) (function).
gen-var-value-list (function).
gen-varcell (macro).
goalbox-sc-mixin (special variable).
is-bound (macro).
is-rest-bound (macro).
is-t (macro).
is-var (macro).
make-varcell (function).
normal-reset (macro).
prepare-reset (macro).
prepare-side-reset (macro).
proc-sc-mixin (special variable).
rest-deref (function).
rest-subst-prolog-vars (function).
setvar (macro).
side-reset (macro).
subst-prolog-vars (function).
trans-clause (function).
trans-clause1 (function).
unify (function).
value-is-var (function).
varcell-p (function).
varname (function).
(setf varname) (function).
varnr (function).
(setf varnr) (function).
varvalue (function).
(setf varvalue) (function).
babylon/kernel/prolog/basic/bp-inter.lispbasic (module).
is-yes-list (function).
prolog-interpreter (special variable).
babylon/kernel/prolog/basic/bp-preds.lispbasic (module).
basic-goalbox (special variable).
check-for-clause (function).
defprolog-method (macro).
eval-lisp-call (macro).
get-method-for-pred (macro).
get-prove-method (macro).
babylon/kernel/prolog/basic/bp-proc.lispbasic (module).
basic-prolog-processor (special variable).
babylon/kernel/prolog/basic/bp-mixin.lispbasic (module).
basic-prolog-mixin (special variable).
defclauses (macro).
defrelations (macro).
?- (macro).
gen-choose-axioms-item-list (function).
gen-mult-axset-item-list (function).
generate-current-item-list (function).
is-prolog-junctor-for-rules (function).
prolog-type (macro).
remove-default-axset (function).
send-prolog (function).
warn-if-no-prolog (function).
babylon/kernel/prolog/mini/mp-preds.lispmini (module).
defprolog-trace-methods (macro).
get-curr-method (macro).
get-curr-method-for-pred (macro).
goalbox-trace-mixin (special variable).
babylon/kernel/prolog/mini/mp-trace.lispmini (module).
mark-pred (function).
normal-indent (function).
prolog-trace-mixin (special variable).
unmark-pred (function).
babylon/kernel/prolog/mini/mp-proc.lispmini (module).
mini-goalbox (special variable).
mini-prolog-processor (special variable).
babylon/kernel/prolog/mini/mp-mixin.lispmini (module).
mini-prolog-mixin (special variable).
diff-list (function).
set-prolog-trace-options (function).
babylon/kernel/prolog/normal/np-devel.lispnormal (module).
ax-develop-mixin (special variable).
exception-comment (function).
make-rec-clause-items (function).
babylon/kernel/prolog/normal/np-expl.lispnormal (module).
proc-explain-mixin (special variable).
babylon/kernel/prolog/normal/np-proc.lispnormal (module).
normal-prolog-processor (special variable).
babylon/kernel/prolog/normal/np-mixin.lispnormal (module).
normal-prolog-mixin (special variable).
display-prooftree (function).
babylon/kernel/consat/basic/bc-fns.lispbasic (module).
adjust-value-ass (function).
combine-two-alists (function).
combine-values (function).
combine-variable-alists (function).
compatible-value-p (function).
cons-if-not-nil (function).
convert-simple-to-multiple (function).
copy-var-info (function).
decr-number-of-results (function).
difference-empty-p (function).
empty-alist (function).
enough-results (function).
extended-intersection (function).
extended-member (function).
get-condition (macro).
get-constr-name (macro).
get-constraint (function).
get-expressions (macro).
get-global-var (macro).
get-keyword (macro).
get-local-var (macro).
get-name-of-c-assoc (macro).
get-object-of-c-assoc (macro).
get-parameters (macro).
get-simple-value (macro).
get-trace-constr (macro).
get-trace-value-ass (macro).
get-tupel (macro).
get-value-spec (macro).
get-var (macro).
intersect-sets (function).
make-c-expr (macro).
make-constraint-assoc (macro).
make-simple-val-assoc (macro).
make-trace-elem (macro).
make-value-assoc (macro).
make-var-assoc (macro).
make-var-info (function).
more-constrained-p (function).
new-association (function).
select-some-value-ass (function).
send-constraint-processor (function).
some-new-restrictions-p (function).
split-and-put-association (function).
split-variable-alist (function).
union-sets (function).
var-info (structure).
var-info-constraints (reader).
(setf var-info-constraints) (writer).
var-info-init-values (reader).
(setf var-info-init-values) (writer).
var-info-p (function).
var-info-values (reader).
(setf var-info-values) (writer).
babylon/kernel/consat/basic/primcstr.lispbasic (module).
constrained-p (function).
activation-p (function).
add-var-info-values (function).
constraint (special variable).
evaluate-condition (function).
evaluate-funcall (function).
evaluate-pattern (function).
evaluate-relation (function).
evaluate-relation-element (function).
evaluate-tupel (function).
freeze-var-info-values (function).
get-net-var (macro).
get-var-info (macro).
get-var-info-constraints (function).
get-var-info-values (function).
global-to-local-subst (function).
init-var-info-values (function).
intersect-associated-value-specs (function).
local-to-global-subst (function).
make-determined-value-ass (function).
make-global-value-ass (function).
make-info-assoc (macro).
make-local-value-ass (function).
multiple-evaluation (function).
replace-var-info-values (function).
reset-var-info-values (function).
substitute-constraint-variables (function).
substitute-if-possible (function).
unconstrained-p (function).
babylon/kernel/consat/basic/cstrnet.lispbasic (module).
agenda-elem (structure).
agenda-elem-filtered-p (reader).
(setf agenda-elem-filtered-p) (writer).
agenda-elem-init-trace (reader).
(setf agenda-elem-init-trace) (writer).
agenda-elem-p (function).
agenda-elem-queue (reader).
(setf agenda-elem-queue) (writer).
agenda-elem-trace (reader).
(setf agenda-elem-trace) (writer).
consistent-value-ass-p (function).
constraint-net (special variable).
copy-agenda-elem (function).
copy-stack-elem (function).
create-net-spec (function).
create-var-info-alist (function).
determine-net-variables (function).
get-associated-constraints (function).
make-agenda-elem (function).
make-stack-elem (function).
modify-net-value-ass (function).
select-all-constraints (function).
select-multiple-valued-variable (function).
select-relevant-constraints (function).
stack-elem (structure).
stack-elem-p (function).
stack-elem-queue (reader).
(setf stack-elem-queue) (writer).
stack-elem-trace (reader).
(setf stack-elem-trace) (writer).
stack-elem-values (reader).
(setf stack-elem-values) (writer).
state-of-net-spec (function).
state-of-value-ass (function).
update-net-value-ass (function).
babylon/kernel/consat/basic/net-prop.lispbasic (module).
adapt-consistency-level (function).
compute-new-number-of-results (function).
trace-test (function).
update-queue (function).
babylon/kernel/consat/basic/cstrbase.lispbasic (module).
defconstraint (macro).
abbreviated-condition (function).
compile-condition (function).
constraint-base (special variable).
convert-to-consat-value (function).
determine-consistency-level (function).
determine-number-of-results (function).
eval-first-value-ass (function).
eval-value-ass (function).
get-def-condition (function).
get-def-expressions (function).
get-def-interface (function).
get-def-relation (function).
get-def-typ (function).
get-external-value-ass (function).
get-local-condition (function).
has-condition-p (function).
is-liste (function).
is-value-spec (function).
parse-rel-elem (function).
parse-relation (function).
print-constraint-list (function).
select-local-conditions (function).
value-assignment-to-boolean-value (function).
value-spec-test (function).
babylon/kernel/consat/basic/bc-proc.lispbasic (module).
basic-constraint-processor (special variable).
babylon/kernel/consat/basic/bc-mixin.lispbasic (module).
basic-constraint-mixin (special variable).
satisfied-p (macro).
satisfy (macro).
choose-element-type (function).
choose-number-of-results (function).
choose-relation (function).
choose-special-constraint (function).
choose-value-assignment (function).
choose-value-spec (function).
constraint-input-test (function).
constraint-type (macro).
display-constraint (function).
external-value-ass-p (function).
get-list-of-choices (function).
print-result (function).
print-value-ass (function).
read-constraint (function).
read-expr-from-window (function).
remove-request-key (function).
satisfy-constraint-globally (function).
satisfy-constraint-locally (function).
transform-constraint-type (function).
babylon/kernel/consat/mini/mc-trace.lispmini (module).
constraint-trace-mixin (special variable).
traced-constraint (special variable).
traced-constraint-net (special variable).
babylon/kernel/consat/mini/mc-proc.lispmini (module).
mini-constraint-processor (special variable).
babylon/kernel/consat/mini/mc-mixin.lispmini (module).
mini-constraint-mixin (special variable).
build-constraint-trace-item-list (function).
choose-constraint-trace-mode (function).
constraint-assoc-tracedp (function).
trace-constraints (function).
update-constraint-trace-mode (function).
babylon/kernel/consat/normal/restrict.lispnormal (module).
get-object-of-slot-ref (macro).
get-slot-of-slot-ref (macro).
make-slot-ref (macro).
restricted-slot (special variable).
restriction-definition (special variable).
restriction-net (special variable).
slot-value-to-value-spec (function).
undetermined-slot-value-p (function).
babylon/kernel/consat/normal/rstreval.lispnormal (module).
admissible-net-p (function).
admissible-slot-value-p (function).
copy-possible-values (function).
copy-slot-value (function).
further-slot-restriction-p (function).
get-value-of-referenced-slot (function).
make-value-ass-of-posted-slots (function).
possible-values-to-value-spec (function).
replace-possible-values (function).
replace-slot-value (function).
babylon/kernel/consat/normal/rstrbase.lispnormal (module).
defrestriction (macro).
determine-set-of-instances (function).
determine-slots (function).
generic-expr-p (function).
get-guarded-slots (function).
get-inst-assignment (macro).
get-instance-combinations (function).
get-instance-condition (function).
get-protected-slots (function).
get-restrictions (function).
get-set-of-instances (macro).
get-slot-refs (function).
get-uninstantiated-restriction (function).
get-var-of-inst-ass (macro).
inst-assignment-p (macro).
inst-generic-restriction (function).
inst-restriction (function).
inst-simple-restriction (function).
inst-slot-ref (function).
inst-slot-ref-list (function).
inst-slot-set (function).
inst-uninstantiated-restriction (function).
instantiate-restrictions (function).
instantiate-slots (function).
make-$instance-alist (function).
next-inst-assignment (macro).
occurs-in-restriction (function).
purge-instance-alist (function).
restriction-base (special variable).
select-instance-combinations (function).
babylon/kernel/consat/normal/nc-proc.lispnormal (module).
normal-constraint-processor (special variable).
babylon/kernel/consat/normal/nc-mixin.lispnormal (module).
normal-constraint-mixin (special variable).
babylon/tty/basic/t-dialog.lispbasic (module).
tty-dialog-mixin (special variable).
babylon/tty/basic/b-txscw.lispbasic (module).
basic-txsc-window (special variable).
babylon/tty/basic/b-mixin.lispbasic (module).
basic-interface-mixin (special variable).
babylon/tty/mini/mitem.lispmini (module).
menu-item-handler (special variable).
babylon/tty/mini/mloop.lispbabylon/tty/mini/m-mixin.lispmini (module).
mini-interface-mixin (special variable).
babylon/tty/mini/sys-core.lispmini (module).
call-babylon (function).
make-babylon (macro).
system-core (special variable).
babylon/tty/mini/mbabylon.lispmini (module).
mini-babylon (special variable).
babylon/tty/customs.lisptty (module).
normal-interface-mixin (special variable).
normal-babylon (special variable).
babylon/babylon.lisptty (module).
babylon (system).
after-image-load (function).
babylon-hello (function).
make-babylon-image (function).
babylon/bab-init.lispbabylon.lisp (file).
babylon (system).
Packages are listed by definition order.
babylonbaby
common-lisp.
fmcs.
$value (macro).
(setf $value) (setf expander).
*babylon-version* (special variable).
*current-knowledge-base* (special variable).
/== (macro).
<- (macro).
<-- (macro).
=.= (macro).
=/= (macro).
=< (macro).
== (macro).
asserta (macro).
assertz (macro).
basic-constraint-mixin (special variable).
basic-frame-mixin (special variable).
basic-interface-mixin (special variable).
basic-prolog-mixin (special variable).
basic-rule-mixin (special variable).
cc-load (function).
constrained-p (function).
def-kb-configuration (macro).
def-kb-instance (macro).
defaxiom-set (macro).
defbehavior (macro).
defclauses (macro).
defconstraint (macro).
defframe (macro).
define-possible-values-behavior (macro).
definstance (macro).
defrelations (macro).
defrestriction (macro).
defrule-set (macro).
find-implications (function).
free-text-mixin (special variable).
get-all-instances (function).
get-all-subframes (function).
get-all-supers (function).
get-instance (macro).
get-instance-list (function).
get-subframes (function).
get-supers (function).
instructions (macro).
is-frame (function).
is-instance (function).
kb-processor-core (special variable).
lisp (macro).
lisp-mixin (special variable).
meta-processor-core (special variable).
mini-constraint-mixin (special variable).
mini-frame-mixin (special variable).
mini-interface-mixin (special variable).
mini-prolog-mixin (special variable).
mini-rule-mixin (special variable).
normal-constraint-mixin (special variable).
normal-frame-mixin (special variable).
normal-interface-mixin (special variable).
normal-prolog-mixin (special variable).
normal-rule-mixin (special variable).
rule-set (macro).
satisfied-p (macro).
satisfy (macro).
say (function).
send-current-knowledge-base (function).
send-kb (function).
send-rule (function).
set-instance-pointer (macro).
unknown (function).
$inst (macro).
$setf-value (macro).
%get-frame-name (function).
%get-object-name (function).
%is-behavior (function).
%is-frame (function).
%is-frame-name (function).
%is-instance (function).
%is-instance-name (function).
%is-slot (function).
%make-object-name (function).
*axiom-sets* (special variable).
*bab-host* (special variable).
*bab-prompt* (special variable).
*babylon* (special variable).
*babylon-module-search-path* (special variable).
*babylon-modules* (special variable).
*babylon-patches-search-path* (special variable).
*babylon-translations* (special variable).
*c-help-key* (special variable).
*current-ted* (special variable).
*default-dialog-stream* (special variable).
*default-interface* (special variable).
*default-kb-configuration* (special variable).
*default-language* (special variable).
*default-procs* (special variable).
*end-key* (special variable).
*first-ped-interface-call* (special variable).
*font-menu* (special variable).
*frame-meta-predicates* (special variable).
*free-text-meta-predicates* (special variable).
*help-key* (special variable).
*item-width* (special variable).
*known-knowledge-bases* (special variable).
*language* (special variable).
*max-menu-entries* (special variable).
*maxvar* (special variable).
*meta-preds* (special variable).
*prolog-junctor-for-rules* (special variable).
*prolog-preds-traced* (special variable).
*prolog-syspreds* (special variable).
*recompile* (special variable).
*rule-meta-predicates* (special variable).
*tenv (special variable).
*tenv-depth (special variable).
*trans-path-fkt* (special variable).
*var-prefix* (special variable).
*vars (special variable).
?- (macro).
abbreviated-condition (function).
activation-p (function).
active-value-frame-core (special variable).
active-value-mixin (special variable).
adapt-consistency-level (function).
add-axioms (function).
add-instance-to-frame (function).
add-pred (macro).
add-subframe (function).
add-to-behaviors (function).
add-var-info-values (function).
adjust-value-ass (function).
admissible-net-p (function).
admissible-slot-value-p (function).
after-image-load (function).
agenda-elem (structure).
agenda-elem-filtered-p (reader).
(setf agenda-elem-filtered-p) (writer).
agenda-elem-init-trace (reader).
(setf agenda-elem-init-trace) (writer).
agenda-elem-p (function).
agenda-elem-queue (reader).
(setf agenda-elem-queue) (writer).
agenda-elem-trace (reader).
(setf agenda-elem-trace) (writer).
assert-axioms (function).
assign-typefkt (macro).
augment-mult-choose-item-list (function).
ax-develop-mixin (special variable).
axset-basic (special variable).
bab-provide (function).
bab-require (function).
baberror (macro).
babpprint (function).
babylon-hello (function).
basic-constraint-processor (special variable).
basic-frame-processor (special variable).
basic-free-text-processor (special variable).
basic-goalbox (special variable).
basic-prolog-processor (special variable).
basic-rule-processor (special variable).
basic-txsc-window (special variable).
body (macro).
build-constraint-trace-item-list (function).
build-explain-item-list (function).
build-mult-choose-item-list (function).
call-babylon (function).
call-kb (function).
check-bindings (function).
check-for-clause (function).
check-for-equal-relation (macro).
check-frame-definition (function).
check-instance-definition (function).
check-rule-set-syntax (function).
check-rule-set-variables-specification (function).
check-rule-syntax (function).
choose-constraint-trace-mode (function).
choose-element-type (function).
choose-number-of-results (function).
choose-relation (function).
choose-special-constraint (function).
choose-value-assignment (function).
choose-value-spec (function).
clause-type (macro).
collect-clauses (function).
collect-results (function).
collect-term-components (function).
combine-two-alists (function).
combine-values (function).
combine-variable-alists (function).
compatible-value-p (function).
compile-condition (function).
complete-to-n (function).
compute-list-expr (function).
compute-new-number-of-results (function).
compute-slot-names (function).
compute-slots (function).
compute-slots2 (function).
compute-term (function).
compute-used-slots (function).
cons-if-not-nil (function).
consistent-value-ass-p (function).
constraint (special variable).
constraint-assoc-tracedp (function).
constraint-base (special variable).
constraint-input-test (function).
constraint-net (special variable).
constraint-trace-mixin (special variable).
constraint-type (macro).
contains-vars (function).
convert-simple-to-multiple (function).
convert-to-consat-value (function).
copy-agenda-elem (function).
copy-justification (function).
copy-possible-values (function).
copy-slot-value (function).
copy-stack-elem (function).
copy-trace-element (function).
copy-var-info (function).
copy-varcell (function).
create-instance-of (function).
create-net-spec (function).
create-unnamed-instance (macro).
create-var-info-alist (function).
current-kb-typep (function).
current-p (function).
cut-reset (macro).
data-base (special variable).
decr-number-of-results (function).
defbabylon-entry (macro).
defbabylon-table (macro).
defbabylon-translation (macro).
define-possible-values-method (macro).
define-relation-behavior (macro).
define-relation-method (macro).
defjunctor (macro).
defprolog-method (macro).
defprolog-trace-methods (macro).
defrequest (macro).
deref (function).
determine-consistency-level (function).
determine-net-variables (function).
determine-number-of-results (function).
determine-set-of-instances (function).
determine-slots (function).
diff-list (function).
difference-empty-p (function).
display-constraint (function).
display-prooftree (function).
empty-alist (function).
enough-results (function).
envnr (function).
(setf envnr) (function).
eval-first-value-ass (function).
eval-lisp-call (macro).
eval-value-ass (function).
evaluate-condition (function).
evaluate-funcall (function).
evaluate-pattern (function).
evaluate-relation (function).
evaluate-relation-element (function).
evaluate-tupel (function).
exception-comment (function).
execute-menu-action (function).
explain-answers-choices (function).
explain-results (function).
ext-rep-clause (function).
extended-intersection (function).
extended-member (function).
external-value-ass-p (function).
filter-first (function).
filter-options (function).
filter-plist (function).
filter-second (function).
find-translation (function).
format-expectations (function).
format-translate-true-or-false (function).
frame-base (special variable).
frame-behaviors (macro).
frame-core (special variable).
frame-definition (macro).
frame-instances (macro).
frame-interpreter (special variable).
frame-options (macro).
frame-slots (macro).
frame-subclasses (macro).
frame-supers (macro).
frame-type (macro).
free-text-type (macro).
freeze-var-info-values (function).
from-list-to-string (function).
further-slot-restriction-p (function).
gen-choose-axioms-item-list (function).
gen-mult-axset-item-list (function).
gen-mult-choose-item-list (function).
gen-var-value-list (function).
gen-varcell (macro).
generate-current-item-list (function).
generate-how-menu-items (function).
generic-expr-p (function).
get-action-type (macro).
get-associated-constraints (function).
get-babylon-default-pathname (function).
get-bindings (function).
get-check-result (function).
get-clauses (function).
get-clauses-direct (function).
get-condition (macro).
get-constr-name (macro).
get-constraint (function).
get-curr-method (macro).
get-curr-method-for-pred (macro).
get-def-condition (function).
get-def-expressions (function).
get-def-interface (function).
get-def-relation (function).
get-def-typ (function).
get-expressions (macro).
get-external-value-ass (function).
get-frame-behavior-specs (function).
get-frame-behaviors (function).
get-frame-def (function).
get-frame-name (function).
get-frame-name-or-signal-error (function).
get-frame-name-with-check (function).
get-frame-slot-names (function).
get-frame-slots (function).
get-global-var (macro).
get-guarded-slots (function).
get-inst-assignment (macro).
get-instance-combinations (function).
get-instance-condition (function).
get-instance-def (function).
get-instance-name (function).
get-instance-name-with-check (function).
get-instance-or-self (macro).
get-instance-with-check (macro).
get-interface-mixins-to-include (function).
get-junctor (macro).
get-kb-configuration (function).
get-keyword (macro).
get-known-axiom-sets (function).
get-known-free-axiom-sets (function).
get-list-of-choices (function).
get-local-condition (function).
get-local-var (macro).
get-method-for-pred (macro).
get-name-of-c-assoc (macro).
get-negation (function).
get-net-var (macro).
get-object-of-c-assoc (macro).
get-object-of-slot-ref (macro).
get-op-def (function).
get-parameters (macro).
get-positive-term (function).
get-poss-val-args (function).
get-poss-val-type (function).
get-predicates (function).
get-preds (macro).
get-proc-mixins-to-include (function).
get-prompt-string (function).
get-protected-slots (function).
get-prove-method (macro).
get-restrictions (function).
get-rule-actions (macro).
get-rule-conditions (macro).
get-rule-mark (function).
get-rule-set-variables (function).
get-set-of-instances (macro).
get-simple-value (macro).
get-slot-of-slot-ref (macro).
get-slot-of-term (function).
get-slot-plist (macro).
get-slot-refs (function).
get-slots (function).
get-special-mixins-to-include (function).
get-stream-for-dialog (function).
get-subgoal-predicates (function).
get-trace-constr (macro).
get-trace-value-ass (macro).
get-tupel (macro).
get-uninstantiated-restriction (function).
get-value (macro).
(setf get-value) (setf expander).
get-value-of-referenced-slot (function).
get-value-only (function).
get-value-spec (macro).
get-var (macro).
get-var-info (macro).
get-var-info-constraints (function).
get-var-info-values (function).
get-var-of-inst-ass (macro).
get-variables (function).
getentry (macro).
getentry2 (macro).
global-to-local-subst (function).
goalbox-sc-mixin (special variable).
goalbox-trace-mixin (special variable).
has-condition-p (function).
head (macro).
hypotheses (macro).
init-axset (function).
init-var-info-values (function).
inst-assignment-p (macro).
inst-generic-restriction (function).
inst-restriction (function).
inst-simple-restriction (function).
inst-slot-ref (function).
inst-slot-ref-list (function).
inst-slot-set (function).
inst-uninstantiated-restriction (function).
install-subframe (function).
instance-definition (macro).
instantiate-pattern (macro).
instantiate-restrictions (function).
instantiate-slots (function).
internal-relation-name (function).
intersect-associated-value-specs (function).
intersect-sets (function).
is-activated-kb (function).
is-active-value (function).
is-bindings (function).
is-bound (macro).
is-entry (macro).
is-equality-relation (function).
is-facet (macro).
is-fact (macro).
is-frame-meta-predicate (function).
is-free-text-meta-predicate (function).
is-help (function).
is-in-interval (function).
is-interval-specification (function).
is-liste (function).
is-method-of (function).
is-multiple-answer (function).
is-multiple-value (function).
is-negated-term (function).
is-path (macro).
is-prolog-junctor-for-rules (function).
is-rest-bound (macro).
is-rule-clause (macro).
is-rule-meta-predicate (function).
is-rule-set-with-variables (function).
is-rule-variable (function).
is-simple-clause (macro).
is-simple-list (function).
is-t (macro).
is-true-list (function).
is-undetermined (function).
is-undetermined-or-null (function).
is-unknown (function).
is-user-defined-method (macro).
is-value (macro).
is-value-spec (function).
is-var (macro).
is-variable (function).
is-variables-specification (function).
is-yes-list (function).
justification (structure).
justification-justificand (reader).
(setf justification-justificand) (writer).
justification-justificans (reader).
(setf justification-justificans) (writer).
justification-p (function).
justification-time-tag (reader).
(setf justification-time-tag) (writer).
kb-stub (special variable).
knowledge-base (macro).
known-axiom-set (function).
lisp-type (macro).
load-user-babylon-init-file (function).
local-to-global-subst (function).
make-$instance-alist (function).
make-agenda-elem (function).
make-babylon (macro).
make-babylon-image (function).
make-behavior-def (function).
make-blanks (function).
make-c-expr (macro).
make-clauses (function).
make-constraint-assoc (macro).
make-definstance-example (function).
make-determined-value-ass (function).
make-facts-choice (function).
make-frame-definition-example (function).
make-frame-name (function).
make-full-rule-example (function).
make-global-value-ass (function).
make-info-assoc (macro).
make-instance-name (function).
make-justification (function).
make-lhs-example (function).
make-local-pathname (function).
make-local-value-ass (function).
make-multiple-answer (function).
make-multiple-value (function).
make-numbered-facts (function).
make-op-header (function).
make-rec-clause-items (function).
make-rhs-example (function).
make-rule-header (function).
make-simple-val-assoc (macro).
make-slot-ref (macro).
make-slot-specification-example (function).
make-stack-elem (function).
make-string-of-length (function).
make-supers-specification-example (function).
make-term-item (function).
make-trace-elem (macro).
make-trace-element (function).
make-value-ass-of-posted-slots (function).
make-value-assoc (macro).
make-var-assoc (macro).
make-var-info (function).
make-varcell (function).
mark-pred (function).
match-first (function).
match-first-and-second (function).
match-second (function).
menu-choose-translate (function).
menu-item-handler (special variable).
menu-loop (special variable).
menu-mult-choose-translate (function).
merge-babylon-pathnames (function).
mini-babylon (special variable).
mini-constraint-processor (special variable).
mini-frame-processor (special variable).
mini-goalbox (special variable).
mini-prolog-processor (special variable).
mini-rule-processor (special variable).
modify-net-value-ass (function).
more-constrained-p (function).
mult-prompt-assoc (function).
multiple-evaluation (function).
neq (function).
new-association (function).
next-inst-assignment (macro).
normal-babylon (special variable).
normal-constraint-processor (special variable).
normal-frame-processor (special variable).
normal-indent (function).
normal-prolog-processor (special variable).
normal-reset (macro).
normal-rule-processor (special variable).
normalize-answer (function).
normalize-args (macro).
normalize-clause (function).
normalize-plist (function).
normalize-plist-with-act-vals (function).
obtain (function).
occurs-in-restriction (function).
parse-rel-elem (function).
parse-relation (function).
poss-val-frame-core (special variable).
poss-val-mixin (special variable).
possible-values-to-value-spec (function).
pred (macro).
prepare-reset (macro).
prepare-side-reset (macro).
print-axiom-set (function).
print-clause (function).
print-clauses (function).
print-constraint-list (function).
print-frame (function).
print-frame-behavior (function).
print-frame-definition (function).
print-frames (function).
print-header (function).
print-instance-def (function).
print-instances (function).
print-item (function).
print-pred (function).
print-preds (function).
print-result (function).
print-rule-set (function).
print-value-ass (function).
proc-explain-mixin (special variable).
proc-sc-mixin (special variable).
processor-core (special variable).
prolog-assert (function).
prolog-interpreter (special variable).
prolog-trace-mixin (special variable).
prolog-type (macro).
purge-instance-alist (function).
put-value (macro).
read-constraint (function).
read-expr-from-window (function).
rem-clause (function).
rem-clauses (macro).
rem-pred (macro).
rem-preds (macro).
remove-all-clauses (function).
remove-default-axset (function).
remove-doubles (function).
remove-noisy-words (function).
remove-request-key (function).
replace-possible-values (function).
replace-slot-value (function).
replace-var-info-values (function).
reset-axiom-set (function).
reset-instance (macro).
reset-instances (macro).
reset-knowledge-base (function).
reset-var-info-values (function).
rest-deref (function).
rest-subst-prolog-vars (function).
restricted-slot (special variable).
restriction-base (special variable).
restriction-definition (special variable).
restriction-net (special variable).
rule-asking-p (function).
rule-base (special variable).
rule-body (macro).
rule-develop-mixin (special variable).
rule-explain-mixin (special variable).
rule-interpreter (special variable).
rule-left-hand-side (function).
rule-name (function).
rule-reference-type (macro).
rule-right-hand-side (function).
rule-set-name (function).
rule-set-rules (function).
rule-trace-mixin (special variable).
rule-tried-p (function).
rule-used-p (function).
s-display-info (function).
satisfy-constraint-globally (function).
satisfy-constraint-locally (function).
search-cc-load (function).
search-for-kb (function).
select-all-constraints (function).
select-instance-combinations (function).
select-local-conditions (function).
select-multiple-valued-variable (function).
select-relevant-constraints (function).
select-some-value-ass (function).
send-bab (function).
send-babylon (function).
send-constraint-processor (function).
send-fp (function).
send-prolog (function).
send-to-instance-or-self (function).
set-prolog-trace-options (function).
set-value-only (function).
setvar (macro).
show-menu-loop (function).
side-reset (macro).
signal-unknown-frame (function).
slot-value-to-value-spec (function).
some-new-restrictions-p (function).
splice (function).
split-and-put-association (function).
split-variable-alist (function).
stack-elem (structure).
stack-elem-p (function).
stack-elem-queue (reader).
(setf stack-elem-queue) (writer).
stack-elem-trace (reader).
(setf stack-elem-trace) (writer).
stack-elem-values (reader).
(setf stack-elem-values) (writer).
standard-conflict-resolution (function).
start-knowledge-base (function).
state-of-net-spec (function).
state-of-value-ass (function).
stop-execution (function).
stop-kb-execution (function).
subst-prolog-vars (function).
substitute-constraint-variables (function).
substitute-if-possible (function).
substitute-o-and-s (function).
substitute-variables-in-rule-set (function).
system-core (special variable).
test-hypotheses (function).
testif (macro).
toggle-rule-trace (function).
toggle-system-trace (function).
trace-constraints (function).
trace-element (structure).
trace-element-keyword (reader).
(setf trace-element-keyword) (writer).
trace-element-mode (reader).
(setf trace-element-mode) (writer).
trace-element-p (function).
trace-element-rule (reader).
(setf trace-element-rule) (writer).
trace-element-rule-set-name (reader).
(setf trace-element-rule-set-name) (writer).
trace-element-term (reader).
(setf trace-element-term) (writer).
trace-element-to-show (function).
trace-element-to-store (function).
trace-test (function).
traced-constraint (special variable).
traced-constraint-net (special variable).
trans-clause (function).
trans-clause1 (function).
transform-constraint-type (function).
transform-pathstring (function).
transform-pathstring1 (function).
translate-answer (function).
translate-free-texts-into-prolog-facts (function).
tty-dialog-mixin (special variable).
tty-menu-mixin (special variable).
unconstrained-p (function).
undetermined (function).
undetermined-2 (function).
undetermined-slot-value-p (function).
unify (function).
union-sets (function).
unknown-2 (function).
unmark-pred (function).
update-constraint-trace-mode (function).
update-net-value-ass (function).
update-queue (function).
use-kb-instance (macro).
use-old-kb? (function).
usethen (macro).
value-assignment-to-boolean-value (function).
value-is-var (function).
value-spec-test (function).
var-info (structure).
var-info-constraints (reader).
(setf var-info-constraints) (writer).
var-info-init-values (reader).
(setf var-info-init-values) (writer).
var-info-p (function).
var-info-values (reader).
(setf var-info-values) (writer).
varcell-p (function).
varname (function).
(setf varname) (function).
varnr (function).
(setf varnr) (function).
varvalue (function).
(setf varvalue) (function).
warn-if-no-prolog (function).
xpush (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
knowledge base configuration constructor.
Generates a knowledge base flavor and a method to determine the type of an expression
which has to be passed to the appropriate processor. The most important options
are: (:special . special-mixins) (:procs . processor-mixins) (:interface . interface-mixins)
which determine the special,processor and interface mixins to be included in the flavor.
No defaults are used if these options are not specified.
All other options are passed to the defflavor form.
knowledge base instance constructor.
generates an instance of the flavor kb-configuration and assigns it to kb-name.
the generated kb is automatically made current.
constructor macro for free axiom sets.
constructor for kb-relations.
assigns instructions to the instructions slot of the current kb.
ermoeglicht Verwendung von Satisfied-p-Konstrukten in Lisp-Ausdruecken
ermoeglicht Verwendung von Satisfy-Konstrukten in Lisp-Ausdruecken
Send to current rule-processor.
standard possible answer of USER
the unique current tree editor which can ~@
be controlled via function calls in a lisp listener.
adds <pred> to the list of predicates of <axiom-set>.
Assigns a type predicate to the processor mixin.
ermittelt den Typ von expression und fuehrt einen Syntaxtest durch
resets a goal in case of cut.
macro to create the method which is used to check a new value. lambda-list := (<value-to-check> <possible-values-args>).
Associates operators in rules with mode and method for execution.
assigns a proof method to a pred(icate).
Defines methods to be used for a request type.
generates a varcell for var using *maxvar* as internal number.
provides the right proof method for goal.
provides the right proof method for pred(icate).
provides the right proof method for pred(icate).
liefert Instanz oder Variable der Slot-referenz
gets the list of predicates of <axiom-set>.
provides the right proof method for goal.
ueberprueft, ob der Anfang der Liste inst-ass eine Belegung einer variablen darstellt
knowledge base constructor.
generates eventually a kb configuration named PROCESSOR-FOR-<kb-name> and
makes an instance of this configuration. init-plist is searched for values
of the keys :special, :procs and :interface. these are used to build the
:special, :procs and :interface options of the def-kb-configuration form.
if one of the values is missing defaults are used instead. if no values
for :special, :procs and :interface are specified, a default kb-configuration
is used instead of creating a new one. defaults are taken from *default-procs*,
*default-interface* and *default-kb-configuration* respectively.
constructor macro for a system kb.
resets a goal.
prepares a goal for backtracking.
prepares a goal causing backtrackable side effects for backtracking.
type checking macro.
removes <pred> from the list of predicates of <axiom-set> with all defining clauses.
removes <pred> from the list of predicates of <axiom-set>.
removes the list of predicates of <axiom-set>.
instantiates varcell with term pushing varcell on the environment stack.
resets a goal causing backtrackable side effects.
makes kb with name kb-name current. if the external representation of a kb is distributed over several files this form may insure that the right kb is current when any of the files is evaluated.
T, falls condition gleich :OR ist
adds <clauses> to the clauses of <axiom-set>.
liefert t, falls die Wertebelegung der Netzvariablen noch zulaessig ist
liefert t, falls fuer den Slot gilt
{ sv( slot ) } = cv( slot )
builds an axiom set named <axset-name> consisting of the predicates defined by <clauses>. if <kb-name> is not NIL, <axset-name> is marked to be associated with <kb-name>.
creates a modified item list by adding an integer in front of each item. this integer is used for selecting the item
selects kb.
bittet den Benutzer um die Wahl der Constraints, deren Trace-Modes umgeschaltet werden sollen
liest die Anzahl der global konsistenten Loesungen ein, die berechnet werden sollen
bittet den Benutzer, eines der Constraints in Constraint-Liste auszuwaehlen.
liest eine Wertebelegung der Interface-Variablen schrittweise ein
liest eine Wertemenge fuer diese Variable ein
provides a list of the defining clauses for the predicates <preds> in <axset>. clauses for different predicates are separated by NIL.
creates a list out of the second elements of a-list’s lists
falls :OR als condition angegeben ist, wird die Disjunktion der :IF’s genommen
verlaengert str um nr blanks bzw. kuerzt str um nr+3
Abbruch, falls expr gleich nil ist
Yields true if <exp> is resp. contains a prolog variable.
ueberfuehrt expression in eine Consat-Wertemenge
liest die Possible-Values des Slots und transformiert die Repraesentation
liest einen Slotwert und passt seine Repraesentation an
Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.
copy-seq.
Diese Funktion erlaubt, Instanzen dynamisch zu definieren.
Die Instanzen, die damit kreiert werden, koennen nur mit SEND
angesprochen werden. Sie sind fuer die Wissensbasis und den Frame
nicht zugaenglich. In der Umgebung der Instanz ist object-name
wie self gebunden.
frame-name muss der name eines Frames sein (wird evaluiert)
with-specification (wird evaluiert) und ermoeglicht eine Initialisierung
mit der gleichen Syntax und Semantik wie DEFINSTANCE.
ermittelt eine Menge von Instanzen
instantiiert alle Slot-Referenzen in set-of-slots
berechnet die Wertebelegung der ersten Constraint-Variablen
berechnet die Wertebelegung der Constraint-Variablen aus der externen Darstellung der Wertebelegung
Zugriff von consat auf andere Prozessoren
Zugriff von consat auf andere Prozessoren
Explain results.
Actually only the results of rule processor actions are explained.
introduces <- in rules.
ueberprueft die Syntax der externen Darstellung einer Variablenbelegung
liefert T, falls der Slotwert im Vergleich zum Wert im Constraint-Netz eine neue Restriction darstellt, also falls gilt
{ sv( slot) } -= cv( slot) und
sv( slot) -= undetermined
gets the relevant clauses for <goal> from <axiom-sets>.
ermittelt das zugehoerige primitive oder
zusammengesetzte Constraint
liefert Fehlermeldung, falls Constraint nicht definiert ist
sucht in def-body einen Ausdruck der Form (:condition <activation-condition>)
sucht in def-body einen Ausdruck der Form (:constraint-expressions . list( <constraint-expression> )
sucht in def-body einen Ausdruck der Form (:interface <variable-list>)
sucht in def-body einen Ausdruck der Form (:relation <relation>) und ueberprueft die Syntax von <relation>
sucht in def-body einen Ausdruck der Form (:type <constraint-typ>)
mit <constraint-typ> ::= primitive | compound
liefert die Menge von Assoziationslisten, fuer die die eingeschlossene restriction instantiiert werden soll
Eingabe: eine Zuordnung von Prolog-Variablen zu
lokalen Constraint-Variablen,
eine Wertebelegung der lokalen Variablen
Ausgabe: eine Liste von Wertemengen , so dass gilt: das i-te Element ist die Wertemenge der mit dem i-ten Prolog-Term assoziierten Variable
Retrieves selector-names attached with operators which may appear in rules.
yields the predicates used in the subgoals of <clause>.
ermittelt Wert des Slots
builds an empty axiom set named <axset-name>.
if <kb-name> is not NIL, <axset-name> is marked to be associated with <kb-name>.
fuer alle Wertekombinationen der Variablen wird die eingeschlossene uninstantiierte Restriction instantiiert, falls die Variablen die angegebene Bedingung erfuellen
ermittelt Menge aller Restrictions, die durch list-of-restrictions beschrieben werden
falls die erste Komponente von slot-ref in simple-alist auftritt, wird sie durch die entsprechende Instanz ersetzt
instantiiert alle Slots in slot-ref-list
instantiiert die eingeschlossenen Slot-Referenzen
ersetzt die Variablen in restriction durch die Instanz, die ihnen simple-alist zuweist
ermittelt Menge aller Restrictions, die durch list-of-restrictions beschrieben werden
Returns t if value is nil or undetermined, nil otherwise.
ueberprueft, ob Consat-Wertemenge vorliegt (laesst u.a. keine Dotted-Pairs zu)
checks whether <axset-name> is the name of a known axiom set. returns <axset-name>, if it is known and NIL otherwise.
baut eine Assoziationsliste fuer die variablen des for-all-Konstrukts
make clauses according to Prolog syntax.
liefert Wertebelegung derjenigen Slots, die seit dem letzten stabilen Zustand staerker eingeschraenkt wurden
accept multi-integer input from user and returns a list of the corresponding items, if input has been legal.
removes <- from rules and transforms facts into rules without body.
ueberprueft, ob die Variable auch tatsaechlich in slot-ref-list auftritt
ueberfuehrt die Possible-Values-Beschreibung in eine Consat-Wertemenge
prints <clause> to <stream> headed by <label>.
<clause> might be NIL producing an empty line.
if <stream> is NIL, a string is returned that contains the output,
otherwise an empty string is returned.
prints <clauses> to <stream>, each clause headed by <label>. if <stream> is NIL, a string is returned that contains the output, otherwise an empty string is returned.
druckt alle Constraints in der Liste in wiedereinlesbarer Form nach stream
displays the menu header
displays one row of the menu e.g. one item
prints the defining clauses of <pred> in <axset> to <stream>.
each clause is headed by <label>. if <stream> is NIL, a string is returned
that contains the output, otherwise an empty string is returned.
prints the defining clauses of all <preds> in <axset> to <stream>. each clause is headed by <label>. clauses for different predicates are separated by an empty line. if <stream> is NIL, a string is returned that contains the output, otherwise an empty string is returned.
adds <clause> to the clauses of <axiom-set> using <xconc> for the placement.
entfernt alle Variablen aus alist, die nicht in slot-ref-list auftreten
removes <clause> from the defining clauses of <axiom-set>.
the predicate of <clause> is removed from the list of predicates of <axiom-set>,
if no clauses remain.
removes all clauses in <axiom-set> without deleting <axiom-set>.
ersetzt possible-values, falls value-spec ungleich unconstrained ist
fuehrt einen Schreibversuch auf den Slot durch, falls value-spec einelementig ist
resets <axiom-set> if it belongs to the list of axiom sets <axiom-sets>.
asks whether to reset the current kb resetting it eventually.
substitutes all varcells in term by their values neglecting last instantiations.
instantiations are considered if their position in env is <= nr.
varcells not instantiated till then are replaced by their internal name, their
external name or by itself according to the value normal ext int of mode.
prepars a item for displaying
waehlt all diejenigen alists aus, die die Bedingung erfuellen
selektiert die lokalen Bedingungen (IF’s)
sendet Nachricht an aktuellen Constraint-Processor
passes messages to the prolog processor of the current kb.
ueberfuehrt slot-value in eine Consat-Wertemenge
adds item <new> to <list> before item <before>.
Defines the standard conflict resolution strategy.
asks whether to start the current kb starting it eventually.
substitutes all varcells in term by their values.
not instantiated varcells are replaced by their internal name, their external
name or by itself according to the values normal ext int of mode.
ersetzt in expression alle Symbole, die in simple-value-ass auftreten, durch quote und den Wert, den ihnen simple-value-ass zuweist
toggles rule tracing.
Toggles system trace mode.
mode.
rule.
term.
copies term substituting prolog variables by associated varcells. nonanymous variables are collected in *vars to avoid generating a new varcell for each occurrence of the same variable.
initial content of :value facet (localstate)
for use in rules
tries to unify term1 term2. instantiated varcells are stacked in *tenv.
alle Constraints in result-item-list erhalten die Nachricht :trace-on,
falls sie nicht protokolliert werden, bzw. :trace-off im entgegengesetzten Fall.
macht aus dem Ergebnis einer Constraint-Aktivierung einen boolschen Wert
falls expression keine Consat-Wertemenge ist, erfolgt Fehlermeldung
checks whether the current kb contains a prolog processor.
| Jump to: | $
%
(
/
<
=
?
A B C D E F G H I J K L M N O P R S T U V W X |
|---|
| Jump to: | $
%
(
/
<
=
?
A B C D E F G H I J K L M N O P R S T U V W X |
|---|
| Jump to: | *
A B C D F G I J K L M N P Q R S T V |
|---|
| Jump to: | *
A B C D F G I J K L M N P Q R S T V |
|---|
| Jump to: | A B C D E F J K L M N P R S T V |
|---|
| Jump to: | A B C D E F J K L M N P R S T V |
|---|