The babylon Reference Manual

This is the babylon Reference Manual, version 2.4.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Jul 15 03:21:16 2024 GMT+0.

Table of Contents


1 Introduction


2 Systems

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


2.1 babylon

Jürgen Walther’s modular, configurable, hybrid knowledge engineering systems framework for Common Lisp, restored from the CMU AI Repository.

Maintainer

"the Phoeron" Colin J.E. Lupton <>

Authors

"the Phoeron" Colin J.E. Lupton <>
Jürgen Walther <>

Contact

Home Page

https://thephoeron.github.io/babylon/

Source Control

(GIT https://github.com/thephoeron/babylon.git)

Bug Tracker

https://github.com/thephoeron/babylon/issues

License

MIT

Version

2.4.0

Dependencies
  • fmcs (system).
  • fare-quasiquote-extras (system)., for feature :sbcl
Source

babylon.asd.

Child Components

3 Modules

Modules are listed depth-first from the system components tree.


3.1 babylon/metakernel

Dependency

packages.lisp (file).

Source

babylon.asd.

Parent Component

babylon (system).

Child Components

3.2 babylon/extens

Dependency

metakernel (module).

Source

babylon.asd.

Parent Component

babylon (system).

Child Component

extens.lisp (file).


3.3 babylon/kernel

Dependency

extens (module).

Source

babylon.asd.

Parent Component

babylon (system).

Child Components

3.4 babylon/kernel/common

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.5 babylon/kernel/meta

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.6 babylon/kernel/freetext

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.7 babylon/kernel/frames

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.8 babylon/kernel/frames/basic

Source

babylon.asd.

Parent Component

frames (module).

Child Components

3.9 babylon/kernel/frames/mini

Source

babylon.asd.

Parent Component

frames (module).

Child Components

3.10 babylon/kernel/frames/normal

Source

babylon.asd.

Parent Component

frames (module).

Child Components

3.11 babylon/kernel/rules

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.12 babylon/kernel/rules/basic

Source

babylon.asd.

Parent Component

rules (module).

Child Components

3.13 babylon/kernel/rules/mini

Source

babylon.asd.

Parent Component

rules (module).

Child Components

3.14 babylon/kernel/rules/normal

Source

babylon.asd.

Parent Component

rules (module).

Child Components

3.15 babylon/kernel/prolog

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.16 babylon/kernel/prolog/basic

Source

babylon.asd.

Parent Component

prolog (module).

Child Components

3.17 babylon/kernel/prolog/mini

Source

babylon.asd.

Parent Component

prolog (module).

Child Components

3.18 babylon/kernel/prolog/normal

Source

babylon.asd.

Parent Component

prolog (module).

Child Components

3.19 babylon/kernel/consat

Source

babylon.asd.

Parent Component

kernel (module).

Child Components

3.20 babylon/kernel/consat/basic

Source

babylon.asd.

Parent Component

consat (module).

Child Components

3.21 babylon/kernel/consat/mini

Source

babylon.asd.

Parent Component

consat (module).

Child Components

3.22 babylon/kernel/consat/normal

Source

babylon.asd.

Parent Component

consat (module).

Child Components

3.23 babylon/tty

Dependency

kernel (module).

Source

babylon.asd.

Parent Component

babylon (system).

Child Components

3.24 babylon/tty/basic

Source

babylon.asd.

Parent Component

tty (module).

Child Components

3.25 babylon/tty/mini

Source

babylon.asd.

Parent Component

tty (module).

Child Components

3.26 babylon/tty/cmds

Source

babylon.asd.

Parent Component

tty (module).

Child Components

4 Files

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


4.1 Lisp


4.1.1 babylon/babylon.asd

Source

babylon.asd.

Parent Component

babylon (system).

ASDF Systems

babylon.

Packages

babylon/asdf.


4.1.2 babylon/packages.lisp

Source

babylon.asd.

Parent Component

babylon (system).

Packages

babylon.


4.1.3 babylon/metakernel/require.lisp

Source

babylon.asd.

Parent Component

metakernel (module).

Public Interface

cc-load (function).

Internals

4.1.4 babylon/metakernel/babtrans.lisp

Source

babylon.asd.

Parent Component

metakernel (module).


4.1.5 babylon/extens/extens.lisp

Source

babylon.asd.

Parent Component

extens (module).

Internals

4.1.6 babylon/kernel/common/vars.lisp

Source

babylon.asd.

Parent Component

common (module).

Public Interface
Internals

4.1.7 babylon/kernel/common/c-fns.lisp

Source

babylon.asd.

Parent Component

common (module).

Public Interface
Internals

4.1.8 babylon/kernel/common/p-core.lisp

Source

babylon.asd.

Parent Component

common (module).

Internals

processor-core (special variable).


4.1.9 babylon/kernel/meta/kb-tab-e.lisp

Source

babylon.asd.

Parent Component

meta (module).


4.1.10 babylon/kernel/meta/kb-tab-g.lisp

Source

babylon.asd.

Parent Component

meta (module).


4.1.11 babylon/kernel/meta/kb-core.lisp

Source

babylon.asd.

Parent Component

meta (module).

Public Interface
Internals

4.1.12 babylon/kernel/meta/m-mixin.lisp

Source

babylon.asd.

Parent Component

meta (module).

Public Interface

meta-processor-core (special variable).

Internals

toggle-system-trace (function).


4.1.13 babylon/kernel/meta/l-mixin.lisp

Source

babylon.asd.

Parent Component

meta (module).

Public Interface

lisp-mixin (special variable).

Internals

lisp-type (macro).


4.1.14 babylon/kernel/meta/kb-stub.lisp

Source

babylon.asd.

Parent Component

meta (module).

Internals

kb-stub (special variable).


4.1.15 babylon/kernel/freetext/ft-tab-e.lisp

Source

babylon.asd.

Parent Component

freetext (module).


4.1.16 babylon/kernel/freetext/ft-tab-g.lisp

Source

babylon.asd.

Parent Component

freetext (module).


4.1.17 babylon/kernel/freetext/ft-proc.lisp

Source

babylon.asd.

Parent Component

freetext (module).

Internals

4.1.18 babylon/kernel/freetext/ft-mixin.lisp

Source

babylon.asd.

Parent Component

freetext (module).

Public Interface

free-text-mixin (special variable).

Internals

4.1.19 babylon/kernel/frames/basic/fp-tab-e.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.20 babylon/kernel/frames/basic/fp-tab-g.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.21 babylon/kernel/frames/basic/frames.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.22 babylon/kernel/frames/basic/fr-core.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.23 babylon/kernel/frames/basic/bf-inter.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

frame-interpreter (special variable).


4.1.24 babylon/kernel/frames/basic/bf-proc.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

basic-frame-processor (special variable).


4.1.25 babylon/kernel/frames/basic/bf-mixin.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.26 babylon/kernel/frames/mini/pos-vals.lisp

Source

babylon.asd.

Parent Component

mini (module).

Public Interface

define-possible-values-behavior (macro).

Internals

4.1.27 babylon/kernel/frames/mini/ask-supp.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.28 babylon/kernel/frames/mini/mf-proc.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.29 babylon/kernel/frames/mini/mf-mixin.lisp

Source

babylon.asd.

Parent Component

mini (module).

Public Interface

mini-frame-mixin (special variable).


4.1.30 babylon/kernel/frames/normal/act-vals.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.31 babylon/kernel/frames/normal/nf-proc.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.32 babylon/kernel/frames/normal/nf-mixin.lisp

Source

babylon.asd.

Parent Component

normal (module).

Public Interface

normal-frame-mixin (special variable).


4.1.33 babylon/kernel/rules/basic/rp-tab-e.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.34 babylon/kernel/rules/basic/rp-tab-g.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.35 babylon/kernel/rules/basic/rules.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.36 babylon/kernel/rules/basic/data.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.37 babylon/kernel/rules/basic/br-inter.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.38 babylon/kernel/rules/basic/br-proc.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

basic-rule-processor (special variable).


4.1.39 babylon/kernel/rules/basic/br-mixin.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.40 babylon/kernel/rules/mini/mr-trace.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.41 babylon/kernel/rules/mini/mr-proc.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

mini-rule-processor (special variable).


4.1.42 babylon/kernel/rules/mini/mr-mixin.lisp

Source

babylon.asd.

Parent Component

mini (module).

Public Interface

mini-rule-mixin (special variable).

Internals

toggle-rule-trace (function).


4.1.43 babylon/kernel/rules/normal/nr-expl.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.44 babylon/kernel/rules/normal/nr-devel.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.45 babylon/kernel/rules/normal/nr-proc.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

normal-rule-processor (special variable).


4.1.46 babylon/kernel/rules/normal/nr-mixin.lisp

Source

babylon.asd.

Parent Component

normal (module).

Public Interface

normal-rule-mixin (special variable).

Internals

explain-results (function).


4.1.47 babylon/kernel/prolog/basic/pp-tab-e.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.48 babylon/kernel/prolog/basic/pp-tab-g.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.49 babylon/kernel/prolog/basic/axioms.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.50 babylon/kernel/prolog/basic/ax-sc.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.51 babylon/kernel/prolog/basic/bp-inter.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.52 babylon/kernel/prolog/basic/bp-preds.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.53 babylon/kernel/prolog/basic/bp-proc.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

basic-prolog-processor (special variable).


4.1.54 babylon/kernel/prolog/basic/bp-mixin.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.55 babylon/kernel/prolog/mini/mp-preds.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.56 babylon/kernel/prolog/mini/mp-trace.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.57 babylon/kernel/prolog/mini/mp-proc.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.58 babylon/kernel/prolog/mini/mp-mixin.lisp

Source

babylon.asd.

Parent Component

mini (module).

Public Interface

mini-prolog-mixin (special variable).

Internals

4.1.59 babylon/kernel/prolog/normal/np-devel.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.60 babylon/kernel/prolog/normal/np-expl.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

proc-explain-mixin (special variable).


4.1.61 babylon/kernel/prolog/normal/np-proc.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

normal-prolog-processor (special variable).


4.1.62 babylon/kernel/prolog/normal/np-mixin.lisp

Source

babylon.asd.

Parent Component

normal (module).

Public Interface

normal-prolog-mixin (special variable).

Internals

display-prooftree (function).


4.1.63 babylon/kernel/consat/basic/cp-tab-e.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.64 babylon/kernel/consat/basic/cp-tab-g.lisp

Source

babylon.asd.

Parent Component

basic (module).


4.1.65 babylon/kernel/consat/basic/bc-fns.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.66 babylon/kernel/consat/basic/primcstr.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface

constrained-p (function).

Internals

4.1.67 babylon/kernel/consat/basic/cstrnet.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.68 babylon/kernel/consat/basic/net-prop.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.69 babylon/kernel/consat/basic/cstrbase.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface

defconstraint (macro).

Internals

4.1.70 babylon/kernel/consat/basic/bc-proc.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

basic-constraint-processor (special variable).


4.1.71 babylon/kernel/consat/basic/bc-mixin.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface
Internals

4.1.72 babylon/kernel/consat/mini/mc-trace.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.73 babylon/kernel/consat/mini/mc-proc.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

mini-constraint-processor (special variable).


4.1.74 babylon/kernel/consat/mini/mc-mixin.lisp

Source

babylon.asd.

Parent Component

mini (module).

Public Interface

mini-constraint-mixin (special variable).

Internals

4.1.75 babylon/kernel/consat/normal/restrict.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.76 babylon/kernel/consat/normal/rstreval.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

4.1.77 babylon/kernel/consat/normal/rstrbase.lisp

Source

babylon.asd.

Parent Component

normal (module).

Public Interface

defrestriction (macro).

Internals

4.1.78 babylon/kernel/consat/normal/nc-proc.lisp

Source

babylon.asd.

Parent Component

normal (module).

Internals

normal-constraint-processor (special variable).


4.1.79 babylon/kernel/consat/normal/nc-mixin.lisp

Source

babylon.asd.

Parent Component

normal (module).

Public Interface

normal-constraint-mixin (special variable).


4.1.80 babylon/tty/basic/tty-menu.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

4.1.81 babylon/tty/basic/t-dialog.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

tty-dialog-mixin (special variable).


4.1.82 babylon/tty/basic/b-txscw.lisp

Source

babylon.asd.

Parent Component

basic (module).

Internals

basic-txsc-window (special variable).


4.1.83 babylon/tty/basic/b-mixin.lisp

Source

babylon.asd.

Parent Component

basic (module).

Public Interface

basic-interface-mixin (special variable).


4.1.84 babylon/tty/mini/mitem.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

menu-item-handler (special variable).


4.1.85 babylon/tty/mini/mloop.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

menu-loop (special variable).


4.1.86 babylon/tty/mini/m-mixin.lisp

Source

babylon.asd.

Parent Component

mini (module).

Public Interface

mini-interface-mixin (special variable).


4.1.87 babylon/tty/mini/sys-core.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

4.1.88 babylon/tty/mini/mbabylon.lisp

Source

babylon.asd.

Parent Component

mini (module).

Internals

mini-babylon (special variable).


4.1.89 babylon/tty/cmds/common-e.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.90 babylon/tty/cmds/frame-e.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.91 babylon/tty/cmds/consat-e.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.92 babylon/tty/cmds/rule-e.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.93 babylon/tty/cmds/prolog-e.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.94 babylon/tty/cmds/common-g.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.95 babylon/tty/cmds/frame-g.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.96 babylon/tty/cmds/consat-g.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.97 babylon/tty/cmds/rule-g.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.98 babylon/tty/cmds/prolog-g.lisp

Source

babylon.asd.

Parent Component

cmds (module).


4.1.99 babylon/tty/customs.lisp

Source

babylon.asd.

Parent Component

tty (module).

Public Interface

normal-interface-mixin (special variable).

Internals

normal-babylon (special variable).


4.1.100 babylon/babylon.lisp

Dependency

tty (module).

Source

babylon.asd.

Parent Component

babylon (system).

Internals

4.1.101 babylon/bab-init.lisp

Dependency

babylon.lisp (file).

Source

babylon.asd.

Parent Component

babylon (system).


5 Packages

Packages are listed by definition order.


5.1 babylon

Source

packages.lisp.

Nickname

baby

Use List
  • common-lisp.
  • fmcs.
Public Interface
Internals

5.2 babylon/asdf

Source

babylon.asd.

Nickname

babylon/sys

Use List
  • asdf/interface.
  • common-lisp.
  • uiop/driver.

6 Definitions

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


6.1 Public Interface


6.1.1 Special variables

Special Variable: *babylon-version*
Package

babylon.

Source

vars.lisp.

Special Variable: *current-knowledge-base*
Package

babylon.

Source

vars.lisp.

Special Variable: basic-constraint-mixin
Package

babylon.

Source

bc-mixin.lisp.

Special Variable: basic-frame-mixin
Package

babylon.

Source

bf-mixin.lisp.

Special Variable: basic-interface-mixin
Package

babylon.

Source

b-mixin.lisp.

Special Variable: basic-prolog-mixin
Package

babylon.

Source

bp-mixin.lisp.

Special Variable: basic-rule-mixin
Package

babylon.

Source

br-mixin.lisp.

Special Variable: free-text-mixin
Package

babylon.

Source

ft-mixin.lisp.

Special Variable: kb-processor-core
Package

babylon.

Source

kb-core.lisp.

Special Variable: lisp-mixin
Package

babylon.

Source

l-mixin.lisp.

Special Variable: meta-processor-core
Package

babylon.

Source

m-mixin.lisp.

Special Variable: mini-constraint-mixin
Package

babylon.

Source

mc-mixin.lisp.

Special Variable: mini-frame-mixin
Package

babylon.

Source

mf-mixin.lisp.

Special Variable: mini-interface-mixin
Package

babylon.

Source

m-mixin.lisp.

Special Variable: mini-prolog-mixin
Package

babylon.

Source

mp-mixin.lisp.

Special Variable: mini-rule-mixin
Package

babylon.

Source

mr-mixin.lisp.

Special Variable: normal-constraint-mixin
Package

babylon.

Source

nc-mixin.lisp.

Special Variable: normal-frame-mixin
Package

babylon.

Source

nf-mixin.lisp.

Special Variable: normal-interface-mixin
Package

babylon.

Source

customs.lisp.

Special Variable: normal-prolog-mixin
Package

babylon.

Source

np-mixin.lisp.

Special Variable: normal-rule-mixin
Package

babylon.

Source

nr-mixin.lisp.


6.1.2 Macros

Macro: $value (slot-name &optional prop-name)
Setf Expander: (setf $value) (slot-name &optional prop-name)
Package

babylon.

Source

fr-core.lisp.

Macro: /== (arg1 arg2)
Package

babylon.

Source

bp-preds.lisp.

Macro: <- (instance-name slot-or-method &rest args)
Package

babylon.

Source

fr-core.lisp.

Macro: <-- (instance-name slot-or-method &rest args)
Package

babylon.

Source

fr-core.lisp.

Macro: =.= (arg1 arg2)
Package

babylon.

Source

bp-preds.lisp.

Macro: =/= (arg1 arg2)
Package

babylon.

Source

bp-preds.lisp.

Macro: =< (arg1 arg2)
Package

babylon.

Source

bp-preds.lisp.

Macro: == (arg1 arg2)
Package

babylon.

Source

bp-preds.lisp.

Macro: asserta (clause axiom-set)
Package

babylon.

Source

axioms.lisp.

Macro: assertz (clause axiom-set)
Package

babylon.

Source

axioms.lisp.

Macro: def-kb-configuration (flavor-name &rest options)

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.

Package

babylon.

Source

kb-core.lisp.

Macro: def-kb-instance (kb-name kb-configuration &rest init-plist)

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.

Package

babylon.

Source

kb-core.lisp.

Macro: defaxiom-set (axset-name &rest clauses)

constructor macro for free axiom sets.

Package

babylon.

Source

axioms.lisp.

Macro: defbehavior (behavior-spec lambda-list &body behavior-body)
Package

babylon.

Source

bf-mixin.lisp.

Macro: defclauses (&rest clauses)

constructor for kb-relations.

Package

babylon.

Source

bp-mixin.lisp.

Macro: defconstraint (def-name &rest def-body)
Package

babylon.

Source

cstrbase.lisp.

Macro: defframe (frame-name &body body)
Package

babylon.

Source

bf-mixin.lisp.

Macro: define-possible-values-behavior ((frame-name method-name) lambda-list form)
Package

babylon.

Source

pos-vals.lisp.

Macro: definstance (instance-name of frame-name &body body)
Package

babylon.

Source

bf-mixin.lisp.

Macro: defrelations (&rest relations)
Package

babylon.

Source

bp-mixin.lisp.

Macro: defrestriction (name &rest expr)
Package

babylon.

Source

rstrbase.lisp.

Macro: defrule-set (rule-set-name &rest rules)
Package

babylon.

Source

br-mixin.lisp.

Macro: get-instance (instance-name)
Package

babylon.

Source

frames.lisp.

Macro: instructions (&rest instructions)

assigns instructions to the instructions slot of the current kb.

Package

babylon.

Source

kb-core.lisp.

Macro: lisp (&rest formlist)
Package

babylon.

Source

c-fns.lisp.

Macro: rule-set (rule-set-name &rest rules)
Package

babylon.

Source

br-mixin.lisp.

Macro: satisfied-p (&rest expression)

ermoeglicht Verwendung von Satisfied-p-Konstrukten in Lisp-Ausdruecken

Package

babylon.

Source

bc-mixin.lisp.

Macro: satisfy (&rest expression)

ermoeglicht Verwendung von Satisfy-Konstrukten in Lisp-Ausdruecken

Package

babylon.

Source

bc-mixin.lisp.

Macro: set-instance-pointer (variable-name instance-name)
Package

babylon.

Source

frames.lisp.


6.1.3 Ordinary functions

Function: cc-load (file-name &key recompile error)
Package

babylon.

Source

require.lisp.

Function: constrained-p (&rest variables)
Package

babylon.

Source

primcstr.lisp.

Function: find-implications (&optional rule-set-name control-structure condition bindings)
Package

babylon.

Source

br-mixin.lisp.

Function: get-all-instances (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-all-subframes (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-all-supers (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-instance-list (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-subframes (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-supers (frame-name)
Package

babylon.

Source

frames.lisp.

Function: is-frame (name)
Package

babylon.

Source

frames.lisp.

Function: is-instance (name)
Package

babylon.

Source

frames.lisp.

Function: say (string &rest args)
Package

babylon.

Source

c-fns.lisp.

Function: send-current-knowledge-base (selector &rest args)
Package

babylon.

Source

c-fns.lisp.

Function: send-kb (selector &rest args)
Package

babylon.

Source

c-fns.lisp.

Function: send-rule (selector &rest args)

Send to current rule-processor.

Package

babylon.

Source

br-mixin.lisp.

Function: unknown ()

standard possible answer of USER

Package

babylon.

Source

c-fns.lisp.


6.2 Internals


6.2.1 Special variables

Special Variable: *axiom-sets*
Package

babylon.

Source

vars.lisp.

Special Variable: *bab-host*
Package

babylon.

Source

require.lisp.

Special Variable: *bab-prompt*
Package

babylon.

Source

vars.lisp.

Special Variable: *babylon*
Package

babylon.

Source

vars.lisp.

Special Variable: *babylon-module-search-path*
Package

babylon.

Source

require.lisp.

Special Variable: *babylon-modules*
Package

babylon.

Source

require.lisp.

Special Variable: *babylon-patches-search-path*
Package

babylon.

Source

require.lisp.

Special Variable: *babylon-translations*
Package

babylon.

Source

require.lisp.

Special Variable: *c-help-key*
Package

babylon.

Source

vars.lisp.

Special Variable: *current-ted*

the unique current tree editor which can ~@
be controlled via function calls in a lisp listener.

Package

babylon.

Source

vars.lisp.

Special Variable: *default-dialog-stream*
Package

babylon.

Source

vars.lisp.

Special Variable: *default-interface*
Package

babylon.

Source

vars.lisp.

Special Variable: *default-kb-configuration*
Package

babylon.

Source

vars.lisp.

Special Variable: *default-language*
Package

babylon.

Source

vars.lisp.

Special Variable: *default-procs*
Package

babylon.

Source

vars.lisp.

Special Variable: *end-key*
Package

babylon.

Source

vars.lisp.

Special Variable: *first-ped-interface-call*
Package

babylon.

Source

vars.lisp.

Special Variable: *font-menu*
Package

babylon.

Source

vars.lisp.

Special Variable: *frame-meta-predicates*
Package

babylon.

Source

vars.lisp.

Special Variable: *free-text-meta-predicates*
Package

babylon.

Source

vars.lisp.

Special Variable: *help-key*
Package

babylon.

Source

vars.lisp.

Special Variable: *item-width*
Package

babylon.

Source

vars.lisp.

Special Variable: *known-knowledge-bases*
Package

babylon.

Source

vars.lisp.

Special Variable: *language*
Package

babylon.

Source

vars.lisp.

Special Variable: *max-menu-entries*
Package

babylon.

Source

vars.lisp.

Special Variable: *maxvar*
Package

babylon.

Source

vars.lisp.

Special Variable: *meta-preds*
Package

babylon.

Source

vars.lisp.

Special Variable: *prolog-junctor-for-rules*
Package

babylon.

Source

vars.lisp.

Special Variable: *prolog-preds-traced*
Package

babylon.

Source

vars.lisp.

Special Variable: *prolog-syspreds*
Package

babylon.

Source

vars.lisp.

Special Variable: *recompile*
Package

babylon.

Source

require.lisp.

Special Variable: *rule-meta-predicates*
Package

babylon.

Source

vars.lisp.

Special Variable: *tenv
Package

babylon.

Source

ax-sc.lisp.

Special Variable: *tenv-depth
Package

babylon.

Source

ax-sc.lisp.

Special Variable: *trans-path-fkt*
Package

babylon.

Source

require.lisp.

Special Variable: *var-prefix*
Package

babylon.

Source

vars.lisp.

Special Variable: *vars
Package

babylon.

Source

ax-sc.lisp.

Special Variable: active-value-frame-core
Package

babylon.

Source

nf-proc.lisp.

Special Variable: active-value-mixin
Package

babylon.

Source

act-vals.lisp.

Special Variable: ax-develop-mixin
Package

babylon.

Source

np-devel.lisp.

Special Variable: axset-basic
Package

babylon.

Source

axioms.lisp.

Special Variable: basic-constraint-processor
Package

babylon.

Source

bc-proc.lisp.

Special Variable: basic-frame-processor
Package

babylon.

Source

bf-proc.lisp.

Special Variable: basic-free-text-processor
Package

babylon.

Source

ft-proc.lisp.

Special Variable: basic-goalbox
Package

babylon.

Source

bp-preds.lisp.

Special Variable: basic-prolog-processor
Package

babylon.

Source

bp-proc.lisp.

Special Variable: basic-rule-processor
Package

babylon.

Source

br-proc.lisp.

Special Variable: basic-txsc-window
Package

babylon.

Source

b-txscw.lisp.

Special Variable: constraint
Package

babylon.

Source

primcstr.lisp.

Special Variable: constraint-base
Package

babylon.

Source

cstrbase.lisp.

Special Variable: constraint-net
Package

babylon.

Source

cstrnet.lisp.

Special Variable: constraint-trace-mixin
Package

babylon.

Source

mc-trace.lisp.

Special Variable: data-base
Package

babylon.

Source

data.lisp.

Special Variable: frame-base
Package

babylon.

Source

frames.lisp.

Special Variable: frame-core
Package

babylon.

Source

fr-core.lisp.

Special Variable: frame-interpreter
Package

babylon.

Source

bf-inter.lisp.

Special Variable: goalbox-sc-mixin
Package

babylon.

Source

ax-sc.lisp.

Special Variable: goalbox-trace-mixin
Package

babylon.

Source

mp-preds.lisp.

Special Variable: kb-stub
Package

babylon.

Source

kb-stub.lisp.

Special Variable: menu-item-handler
Package

babylon.

Source

mitem.lisp.

Special Variable: menu-loop
Package

babylon.

Source

mloop.lisp.

Special Variable: mini-babylon
Package

babylon.

Source

mbabylon.lisp.

Special Variable: mini-constraint-processor
Package

babylon.

Source

mc-proc.lisp.

Special Variable: mini-frame-processor
Package

babylon.

Source

mf-proc.lisp.

Special Variable: mini-goalbox
Package

babylon.

Source

mp-proc.lisp.

Special Variable: mini-prolog-processor
Package

babylon.

Source

mp-proc.lisp.

Special Variable: mini-rule-processor
Package

babylon.

Source

mr-proc.lisp.

Special Variable: normal-babylon
Package

babylon.

Source

customs.lisp.

Special Variable: normal-constraint-processor
Package

babylon.

Source

nc-proc.lisp.

Special Variable: normal-frame-processor
Package

babylon.

Source

nf-proc.lisp.

Special Variable: normal-prolog-processor
Package

babylon.

Source

np-proc.lisp.

Special Variable: normal-rule-processor
Package

babylon.

Source

nr-proc.lisp.

Special Variable: poss-val-frame-core
Package

babylon.

Source

mf-proc.lisp.

Special Variable: poss-val-mixin
Package

babylon.

Source

pos-vals.lisp.

Special Variable: proc-explain-mixin
Package

babylon.

Source

np-expl.lisp.

Special Variable: proc-sc-mixin
Package

babylon.

Source

ax-sc.lisp.

Special Variable: processor-core
Package

babylon.

Source

p-core.lisp.

Special Variable: prolog-interpreter
Package

babylon.

Source

bp-inter.lisp.

Special Variable: prolog-trace-mixin
Package

babylon.

Source

mp-trace.lisp.

Special Variable: restricted-slot
Package

babylon.

Source

restrict.lisp.

Special Variable: restriction-base
Package

babylon.

Source

rstrbase.lisp.

Special Variable: restriction-definition
Package

babylon.

Source

restrict.lisp.

Special Variable: restriction-net
Package

babylon.

Source

restrict.lisp.

Special Variable: rule-base
Package

babylon.

Source

rules.lisp.

Special Variable: rule-develop-mixin
Package

babylon.

Source

nr-devel.lisp.

Special Variable: rule-explain-mixin
Package

babylon.

Source

nr-expl.lisp.

Special Variable: rule-interpreter
Package

babylon.

Source

br-inter.lisp.

Special Variable: rule-trace-mixin
Package

babylon.

Source

mr-trace.lisp.

Special Variable: system-core
Package

babylon.

Source

sys-core.lisp.

Special Variable: traced-constraint
Package

babylon.

Source

mc-trace.lisp.

Special Variable: traced-constraint-net
Package

babylon.

Source

mc-trace.lisp.

Special Variable: tty-dialog-mixin
Package

babylon.

Source

t-dialog.lisp.

Special Variable: tty-menu-mixin
Package

babylon.

Source

tty-menu.lisp.


6.2.2 Macros

Macro: $inst (instance-name)
Package

babylon.

Source

frames.lisp.

Macro: $setf-value (slot-name new-value &optional prop-name)
Package

babylon.

Source

fr-core.lisp.

Macro: ?- (&rest goals)
Package

babylon.

Source

bp-mixin.lisp.

Macro: add-pred (pred axiom-set)

adds <pred> to the list of predicates of <axiom-set>.

Package

babylon.

Source

axioms.lisp.

Macro: assign-typefkt (fkt mixin)

Assigns a type predicate to the processor mixin.

Package

babylon.

Source

c-fns.lisp.

Macro: baberror (fstr &rest args)
Package

babylon.

Source

extens.lisp.

Macro: body (rule)
Package

babylon.

Source

axioms.lisp.

Macro: check-for-equal-relation (relation)
Package

babylon.

Source

fr-core.lisp.

Macro: clause-type (clause)
Package

babylon.

Source

axioms.lisp.

Macro: constraint-type (expression)

ermittelt den Typ von expression und fuehrt einen Syntaxtest durch

Package

babylon.

Source

bc-mixin.lisp.

Macro: create-unnamed-instance (instance-name frame-name &optional with-specification)
Package

babylon.

Source

bf-mixin.lisp.

Macro: cut-reset ()

resets a goal in case of cut.

Package

babylon.

Source

ax-sc.lisp.

Macro: defbabylon-entry (key table lang value)
Package

babylon.

Source

c-fns.lisp.

Macro: defbabylon-table (name lang &rest options)
Package

babylon.

Source

c-fns.lisp.

Macro: defbabylon-translation (name first-tname &optional second-tname)
Package

babylon.

Source

require.lisp.

Macro: define-possible-values-method ((flavor-name method-name) lambda-list form)

macro to create the method which is used to check a new value. lambda-list := (<value-to-check> <possible-values-args>).

Package

babylon.

Source

pos-vals.lisp.

Macro: define-relation-behavior ((frame-name relation-name) lambda-list &body body)
Package

babylon.

Source

fr-core.lisp.

Macro: define-relation-method ((flavor-name relation-name) lambda-list &body body)
Package

babylon.

Source

fr-core.lisp.

Macro: defjunctor (name rule-interpreter-method mode)

Associates operators in rules with mode and method for execution.

Package

babylon.

Source

br-inter.lisp.

Macro: defprolog-method (pred method)

assigns a proof method to a pred(icate).

Package

babylon.

Source

bp-preds.lisp.

Macro: defprolog-trace-methods (pred before after)
Package

babylon.

Source

mp-preds.lisp.

Macro: defrequest (name &rest plist)

Defines methods to be used for a request type.

Package

babylon.

Source

c-fns.lisp.

Macro: eval-lisp-call (goal)
Package

babylon.

Source

bp-preds.lisp.

Macro: frame-behaviors (frame-internal-name)
Package

babylon.

Source

frames.lisp.

Macro: frame-definition (frame-internal-name)
Package

babylon.

Source

frames.lisp.

Macro: frame-instances (frame-internal-name)
Package

babylon.

Source

frames.lisp.

Macro: frame-options (frame-body)
Package

babylon.

Source

frames.lisp.

Macro: frame-slots (frame-body)
Package

babylon.

Source

frames.lisp.

Macro: frame-subclasses (frame-internal-name)
Package

babylon.

Source

frames.lisp.

Macro: frame-supers (frame-body)
Package

babylon.

Source

frames.lisp.

Macro: frame-type (request)
Package

babylon.

Source

bf-mixin.lisp.

Macro: free-text-type (request)
Package

babylon.

Source

ft-mixin.lisp.

Macro: gen-varcell (var)

generates a varcell for var using *maxvar* as internal number.

Package

babylon.

Source

ax-sc.lisp.

Macro: get-action-type (right-hand-side)
Package

babylon.

Source

rules.lisp.

Macro: get-condition (rel-elem)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-constr-name (c-expr)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-curr-method (goal)

provides the right proof method for goal.

Package

babylon.

Source

mp-preds.lisp.

Macro: get-curr-method-for-pred (pred)

provides the right proof method for pred(icate).

Package

babylon.

Source

mp-preds.lisp.

Macro: get-expressions (rel-elem)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-global-var (var-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-inst-assignment (generic-restriction)
Package

babylon.

Source

rstrbase.lisp.

Macro: get-instance-or-self (instance-name)
Package

babylon.

Source

frames.lisp.

Macro: get-instance-with-check (instance-name)
Package

babylon.

Source

frames.lisp.

Macro: get-junctor (left-hand-side)
Package

babylon.

Source

rules.lisp.

Macro: get-keyword (rel-elem)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-local-var (var-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-method-for-pred (pred)

provides the right proof method for pred(icate).

Package

babylon.

Source

bp-preds.lisp.

Macro: get-name-of-c-assoc (constraint-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-net-var (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Macro: get-object-of-c-assoc (constraint-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-object-of-slot-ref (slot-ref)

liefert Instanz oder Variable der Slot-referenz

Package

babylon.

Source

restrict.lisp.

Macro: get-parameters (c-expr)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-preds (axiom-set)

gets the list of predicates of <axiom-set>.

Package

babylon.

Source

axioms.lisp.

Macro: get-prove-method (goal)

provides the right proof method for goal.

Package

babylon.

Source

bp-preds.lisp.

Macro: get-rule-actions (right-hand-side)
Package

babylon.

Source

rules.lisp.

Macro: get-rule-conditions (left-hand-side)
Package

babylon.

Source

rules.lisp.

Macro: get-set-of-instances (inst-ass)
Package

babylon.

Source

rstrbase.lisp.

Macro: get-simple-value (simple-value-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-slot-of-slot-ref (slot-ref)
Package

babylon.

Source

restrict.lisp.

Macro: get-slot-plist (slot-name)
Package

babylon.

Source

fr-core.lisp.

Macro: get-trace-constr (trace-elem)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-trace-value-ass (trace-elem)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-tupel (rel-elem)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-value (instance-name slot-name &optional prop-name)
Setf Expander: (setf get-value) (object-name slot-name &optional prop-name)
Package

babylon.

Source

fr-core.lisp.

Macro: get-value-spec (value-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-var (value-assoc)
Package

babylon.

Source

bc-fns.lisp.

Macro: get-var-info (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Macro: get-var-of-inst-ass (inst-ass)
Package

babylon.

Source

rstrbase.lisp.

Macro: getentry (key table)
Package

babylon.

Source

c-fns.lisp.

Macro: getentry2 (key table)
Package

babylon.

Source

c-fns.lisp.

Macro: head (rule)
Package

babylon.

Source

axioms.lisp.

Macro: hypotheses (&rest hypotheses)
Package

babylon.

Source

br-mixin.lisp.

Macro: inst-assignment-p (inst-ass)

ueberprueft, ob der Anfang der Liste inst-ass eine Belegung einer variablen darstellt

Package

babylon.

Source

rstrbase.lisp.

Macro: instance-definition (instance-internal-name)
Package

babylon.

Source

frames.lisp.

Macro: instantiate-pattern (alist pattern)
Package

babylon.

Source

br-inter.lisp.

Macro: is-bound (varcell)
Package

babylon.

Source

ax-sc.lisp.

Macro: is-entry (key table)
Package

babylon.

Source

c-fns.lisp.

Macro: is-facet (x)
Package

babylon.

Source

frames.lisp.

Macro: is-fact (clause)
Package

babylon.

Source

axioms.lisp.

Macro: is-path (x)
Package

babylon.

Source

frames.lisp.

Macro: is-rest-bound (varcell nr)
Package

babylon.

Source

ax-sc.lisp.

Macro: is-rule-clause (clause)
Package

babylon.

Source

axioms.lisp.

Macro: is-simple-clause (clause)
Package

babylon.

Source

axioms.lisp.

Macro: is-t (assertions)
Package

babylon.

Source

ax-sc.lisp.

Macro: is-user-defined-method (x)
Package

babylon.

Source

frames.lisp.

Macro: is-value (prop-name)
Package

babylon.

Source

frames.lisp.

Macro: is-var (x)
Package

babylon.

Source

ax-sc.lisp.

Macro: knowledge-base (kb-name &rest init-plist)

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.

Package

babylon.

Source

kb-core.lisp.

Macro: lisp-type (request)
Package

babylon.

Source

l-mixin.lisp.

Macro: make-babylon (type &rest init-plist)

constructor macro for a system kb.

Package

babylon.

Source

sys-core.lisp.

Macro: make-c-expr (c-name var-alist)
Package

babylon.

Source

bc-fns.lisp.

Macro: make-constraint-assoc (name constraint)
Package

babylon.

Source

bc-fns.lisp.

Macro: make-info-assoc (var var-info)
Package

babylon.

Source

primcstr.lisp.

Macro: make-simple-val-assoc (var value)
Package

babylon.

Source

bc-fns.lisp.

Macro: make-slot-ref (object slot)
Package

babylon.

Source

restrict.lisp.

Macro: make-trace-elem (c-expr value-alist)
Package

babylon.

Source

bc-fns.lisp.

Macro: make-value-assoc (var value-spec)
Package

babylon.

Source

bc-fns.lisp.

Macro: make-var-assoc (local global)
Package

babylon.

Source

bc-fns.lisp.

Macro: next-inst-assignment (inst-ass)
Package

babylon.

Source

rstrbase.lisp.

Macro: normal-reset ()

resets a goal.

Package

babylon.

Source

ax-sc.lisp.

Macro: normalize-args (args)
Package

babylon.

Source

fr-core.lisp.

Macro: pred (head)
Package

babylon.

Source

axioms.lisp.

Macro: prepare-reset ()

prepares a goal for backtracking.

Package

babylon.

Source

ax-sc.lisp.

Macro: prepare-side-reset ()

prepares a goal causing backtrackable side effects for backtracking.

Package

babylon.

Source

ax-sc.lisp.

Macro: prolog-type (request)

type checking macro.

Package

babylon.

Source

bp-mixin.lisp.

Macro: put-value (instance-name slot-name new-value &optional prop-name)
Package

babylon.

Source

fr-core.lisp.

Macro: rem-clauses (pred axiom-set)

removes <pred> from the list of predicates of <axiom-set> with all defining clauses.

Package

babylon.

Source

axioms.lisp.

Macro: rem-pred (pred axiom-set)

removes <pred> from the list of predicates of <axiom-set>.

Package

babylon.

Source

axioms.lisp.

Macro: rem-preds (axiom-set)

removes the list of predicates of <axiom-set>.

Package

babylon.

Source

axioms.lisp.

Macro: reset-instance (instance-name)
Package

babylon.

Source

frames.lisp.

Macro: reset-instances (&rest list-of-instance-names)
Package

babylon.

Source

frames.lisp.

Macro: rule-body (rule)
Package

babylon.

Source

rules.lisp.

Macro: rule-reference-type (request)
Package

babylon.

Source

br-mixin.lisp.

Macro: setvar (varcell term)

instantiates varcell with term pushing varcell on the environment stack.

Package

babylon.

Source

ax-sc.lisp.

Macro: side-reset ()

resets a goal causing backtrackable side effects.

Package

babylon.

Source

ax-sc.lisp.

Macro: testif (rule left-hand-side rule-set mode)
Package

babylon.

Source

br-inter.lisp.

Macro: use-kb-instance (kb-name)

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.

Package

babylon.

Source

kb-core.lisp.

Macro: usethen (rule right-hand-side rule-set mode)
Package

babylon.

Source

br-inter.lisp.


6.2.3 Ordinary functions

Function: %get-frame-name (frame-internal-name)
Package

babylon.

Source

frames.lisp.

Function: %get-object-name (object-name &optional kb-pkg)
Package

babylon.

Source

frames.lisp.

Function: %is-behavior (selector instance prefix)
Package

babylon.

Source

bf-mixin.lisp.

Function: %is-frame (object-internal-name)
Package

babylon.

Source

frames.lisp.

Function: %is-frame-name (name prefix)
Package

babylon.

Source

bf-mixin.lisp.

Function: %is-instance (object-internal-name)
Package

babylon.

Source

frames.lisp.

Function: %is-instance-name (name prefix)
Package

babylon.

Source

bf-mixin.lisp.

Function: %is-slot (slot instance prefix)
Package

babylon.

Source

bf-mixin.lisp.

Function: %make-object-name (name &optional kb-pkg)
Package

babylon.

Source

frames.lisp.

Function: abbreviated-condition (condition)

T, falls condition gleich :OR ist

Package

babylon.

Source

cstrbase.lisp.

Function: activation-p (condition list-of-value-ass)
Package

babylon.

Source

primcstr.lisp.

Function: adapt-consistency-level (consistency-level)
Package

babylon.

Source

net-prop.lisp.

Function: add-axioms (axiom-set clauses)

adds <clauses> to the clauses of <axiom-set>.

Package

babylon.

Source

axioms.lisp.

Function: add-instance-to-frame (frame-name instance-name)
Package

babylon.

Source

frames.lisp.

Function: add-subframe (frame-name super-frame-name)
Package

babylon.

Source

frames.lisp.

Function: add-to-behaviors (frame-name behavior-def)
Package

babylon.

Source

frames.lisp.

Function: add-var-info-values (info-assoc value-spec)
Package

babylon.

Source

primcstr.lisp.

Function: adjust-value-ass (variables value-ass)
Package

babylon.

Source

bc-fns.lisp.

Function: admissible-net-p (list-of-slots net-spec)

liefert t, falls die Wertebelegung der Netzvariablen noch zulaessig ist

Package

babylon.

Source

rstreval.lisp.

Function: admissible-slot-value-p (slot-ref net-spec)

liefert t, falls fuer den Slot gilt

{ sv( slot ) } = cv( slot )

Package

babylon.

Source

rstreval.lisp.

Function: after-image-load ()
Package

babylon.

Source

babylon.lisp.

Reader: agenda-elem-filtered-p (instance)
Writer: (setf agenda-elem-filtered-p) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

filtered-p.

Reader: agenda-elem-init-trace (instance)
Writer: (setf agenda-elem-init-trace) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

init-trace.

Function: agenda-elem-p (object)
Package

babylon.

Source

cstrnet.lisp.

Reader: agenda-elem-queue (instance)
Writer: (setf agenda-elem-queue) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

queue.

Reader: agenda-elem-trace (instance)
Writer: (setf agenda-elem-trace) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

trace.

Function: assert-axioms (axset-name clauses &optional kb-name)

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

Package

babylon.

Source

axioms.lisp.

Function: augment-mult-choose-item-list (mult-choose-item-list nr)

creates a modified item list by adding an integer in front of each item. this integer is used for selecting the item

Package

babylon.

Source

tty-menu.lisp.

Function: bab-provide (module)
Package

babylon.

Source

require.lisp.

Function: bab-require (modul-name &optional pathlist)
Package

babylon.

Source

require.lisp.

Function: babpprint (object &optional stream)
Package

babylon.

Source

extens.lisp.

Function: babylon-hello ()
Package

babylon.

Source

babylon.lisp.

Function: build-constraint-trace-item-list (constraint-list)
Package

babylon.

Source

mc-mixin.lisp.

Function: build-explain-item-list (choices explanations)
Package

babylon.

Source

ask-supp.lisp.

Function: build-mult-choose-item-list (list)
Package

babylon.

Source

ask-supp.lisp.

Function: call-babylon ()
Package

babylon.

Source

sys-core.lisp.

Function: call-kb (&optional kb)

selects kb.

Package

babylon.

Source

kb-core.lisp.

Function: check-bindings (rule-set-name variables-specification bindings)
Package

babylon.

Source

rules.lisp.

Function: check-for-clause (clause)
Package

babylon.

Source

bp-preds.lisp.

Function: check-frame-definition (frame-name body)
Package

babylon.

Source

frames.lisp.

Function: check-instance-definition (instance-name of frame-name body)
Package

babylon.

Source

frames.lisp.

Function: check-rule-set-syntax (a-rule-set knowledge-base-name)
Package

babylon.

Source

rules.lisp.

Function: check-rule-set-variables-specification (variables-specification where)
Package

babylon.

Source

rules.lisp.

Function: check-rule-syntax (rule &optional where)
Package

babylon.

Source

rules.lisp.

Function: choose-constraint-trace-mode (trace-item-list)

bittet den Benutzer um die Wahl der Constraints, deren Trace-Modes umgeschaltet werden sollen

Package

babylon.

Source

mc-mixin.lisp.

Function: choose-element-type ()
Package

babylon.

Source

bc-mixin.lisp.

Function: choose-number-of-results ()

liest die Anzahl der global konsistenten Loesungen ein, die berechnet werden sollen

Package

babylon.

Source

bc-mixin.lisp.

Function: choose-relation ()
Package

babylon.

Source

bc-mixin.lisp.

Function: choose-special-constraint (constraint-liste)

bittet den Benutzer, eines der Constraints in Constraint-Liste auszuwaehlen.

Package

babylon.

Source

bc-mixin.lisp.

Function: choose-value-assignment (interface)

liest eine Wertebelegung der Interface-Variablen schrittweise ein

Package

babylon.

Source

bc-mixin.lisp.

Function: choose-value-spec (variable)

liest eine Wertemenge fuer diese Variable ein

Package

babylon.

Source

bc-mixin.lisp.

Function: collect-clauses (axset preds)

provides a list of the defining clauses for the predicates <preds> in <axset>. clauses for different predicates are separated by NIL.

Package

babylon.

Source

axioms.lisp.

Function: collect-results (a-list)

creates a list out of the second elements of a-list’s lists

Package

babylon.

Source

tty-menu.lisp.

Function: collect-term-components (terms component)
Package

babylon.

Source

nr-devel.lisp.

Function: combine-two-alists (val-ass1 val-ass2)
Package

babylon.

Source

bc-fns.lisp.

Function: combine-values (value-set1 value-set2)
Package

babylon.

Source

bc-fns.lisp.

Function: combine-variable-alists (list-of-val-ass variables)
Package

babylon.

Source

bc-fns.lisp.

Function: compatible-value-p (value variable simple-val-ass)
Package

babylon.

Source

bc-fns.lisp.

Function: compile-condition (condition relation)

falls :OR als condition angegeben ist, wird die Disjunktion der :IF’s genommen

Package

babylon.

Source

cstrbase.lisp.

Function: complete-to-n (str nr)

verlaengert str um nr blanks bzw. kuerzt str um nr+3

Package

babylon.

Source

c-fns.lisp.

Function: compute-list-expr (expr self)
Package

babylon.

Source

fr-core.lisp.

Function: compute-new-number-of-results (number-of-results list-of-value-ass)
Package

babylon.

Source

net-prop.lisp.

Function: compute-slot-names (slot-specs)
Package

babylon.

Source

frames.lisp.

Function: compute-slots (slot-specs)
Package

babylon.

Source

frames.lisp.

Function: compute-slots2 (slot-specs)
Package

babylon.

Source

frames.lisp.

Function: compute-term (term)
Package

babylon.

Source

c-fns.lisp.

Function: compute-used-slots (terms)
Package

babylon.

Source

nr-devel.lisp.

Function: cons-if-not-nil (x y)
Package

babylon.

Source

bc-fns.lisp.

Function: consistent-value-ass-p (value-ass)
Package

babylon.

Source

cstrnet.lisp.

Function: constraint-assoc-tracedp (constraint-assoc)
Package

babylon.

Source

mc-mixin.lisp.

Function: constraint-input-test (expr)

Abbruch, falls expr gleich nil ist

Package

babylon.

Source

bc-mixin.lisp.

Function: contains-vars (exp)

Yields true if <exp> is resp. contains a prolog variable.

Package

babylon.

Source

c-fns.lisp.

Function: convert-simple-to-multiple (simple-val-ass)
Package

babylon.

Source

bc-fns.lisp.

Function: convert-to-consat-value (expression &optional mode)

ueberfuehrt expression in eine Consat-Wertemenge

Package

babylon.

Source

cstrbase.lisp.

Function: copy-agenda-elem (instance)
Package

babylon.

Source

cstrnet.lisp.

Function: copy-justification (instance)
Package

babylon.

Source

data.lisp.

Function: copy-possible-values (slot-ref)

liest die Possible-Values des Slots und transformiert die Repraesentation

Package

babylon.

Source

rstreval.lisp.

Function: copy-slot-value (slot-ref)

liest einen Slotwert und passt seine Repraesentation an

Package

babylon.

Source

rstreval.lisp.

Function: copy-stack-elem (instance)
Package

babylon.

Source

cstrnet.lisp.

Function: copy-trace-element (instance)
Package

babylon.

Source

mr-trace.lisp.

Function: copy-var-info (instance)
Package

babylon.

Source

bc-fns.lisp.

Function: copy-varcell (sequence)

Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.

Package

babylon.

Alias for

copy-seq.

Function: create-instance-of (frame-name &optional with-specification)

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.

Package

babylon.

Source

bf-mixin.lisp.

Function: create-net-spec (c-expressions)
Package

babylon.

Source

cstrnet.lisp.

Function: create-var-info-alist (net-vars c-expressions)
Package

babylon.

Source

cstrnet.lisp.

Function: current-kb-typep (flavor-type &optional string)
Package

babylon.

Source

c-fns.lisp.

Function: current-p (kb)
Package

babylon.

Source

c-fns.lisp.

Function: decr-number-of-results (number-of-results)
Package

babylon.

Source

bc-fns.lisp.

Function: deref (x)
Package

babylon.

Source

ax-sc.lisp.

Function: determine-consistency-level (expression)
Package

babylon.

Source

cstrbase.lisp.

Function: determine-net-variables (c-expressions)
Package

babylon.

Source

cstrnet.lisp.

Function: determine-number-of-results (expression)
Package

babylon.

Source

cstrbase.lisp.

Function: determine-set-of-instances (expr)

ermittelt eine Menge von Instanzen

Package

babylon.

Source

rstrbase.lisp.

Function: determine-slots (set-of-slots all-slots)

instantiiert alle Slot-Referenzen in set-of-slots

Package

babylon.

Source

rstrbase.lisp.

Function: diff-list (alist blist)
Package

babylon.

Source

mp-mixin.lisp.

Function: difference-empty-p (set1 set2)
Package

babylon.

Source

bc-fns.lisp.

Function: display-constraint (&rest ignore)
Package

babylon.

Source

bc-mixin.lisp.

Function: display-prooftree ()
Package

babylon.

Source

np-mixin.lisp.

Function: empty-alist (variables)
Package

babylon.

Source

bc-fns.lisp.

Function: enough-results (number-of-results)
Package

babylon.

Source

bc-fns.lisp.

Function: envnr (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: (setf envnr) (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: eval-first-value-ass (external-value-ass)

berechnet die Wertebelegung der ersten Constraint-Variablen

Package

babylon.

Source

cstrbase.lisp.

Function: eval-value-ass (externel-value-ass)

berechnet die Wertebelegung der Constraint-Variablen aus der externen Darstellung der Wertebelegung

Package

babylon.

Source

cstrbase.lisp.

Function: evaluate-condition (expression simple-value-ass)

Zugriff von consat auf andere Prozessoren

Package

babylon.

Source

primcstr.lisp.

Function: evaluate-funcall (expression &optional simple-value-ass)

Zugriff von consat auf andere Prozessoren

Package

babylon.

Source

primcstr.lisp.

Function: evaluate-pattern (pattern variables simple-val-ass &optional new-val-ass)
Package

babylon.

Source

primcstr.lisp.

Function: evaluate-relation (relation variables simple-val-ass)
Package

babylon.

Source

primcstr.lisp.

Function: evaluate-relation-element (rel-element variables simple-val-ass)
Package

babylon.

Source

primcstr.lisp.

Function: evaluate-tupel (tupel variables simple-val-ass &optional new-val-ass)
Package

babylon.

Source

primcstr.lisp.

Function: exception-comment (goal)
Package

babylon.

Source

np-devel.lisp.

Function: execute-menu-action (item)

executes the action which correspond to item

Package

babylon.

Source

tty-menu.lisp.

Function: explain-answers-choices (answer-explanations)
Package

babylon.

Source

pos-vals.lisp.

Function: explain-results (&rest ignore)

Explain results.
Actually only the results of rule processor actions are explained.

Package

babylon.

Source

nr-mixin.lisp.

Function: ext-rep-clause (clause)

introduces <- in rules.

Package

babylon.

Source

axioms.lisp.

Function: extended-intersection (value-spec1 value-spec2)
Package

babylon.

Source

bc-fns.lisp.

Function: extended-member (value value-spec)
Package

babylon.

Source

bc-fns.lisp.

Function: external-value-ass-p (expression)

ueberprueft die Syntax der externen Darstellung einer Variablenbelegung

Package

babylon.

Source

bc-mixin.lisp.

Function: filter-first (term terms)
Package

babylon.

Source

nr-devel.lisp.

Function: filter-options (key options)
Package

babylon.

Source

kb-core.lisp.

Function: filter-plist (key plist)
Package

babylon.

Source

kb-core.lisp.

Function: filter-second (term terms)
Package

babylon.

Source

nr-devel.lisp.

Function: find-translation (string type)
Package

babylon.

Source

require.lisp.

Function: format-expectations (desired-value negation-flag restrict-method args)
Package

babylon.

Source

fr-core.lisp.

Function: format-translate-true-or-false (fact)
Package

babylon.

Source

ft-proc.lisp.

Function: freeze-var-info-values (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Function: from-list-to-string (list)
Package

babylon.

Source

c-fns.lisp.

Function: further-slot-restriction-p (slot-ref net-spec)

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

Package

babylon.

Source

rstreval.lisp.

Function: gen-choose-axioms-item-list (axiom-sets current-axsets)
Package

babylon.

Source

bp-mixin.lisp.

Function: gen-mult-axset-item-list (axiom-sets)
Package

babylon.

Source

bp-mixin.lisp.

Function: gen-mult-choose-item-list (expr-list)
Package

babylon.

Source

nr-devel.lisp.

Function: gen-var-value-list (varcells type)
Package

babylon.

Source

ax-sc.lisp.

Function: generate-current-item-list (current)
Package

babylon.

Source

bp-mixin.lisp.

Function: generate-how-menu-items (true-facts all-facts unprovable-facts)
Package

babylon.

Source

nr-expl.lisp.

Function: generic-expr-p (restriction)
Package

babylon.

Source

rstrbase.lisp.

Function: get-associated-constraints (c-expressions net-var)
Package

babylon.

Source

cstrnet.lisp.

Function: get-babylon-default-pathname (&optional type)
Package

babylon.

Source

extens.lisp.

Function: get-bindings (bindings)
Package

babylon.

Source

rules.lisp.

Function: get-check-result (check-result)
Package

babylon.

Source

pos-vals.lisp.

Function: get-clauses (predicate axiom-set)
Package

babylon.

Source

axioms.lisp.

Function: get-clauses-direct (goal axiom-sets)

gets the relevant clauses for <goal> from <axiom-sets>.

Package

babylon.

Source

axioms.lisp.

Function: get-constraint (constraint-name)

ermittelt das zugehoerige primitive oder
zusammengesetzte Constraint
liefert Fehlermeldung, falls Constraint nicht definiert ist

Package

babylon.

Source

bc-fns.lisp.

Function: get-def-condition (def-body)

sucht in def-body einen Ausdruck der Form (:condition <activation-condition>)

Package

babylon.

Source

cstrbase.lisp.

Function: get-def-expressions (def-body)

sucht in def-body einen Ausdruck der Form (:constraint-expressions . list( <constraint-expression> )

Package

babylon.

Source

cstrbase.lisp.

Function: get-def-interface (def-body)

sucht in def-body einen Ausdruck der Form (:interface <variable-list>)

Package

babylon.

Source

cstrbase.lisp.

Function: get-def-relation (def-body)

sucht in def-body einen Ausdruck der Form (:relation <relation>) und ueberprueft die Syntax von <relation>

Package

babylon.

Source

cstrbase.lisp.

Function: get-def-typ (def-body)

sucht in def-body einen Ausdruck der Form (:type <constraint-typ>)

mit <constraint-typ> ::= primitive | compound

Package

babylon.

Source

cstrbase.lisp.

Function: get-external-value-ass (expression)
Package

babylon.

Source

cstrbase.lisp.

Function: get-frame-behavior-specs (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-frame-behaviors (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-frame-def (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-frame-name (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-frame-name-or-signal-error (behavior-specification)
Package

babylon.

Source

frames.lisp.

Function: get-frame-name-with-check (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-frame-slot-names (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-frame-slots (frame-name)
Package

babylon.

Source

frames.lisp.

Function: get-guarded-slots (expr)
Package

babylon.

Source

rstrbase.lisp.

Function: get-instance-combinations (restriction)

liefert die Menge von Assoziationslisten, fuer die die eingeschlossene restriction instantiiert werden soll

Package

babylon.

Source

rstrbase.lisp.

Function: get-instance-condition (expr)
Package

babylon.

Source

rstrbase.lisp.

Function: get-instance-def (instance-name)
Package

babylon.

Source

frames.lisp.

Function: get-instance-name (instance-name)
Package

babylon.

Source

frames.lisp.

Function: get-instance-name-with-check (instance-name)
Package

babylon.

Source

frames.lisp.

Function: get-interface-mixins-to-include (plist)
Package

babylon.

Source

kb-core.lisp.

Function: get-kb-configuration ()
Package

babylon.

Source

kb-core.lisp.

Function: get-known-axiom-sets ()
Package

babylon.

Source

axioms.lisp.

Function: get-known-free-axiom-sets ()
Package

babylon.

Source

axioms.lisp.

Function: get-list-of-choices (expression value-ass)

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

Package

babylon.

Source

bc-mixin.lisp.

Function: get-local-condition (relation-element)
Package

babylon.

Source

cstrbase.lisp.

Function: get-negation (term)
Package

babylon.

Source

c-fns.lisp.

Function: get-op-def (symbol index)

Retrieves selector-names attached with operators which may appear in rules.

Package

babylon.

Source

br-inter.lisp.

Function: get-positive-term (negated-term)
Package

babylon.

Source

c-fns.lisp.

Function: get-poss-val-args (possible-values)
Package

babylon.

Source

pos-vals.lisp.

Function: get-poss-val-type (possible-values)
Package

babylon.

Source

pos-vals.lisp.

Function: get-predicates (axset-name)
Package

babylon.

Source

axioms.lisp.

Function: get-proc-mixins-to-include (plist)
Package

babylon.

Source

kb-core.lisp.

Function: get-prompt-string ()
Package

babylon.

Source

extens.lisp.

Function: get-protected-slots (expr)
Package

babylon.

Source

rstrbase.lisp.

Function: get-restrictions (expr)
Package

babylon.

Source

rstrbase.lisp.

Function: get-rule-mark (rule-name rule-set-name indicator)
Package

babylon.

Source

mr-trace.lisp.

Function: get-rule-set-variables (rule-set)
Package

babylon.

Source

rules.lisp.

Function: get-slot-of-term (term)
Package

babylon.

Source

nr-devel.lisp.

Function: get-slot-refs (expr)
Package

babylon.

Source

rstrbase.lisp.

Function: get-slots (instance)
Package

babylon.

Source

fr-core.lisp.

Function: get-special-mixins-to-include (plist)
Package

babylon.

Source

kb-core.lisp.

Function: get-stream-for-dialog ()
Package

babylon.

Source

extens.lisp.

Function: get-subgoal-predicates (clause)

yields the predicates used in the subgoals of <clause>.

Package

babylon.

Source

axioms.lisp.

Function: get-uninstantiated-restriction (restriction)
Package

babylon.

Source

rstrbase.lisp.

Function: get-value-of-referenced-slot (slot-ref)

ermittelt Wert des Slots

Package

babylon.

Source

rstreval.lisp.

Function: get-value-only (slot-plist prop-name)
Package

babylon.

Source

fr-core.lisp.

Function: get-var-info-constraints (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Function: get-var-info-values (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Function: get-variables (variables-specification)
Package

babylon.

Source

rules.lisp.

Function: global-to-local-subst (c-expr net-spec)
Package

babylon.

Source

primcstr.lisp.

Function: has-condition-p (relation-element)
Package

babylon.

Source

cstrbase.lisp.

Function: init-axset (axset-name &optional kb-name)

builds an empty axiom set named <axset-name>.
if <kb-name> is not NIL, <axset-name> is marked to be associated with <kb-name>.

Package

babylon.

Source

axioms.lisp.

Function: init-var-info-values (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Function: inst-generic-restriction (restriction)

fuer alle Wertekombinationen der Variablen wird die eingeschlossene uninstantiierte Restriction instantiiert, falls die Variablen die angegebene Bedingung erfuellen

Package

babylon.

Source

rstrbase.lisp.

Function: inst-restriction (restriction)

ermittelt Menge aller Restrictions, die durch list-of-restrictions beschrieben werden

Package

babylon.

Source

rstrbase.lisp.

Function: inst-simple-restriction (restriction)
Package

babylon.

Source

rstrbase.lisp.

Function: inst-slot-ref (slot-ref simple-alist)

falls die erste Komponente von slot-ref in simple-alist auftritt, wird sie durch die entsprechende Instanz ersetzt

Package

babylon.

Source

rstrbase.lisp.

Function: inst-slot-ref-list (slot-ref-list simple-alist)

instantiiert alle Slots in slot-ref-list

Package

babylon.

Source

rstrbase.lisp.

Function: inst-slot-set (slot-description)

instantiiert die eingeschlossenen Slot-Referenzen

Package

babylon.

Source

rstrbase.lisp.

Function: inst-uninstantiated-restriction (restriction simple-alist)

ersetzt die Variablen in restriction durch die Instanz, die ihnen simple-alist zuweist

Package

babylon.

Source

rstrbase.lisp.

Function: install-subframe (frame-name supers)
Package

babylon.

Source

frames.lisp.

Function: instantiate-restrictions (list-of-restriction)

ermittelt Menge aller Restrictions, die durch list-of-restrictions beschrieben werden

Package

babylon.

Source

rstrbase.lisp.

Function: instantiate-slots (set-of-slots)
Package

babylon.

Source

rstrbase.lisp.

Function: internal-relation-name (relation)
Package

babylon.

Source

fr-core.lisp.

Function: intersect-associated-value-specs (variable value-ass)
Package

babylon.

Source

primcstr.lisp.

Function: intersect-sets (set1 set2)
Package

babylon.

Source

bc-fns.lisp.

Function: is-activated-kb ()
Package

babylon.

Source

kb-core.lisp.

Function: is-active-value (value)
Package

babylon.

Source

act-vals.lisp.

Function: is-bindings (x)
Package

babylon.

Source

rules.lisp.

Function: is-equality-relation (relation-name)
Package

babylon.

Source

fr-core.lisp.

Function: is-frame-meta-predicate (x)
Package

babylon.

Source

bf-mixin.lisp.

Function: is-free-text-meta-predicate (x)
Package

babylon.

Source

ft-mixin.lisp.

Function: is-help (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-in-interval (x interval)
Package

babylon.

Source

fr-core.lisp.

Function: is-interval-specification (list)
Package

babylon.

Source

fr-core.lisp.

Function: is-liste (liste)
Package

babylon.

Source

cstrbase.lisp.

Function: is-method-of (self possible-values-type)
Package

babylon.

Source

pos-vals.lisp.

Function: is-multiple-answer (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-multiple-value (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-negated-term (term)
Package

babylon.

Source

c-fns.lisp.

Function: is-prolog-junctor-for-rules (x)
Package

babylon.

Source

bp-mixin.lisp.

Function: is-rule-meta-predicate (x)
Package

babylon.

Source

br-mixin.lisp.

Function: is-rule-set-with-variables (rule-set)
Package

babylon.

Source

rules.lisp.

Function: is-rule-variable (x)
Package

babylon.

Source

rules.lisp.

Function: is-simple-list (l)
Package

babylon.

Source

c-fns.lisp.

Function: is-true-list (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-undetermined (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-undetermined-or-null (value)

Returns t if value is nil or undetermined, nil otherwise.

Package

babylon.

Source

br-inter.lisp.

Function: is-unknown (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-value-spec (expr)

ueberprueft, ob Consat-Wertemenge vorliegt (laesst u.a. keine Dotted-Pairs zu)

Package

babylon.

Source

cstrbase.lisp.

Function: is-variable (x)
Package

babylon.

Source

c-fns.lisp.

Function: is-variables-specification (x)
Package

babylon.

Source

rules.lisp.

Function: is-yes-list (list)
Package

babylon.

Source

bp-inter.lisp.

Reader: justification-justificand (instance)
Writer: (setf justification-justificand) (instance)
Package

babylon.

Source

data.lisp.

Target Slot

justificand.

Reader: justification-justificans (instance)
Writer: (setf justification-justificans) (instance)
Package

babylon.

Source

data.lisp.

Target Slot

justificans.

Function: justification-p (object)
Package

babylon.

Source

data.lisp.

Reader: justification-time-tag (instance)
Writer: (setf justification-time-tag) (instance)
Package

babylon.

Source

data.lisp.

Target Slot

time-tag.

Function: known-axiom-set (axset-name)

checks whether <axset-name> is the name of a known axiom set. returns <axset-name>, if it is known and NIL otherwise.

Package

babylon.

Source

axioms.lisp.

Function: load-user-babylon-init-file ()
Package

babylon.

Source

extens.lisp.

Function: local-to-global-subst (c-expr local-value-ass)
Package

babylon.

Source

primcstr.lisp.

Function: make-$instance-alist (inst-ass)

baut eine Assoziationsliste fuer die variablen des for-all-Konstrukts

Package

babylon.

Source

rstrbase.lisp.

Function: make-agenda-elem (&key queue trace init-trace filtered-p)
Package

babylon.

Source

cstrnet.lisp.

Function: make-babylon-image ()
Package

babylon.

Source

babylon.lisp.

Function: make-behavior-def (behavior-body)
Package

babylon.

Source

frames.lisp.

Function: make-blanks (nr)
Package

babylon.

Source

c-fns.lisp.

Function: make-clauses (pred an-instance-name values &rest prop-name)

make clauses according to Prolog syntax.

Package

babylon.

Source

bf-mixin.lisp.

Function: make-definstance-example ()
Package

babylon.

Source

frames.lisp.

Function: make-determined-value-ass (variables value-ass)
Package

babylon.

Source

primcstr.lisp.

Function: make-facts-choice (numbered-facts &optional item-len)
Package

babylon.

Source

nr-expl.lisp.

Function: make-frame-definition-example ()
Package

babylon.

Source

frames.lisp.

Function: make-frame-name (frame-name)
Package

babylon.

Source

frames.lisp.

Function: make-full-rule-example ()
Package

babylon.

Source

rules.lisp.

Function: make-global-value-ass (global-vars local-vars local-value-ass)
Package

babylon.

Source

primcstr.lisp.

Function: make-instance-name (instance-name)
Package

babylon.

Source

frames.lisp.

Function: make-justification (&key justificand justificans time-tag)
Package

babylon.

Source

data.lisp.

Function: make-lhs-example ()
Package

babylon.

Source

rules.lisp.

Function: make-local-pathname (bab-path host type)
Package

babylon.

Source

extens.lisp.

Function: make-local-value-ass (global-vars local-vars net-spec)
Package

babylon.

Source

primcstr.lisp.

Function: make-multiple-answer (x)
Package

babylon.

Source

c-fns.lisp.

Function: make-multiple-value (x)
Package

babylon.

Source

c-fns.lisp.

Function: make-numbered-facts (facts)
Package

babylon.

Source

nr-expl.lisp.

Function: make-op-header (op item-len side)
Package

babylon.

Source

nr-devel.lisp.

Function: make-rec-clause-items (clause axiom-sets &optional previous-predicate item-len)
Package

babylon.

Source

np-devel.lisp.

Function: make-rhs-example ()
Package

babylon.

Source

rules.lisp.

Function: make-rule-header (rule-name item-len)
Package

babylon.

Source

nr-devel.lisp.

Function: make-slot-specification-example ()
Package

babylon.

Source

frames.lisp.

Function: make-stack-elem (&key values queue trace)
Package

babylon.

Source

cstrnet.lisp.

Function: make-string-of-length (nr &optional z)
Package

babylon.

Source

c-fns.lisp.

Function: make-supers-specification-example ()
Package

babylon.

Source

frames.lisp.

Function: make-term-item (term mode rules item-len spaces-for-item)
Package

babylon.

Source

nr-devel.lisp.

Function: make-trace-element (&key term rule-set-name rule mode keyword)
Package

babylon.

Source

mr-trace.lisp.

Function: make-value-ass-of-posted-slots (list-of-slots net-spec)

liefert Wertebelegung derjenigen Slots, die seit dem letzten stabilen Zustand staerker eingeschraenkt wurden

Package

babylon.

Source

rstreval.lisp.

Function: make-var-info (&key constraints values init-values)
Package

babylon.

Source

bc-fns.lisp.

Function: make-varcell (&key varname varnr envnr varvalue)
Package

babylon.

Source

ax-sc.lisp.

Function: mark-pred (pred)
Package

babylon.

Source

mp-trace.lisp.

Function: match-first (x y)
Package

babylon.

Source

rules.lisp.

Function: match-first-and-second (x y)
Package

babylon.

Source

rules.lisp.

Function: match-second (x y)
Package

babylon.

Source

rules.lisp.

Function: menu-choose-translate (desired-value negation-flag)
Package

babylon.

Source

ask-supp.lisp.

Function: menu-mult-choose-translate (desired-value negation-flag)
Package

babylon.

Source

ask-supp.lisp.

Function: merge-babylon-pathnames (name default)
Package

babylon.

Source

extens.lisp.

Function: modify-net-value-ass (new-value-ass net-spec)
Package

babylon.

Source

cstrnet.lisp.

Function: more-constrained-p (value-spec1 value-spec2)
Package

babylon.

Source

bc-fns.lisp.

Function: mult-prompt-assoc (a-list &optional pstring)

accept multi-integer input from user and returns a list of the corresponding items, if input has been legal.

Package

babylon.

Source

tty-menu.lisp.

Function: multiple-evaluation (relation variables list-of-value-ass)
Package

babylon.

Source

primcstr.lisp.

Function: neq (o1 o2)
Package

babylon.

Source

c-fns.lisp.

Function: new-association (variable value)
Package

babylon.

Source

bc-fns.lisp.

Function: normal-indent (level)
Package

babylon.

Source

mp-trace.lisp.

Function: normalize-answer (answer)
Package

babylon.

Source

c-fns.lisp.

Function: normalize-clause (clause)

removes <- from rules and transforms facts into rules without body.

Package

babylon.

Source

axioms.lisp.

Function: normalize-plist (plist)
Package

babylon.

Source

fr-core.lisp.

Function: normalize-plist-with-act-vals (plist)
Package

babylon.

Source

act-vals.lisp.

Function: obtain (number-of-hypotheses-to-verify goal-specification &optional rule-set-name bindings)
Package

babylon.

Source

br-mixin.lisp.

Function: occurs-in-restriction (variable slot-ref-list)

ueberprueft, ob die Variable auch tatsaechlich in slot-ref-list auftritt

Package

babylon.

Source

rstrbase.lisp.

Function: parse-rel-elem (rel-elem)
Package

babylon.

Source

cstrbase.lisp.

Function: parse-relation (relation)
Package

babylon.

Source

cstrbase.lisp.

Function: possible-values-to-value-spec (possible-values)

ueberfuehrt die Possible-Values-Beschreibung in eine Consat-Wertemenge

Package

babylon.

Source

rstreval.lisp.

Function: print-axiom-set (axiom-set &optional stream)
Package

babylon.

Source

axioms.lisp.

Function: print-clause (clause &optional label stream)

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.

Package

babylon.

Source

axioms.lisp.

Function: print-clauses (clauses &optional label stream)

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.

Package

babylon.

Source

axioms.lisp.

Function: print-constraint-list (constraint-list stream)

druckt alle Constraints in der Liste in wiedereinlesbarer Form nach stream

Package

babylon.

Source

cstrbase.lisp.

Function: print-frame (frame-name &optional stream)
Package

babylon.

Source

frames.lisp.

Function: print-frame-behavior (behavior-body &optional stream)
Package

babylon.

Source

frames.lisp.

Function: print-frame-definition (frame-name &optional stream)
Package

babylon.

Source

frames.lisp.

Function: print-frames (frame-names &optional stream)
Package

babylon.

Source

frames.lisp.

Function: print-header (header)

displays the menu header

Package

babylon.

Source

tty-menu.lisp.

Function: print-instance-def (instance-name &optional stream)
Package

babylon.

Source

frames.lisp.

Function: print-instances (frame-name &optional stream)
Package

babylon.

Source

frames.lisp.

Function: print-item (item)

displays one row of the menu e.g. one item

Package

babylon.

Source

tty-menu.lisp.

Function: print-pred (axset pred &optional label stream)

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.

Package

babylon.

Source

axioms.lisp.

Function: print-preds (axset preds &optional label stream)

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.

Package

babylon.

Source

axioms.lisp.

Function: print-result (value-ass stream)
Package

babylon.

Source

bc-mixin.lisp.

Function: print-rule-set (a-rule-set &optional stream)
Package

babylon.

Source

rules.lisp.

Function: print-value-ass (value-ass stream)
Package

babylon.

Source

bc-mixin.lisp.

Function: prolog-assert (clause axiom-set xconc)

adds <clause> to the clauses of <axiom-set> using <xconc> for the placement.

Package

babylon.

Source

axioms.lisp.

Function: purge-instance-alist (alist slot-ref-list)

entfernt alle Variablen aus alist, die nicht in slot-ref-list auftreten

Package

babylon.

Source

rstrbase.lisp.

Function: read-constraint (&rest ignore)
Package

babylon.

Source

bc-mixin.lisp.

Function: read-expr-from-window (text)
Package

babylon.

Source

bc-mixin.lisp.

Function: rem-clause (clause axiom-set)

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.

Package

babylon.

Source

axioms.lisp.

Function: remove-all-clauses (axiom-set)

removes all clauses in <axiom-set> without deleting <axiom-set>.

Package

babylon.

Source

axioms.lisp.

Function: remove-default-axset (name)
Package

babylon.

Source

bp-mixin.lisp.

Function: remove-doubles (list &optional result)
Package

babylon.

Source

c-fns.lisp.

Function: remove-noisy-words (args)
Package

babylon.

Source

frames.lisp.

Function: remove-request-key (expression)
Package

babylon.

Source

bc-mixin.lisp.

Function: replace-possible-values (slot-ref value-spec)

ersetzt possible-values, falls value-spec ungleich unconstrained ist

Package

babylon.

Source

rstreval.lisp.

Function: replace-slot-value (slot-ref value-spec)

fuehrt einen Schreibversuch auf den Slot durch, falls value-spec einelementig ist

Package

babylon.

Source

rstreval.lisp.

Function: replace-var-info-values (info-assoc value-spec)
Package

babylon.

Source

primcstr.lisp.

Function: reset-axiom-set (axiom-set &optional axiom-sets)

resets <axiom-set> if it belongs to the list of axiom sets <axiom-sets>.

Package

babylon.

Source

axioms.lisp.

Function: reset-knowledge-base ()

asks whether to reset the current kb resetting it eventually.

Package

babylon.

Source

kb-core.lisp.

Function: reset-var-info-values (info-assoc)
Package

babylon.

Source

primcstr.lisp.

Function: rest-deref (x nr)
Package

babylon.

Source

ax-sc.lisp.

Function: rest-subst-prolog-vars (term mode nr)

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.

Package

babylon.

Source

ax-sc.lisp.

Function: rule-asking-p (trace-element)
Package

babylon.

Source

mr-trace.lisp.

Function: rule-left-hand-side (rule)
Package

babylon.

Source

rules.lisp.

Function: rule-name (rule)
Package

babylon.

Source

rules.lisp.

Function: rule-right-hand-side (rule)
Package

babylon.

Source

rules.lisp.

Function: rule-set-name (rule-set)
Package

babylon.

Source

rules.lisp.

Function: rule-set-rules (rule-set)
Package

babylon.

Source

rules.lisp.

Function: rule-tried-p (trace-element)
Package

babylon.

Source

mr-trace.lisp.

Function: rule-used-p (trace-element)
Package

babylon.

Source

mr-trace.lisp.

Function: s-display-info (item)

prepars a item for displaying

Package

babylon.

Source

tty-menu.lisp.

Function: satisfy-constraint-globally ()
Package

babylon.

Source

bc-mixin.lisp.

Function: satisfy-constraint-locally ()
Package

babylon.

Source

bc-mixin.lisp.

Function: search-cc-load (module-name pathlist)
Package

babylon.

Source

require.lisp.

Function: search-for-kb (kb-name)
Package

babylon.

Source

kb-core.lisp.

Function: select-all-constraints (net-spec)
Package

babylon.

Source

cstrnet.lisp.

Function: select-instance-combinations (list-of-alists condition)

waehlt all diejenigen alists aus, die die Bedingung erfuellen

Package

babylon.

Source

rstrbase.lisp.

Function: select-local-conditions (relation)

selektiert die lokalen Bedingungen (IF’s)

Package

babylon.

Source

cstrbase.lisp.

Function: select-multiple-valued-variable (net-spec &optional candidate)
Package

babylon.

Source

cstrnet.lisp.

Function: select-relevant-constraints (net-spec value-ass)
Package

babylon.

Source

cstrnet.lisp.

Function: select-some-value-ass (list-of-value-ass number-of-results &optional new-list-of-value-ass)
Package

babylon.

Source

bc-fns.lisp.

Function: send-bab (selector &rest args)
Package

babylon.

Source

c-fns.lisp.

Function: send-babylon (selector &rest args)
Package

babylon.

Source

c-fns.lisp.

Function: send-constraint-processor (selector &rest args)

sendet Nachricht an aktuellen Constraint-Processor

Package

babylon.

Source

bc-fns.lisp.

Function: send-fp (message &rest args)
Package

babylon.

Source

bf-mixin.lisp.

Function: send-prolog (method &rest args)

passes messages to the prolog processor of the current kb.

Package

babylon.

Source

bp-mixin.lisp.

Function: send-to-instance-or-self (self instance-name method-name &rest args)
Package

babylon.

Source

act-vals.lisp.

Function: set-prolog-trace-options ()
Package

babylon.

Source

mp-mixin.lisp.

Function: set-value-only (slot-plist value prop-name)
Package

babylon.

Source

fr-core.lisp.

Function: show-menu-loop (item-list nr)

recursive function which displays one row of the menu per call

Package

babylon.

Source

tty-menu.lisp.

Function: signal-unknown-frame (frame-name when spez)
Package

babylon.

Source

frames.lisp.

Function: slot-value-to-value-spec (slot-value)

ueberfuehrt slot-value in eine Consat-Wertemenge

Package

babylon.

Source

restrict.lisp.

Function: some-new-restrictions-p (val-ass1 val-ass2)
Package

babylon.

Source

bc-fns.lisp.

Function: splice (new before list)

adds item <new> to <list> before item <before>.

Package

babylon.

Source

axioms.lisp.

Function: split-and-put-association (value-assoc list-of-val-ass)
Package

babylon.

Source

bc-fns.lisp.

Function: split-variable-alist (val-ass)
Package

babylon.

Source

bc-fns.lisp.

Function: stack-elem-p (object)
Package

babylon.

Source

cstrnet.lisp.

Reader: stack-elem-queue (instance)
Writer: (setf stack-elem-queue) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

queue.

Reader: stack-elem-trace (instance)
Writer: (setf stack-elem-trace) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

trace.

Reader: stack-elem-values (instance)
Writer: (setf stack-elem-values) (instance)
Package

babylon.

Source

cstrnet.lisp.

Target Slot

values.

Function: standard-conflict-resolution (list-of-rules goal processor)

Defines the standard conflict resolution strategy.

Package

babylon.

Source

br-inter.lisp.

Function: start-knowledge-base ()

asks whether to start the current kb starting it eventually.

Package

babylon.

Source

kb-core.lisp.

Function: state-of-net-spec (net-spec &optional state)
Package

babylon.

Source

cstrnet.lisp.

Function: state-of-value-ass (value-ass &optional state)
Package

babylon.

Source

cstrnet.lisp.

Function: stop-execution (&optional result)
Package

babylon.

Source

br-inter.lisp.

Function: stop-kb-execution (&optional result)
Package

babylon.

Source

kb-core.lisp.

Function: subst-prolog-vars (term mode)

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.

Package

babylon.

Source

ax-sc.lisp.

Function: substitute-constraint-variables (expr simple-value-ass)

ersetzt in expression alle Symbole, die in simple-value-ass auftreten, durch quote und den Wert, den ihnen simple-value-ass zuweist

Package

babylon.

Source

primcstr.lisp.

Function: substitute-if-possible (symbol value-assoc)
Package

babylon.

Source

primcstr.lisp.

Function: substitute-o-and-s (object-name slot-name list)
Package

babylon.

Source

fr-core.lisp.

Function: substitute-variables-in-rule-set (rule-set bindings)
Package

babylon.

Source

rules.lisp.

Function: test-hypotheses (&optional number-of-hypotheses-to-verify list-of-hypotheses rule-set-name bindings)
Package

babylon.

Source

br-mixin.lisp.

Function: toggle-rule-trace ()

toggles rule tracing.

Package

babylon.

Source

mr-mixin.lisp.

Function: toggle-system-trace ()

Toggles system trace mode.

Package

babylon.

Source

m-mixin.lisp.

Function: trace-constraints ()
Package

babylon.

Source

mc-mixin.lisp.

Reader: trace-element-keyword (instance)
Writer: (setf trace-element-keyword) (instance)
Package

babylon.

Source

mr-trace.lisp.

Target Slot

keyword.

Reader: trace-element-mode (instance)
Writer: (setf trace-element-mode) (instance)
Package

babylon.

Source

mr-trace.lisp.

Target Slot

mode.

Function: trace-element-p (object)
Package

babylon.

Source

mr-trace.lisp.

Reader: trace-element-rule (instance)
Writer: (setf trace-element-rule) (instance)
Package

babylon.

Source

mr-trace.lisp.

Target Slot

rule.

Reader: trace-element-rule-set-name (instance)
Writer: (setf trace-element-rule-set-name) (instance)
Package

babylon.

Source

mr-trace.lisp.

Target Slot

rule-set-name.

Reader: trace-element-term (instance)
Writer: (setf trace-element-term) (instance)
Package

babylon.

Source

mr-trace.lisp.

Target Slot

term.

Function: trace-element-to-show (trace-element mode indicator)
Package

babylon.

Source

mr-trace.lisp.

Function: trace-element-to-store (trace-element mode indicator)
Package

babylon.

Source

mr-trace.lisp.

Function: trace-test (associated-trace-element new-value-ass)
Package

babylon.

Source

net-prop.lisp.

Function: trans-clause (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.

Package

babylon.

Source

ax-sc.lisp.

Function: trans-clause1 (term)
Package

babylon.

Source

ax-sc.lisp.

Function: transform-constraint-type (constraint-type)
Package

babylon.

Source

bc-mixin.lisp.

Function: transform-pathstring (pathstring type)
Package

babylon.

Source

require.lisp.

Function: transform-pathstring1 (pathstring type)
Package

babylon.

Source

require.lisp.

Function: translate-answer (answer)
Package

babylon.

Source

c-fns.lisp.

Function: translate-free-texts-into-prolog-facts (facts)
Package

babylon.

Source

ft-mixin.lisp.

Function: unconstrained-p (&rest variables)
Package

babylon.

Source

primcstr.lisp.

Function: undetermined ()

initial content of :value facet (localstate)

Package

babylon.

Source

c-fns.lisp.

Function: undetermined-2 ()

for use in rules

Package

babylon.

Source

c-fns.lisp.

Function: undetermined-slot-value-p (slot-value)
Package

babylon.

Source

restrict.lisp.

Function: unify (term1 term2)

tries to unify term1 term2. instantiated varcells are stacked in *tenv.

Package

babylon.

Source

ax-sc.lisp.

Function: union-sets (set1 set2)
Package

babylon.

Source

bc-fns.lisp.

Function: unknown-2 ()
Package

babylon.

Source

c-fns.lisp.

Function: unmark-pred (pred)
Package

babylon.

Source

mp-trace.lisp.

Function: update-constraint-trace-mode (result-item-list constraints)

alle Constraints in result-item-list erhalten die Nachricht :trace-on,
falls sie nicht protokolliert werden, bzw. :trace-off im entgegengesetzten Fall.

Package

babylon.

Source

mc-mixin.lisp.

Function: update-net-value-ass (new-value-ass net-spec)
Package

babylon.

Source

cstrnet.lisp.

Function: update-queue (old-queue list-of-constr-expr trace new-value-ass)
Package

babylon.

Source

net-prop.lisp.

Function: use-old-kb? (kb-name)
Package

babylon.

Source

kb-core.lisp.

Function: value-assignment-to-boolean-value (value-assignment consistency-level number-of-results)

macht aus dem Ergebnis einer Constraint-Aktivierung einen boolschen Wert

Package

babylon.

Source

cstrbase.lisp.

Function: value-is-var (pair)
Package

babylon.

Source

ax-sc.lisp.

Function: value-spec-test (expression)

falls expression keine Consat-Wertemenge ist, erfolgt Fehlermeldung

Package

babylon.

Source

cstrbase.lisp.

Reader: var-info-constraints (instance)
Writer: (setf var-info-constraints) (instance)
Package

babylon.

Source

bc-fns.lisp.

Target Slot

constraints.

Reader: var-info-init-values (instance)
Writer: (setf var-info-init-values) (instance)
Package

babylon.

Source

bc-fns.lisp.

Target Slot

init-values.

Function: var-info-p (object)
Package

babylon.

Source

bc-fns.lisp.

Reader: var-info-values (instance)
Writer: (setf var-info-values) (instance)
Package

babylon.

Source

bc-fns.lisp.

Target Slot

values.

Function: varcell-p (x)
Package

babylon.

Source

ax-sc.lisp.

Function: varname (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: (setf varname) (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: varnr (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: (setf varnr) (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: varvalue (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: (setf varvalue) (structure)
Package

babylon.

Source

ax-sc.lisp.

Function: warn-if-no-prolog ()

checks whether the current kb contains a prolog processor.

Package

babylon.

Source

bp-mixin.lisp.

Function: xpush (list x)
Package

babylon.

Source

axioms.lisp.


6.2.4 Structures

Structure: agenda-elem
Package

babylon.

Source

cstrnet.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: queue
Readers

agenda-elem-queue.

Writers

(setf agenda-elem-queue).

Slot: trace
Package

common-lisp.

Readers

agenda-elem-trace.

Writers

(setf agenda-elem-trace).

Slot: init-trace
Readers

agenda-elem-init-trace.

Writers

(setf agenda-elem-init-trace).

Slot: filtered-p
Readers

agenda-elem-filtered-p.

Writers

(setf agenda-elem-filtered-p).

Structure: justification
Package

babylon.

Source

data.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: justificand
Readers

justification-justificand.

Writers

(setf justification-justificand).

Slot: justificans
Readers

justification-justificans.

Writers

(setf justification-justificans).

Slot: time-tag
Readers

justification-time-tag.

Writers

(setf justification-time-tag).

Structure: stack-elem
Package

babylon.

Source

cstrnet.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: values
Package

common-lisp.

Readers

stack-elem-values.

Writers

(setf stack-elem-values).

Slot: queue
Readers

stack-elem-queue.

Writers

(setf stack-elem-queue).

Slot: trace
Package

common-lisp.

Readers

stack-elem-trace.

Writers

(setf stack-elem-trace).

Structure: trace-element
Package

babylon.

Source

mr-trace.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: term
Readers

trace-element-term.

Writers

(setf trace-element-term).

Slot: rule-set-name
Readers

trace-element-rule-set-name.

Writers

(setf trace-element-rule-set-name).

Slot: rule
Readers

trace-element-rule.

Writers

(setf trace-element-rule).

Slot: mode
Readers

trace-element-mode.

Writers

(setf trace-element-mode).

Slot: keyword
Package

common-lisp.

Readers

trace-element-keyword.

Writers

(setf trace-element-keyword).

Structure: var-info
Package

babylon.

Source

bc-fns.lisp.

Direct superclasses

structure-object.

Direct slots
Slot: constraints
Readers

var-info-constraints.

Writers

(setf var-info-constraints).

Slot: values
Package

common-lisp.

Initform

(quote babylon:unconstrained)

Readers

var-info-values.

Writers

(setf var-info-values).

Slot: init-values
Initform

(quote babylon:unconstrained)

Readers

var-info-init-values.

Writers

(setf var-info-init-values).


Appendix A Indexes


A.1 Concepts


A.2 Functions

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  
Index Entry  Section

$
$inst: Private macros
$setf-value: Private macros
$value: Public macros

%
%get-frame-name: Private ordinary functions
%get-object-name: Private ordinary functions
%is-behavior: Private ordinary functions
%is-frame: Private ordinary functions
%is-frame-name: Private ordinary functions
%is-instance: Private ordinary functions
%is-instance-name: Private ordinary functions
%is-slot: Private ordinary functions
%make-object-name: Private ordinary functions

(
(setf $value): Public macros
(setf agenda-elem-filtered-p): Private ordinary functions
(setf agenda-elem-init-trace): Private ordinary functions
(setf agenda-elem-queue): Private ordinary functions
(setf agenda-elem-trace): Private ordinary functions
(setf envnr): Private ordinary functions
(setf get-value): Private macros
(setf justification-justificand): Private ordinary functions
(setf justification-justificans): Private ordinary functions
(setf justification-time-tag): Private ordinary functions
(setf stack-elem-queue): Private ordinary functions
(setf stack-elem-trace): Private ordinary functions
(setf stack-elem-values): Private ordinary functions
(setf trace-element-keyword): Private ordinary functions
(setf trace-element-mode): Private ordinary functions
(setf trace-element-rule): Private ordinary functions
(setf trace-element-rule-set-name): Private ordinary functions
(setf trace-element-term): Private ordinary functions
(setf var-info-constraints): Private ordinary functions
(setf var-info-init-values): Private ordinary functions
(setf var-info-values): Private ordinary functions
(setf varname): Private ordinary functions
(setf varnr): Private ordinary functions
(setf varvalue): Private ordinary functions

/
/==: Public macros

<
<-: Public macros
<--: Public macros

=
=.=: Public macros
=/=: Public macros
=<: Public macros
==: Public macros

?
?-: Private macros

A
abbreviated-condition: Private ordinary functions
activation-p: Private ordinary functions
adapt-consistency-level: Private ordinary functions
add-axioms: Private ordinary functions
add-instance-to-frame: Private ordinary functions
add-pred: Private macros
add-subframe: Private ordinary functions
add-to-behaviors: Private ordinary functions
add-var-info-values: Private ordinary functions
adjust-value-ass: Private ordinary functions
admissible-net-p: Private ordinary functions
admissible-slot-value-p: Private ordinary functions
after-image-load: Private ordinary functions
agenda-elem-filtered-p: Private ordinary functions
agenda-elem-init-trace: Private ordinary functions
agenda-elem-p: Private ordinary functions
agenda-elem-queue: Private ordinary functions
agenda-elem-trace: Private ordinary functions
assert-axioms: Private ordinary functions
asserta: Public macros
assertz: Public macros
assign-typefkt: Private macros
augment-mult-choose-item-list: Private ordinary functions

B
bab-provide: Private ordinary functions
bab-require: Private ordinary functions
baberror: Private macros
babpprint: Private ordinary functions
babylon-hello: Private ordinary functions
body: Private macros
build-constraint-trace-item-list: Private ordinary functions
build-explain-item-list: Private ordinary functions
build-mult-choose-item-list: Private ordinary functions

C
call-babylon: Private ordinary functions
call-kb: Private ordinary functions
cc-load: Public ordinary functions
check-bindings: Private ordinary functions
check-for-clause: Private ordinary functions
check-for-equal-relation: Private macros
check-frame-definition: Private ordinary functions
check-instance-definition: Private ordinary functions
check-rule-set-syntax: Private ordinary functions
check-rule-set-variables-specification: Private ordinary functions
check-rule-syntax: Private ordinary functions
choose-constraint-trace-mode: Private ordinary functions
choose-element-type: Private ordinary functions
choose-number-of-results: Private ordinary functions
choose-relation: Private ordinary functions
choose-special-constraint: Private ordinary functions
choose-value-assignment: Private ordinary functions
choose-value-spec: Private ordinary functions
clause-type: Private macros
collect-clauses: Private ordinary functions
collect-results: Private ordinary functions
collect-term-components: Private ordinary functions
combine-two-alists: Private ordinary functions
combine-values: Private ordinary functions
combine-variable-alists: Private ordinary functions
compatible-value-p: Private ordinary functions
compile-condition: Private ordinary functions
complete-to-n: Private ordinary functions
compute-list-expr: Private ordinary functions
compute-new-number-of-results: Private ordinary functions
compute-slot-names: Private ordinary functions
compute-slots: Private ordinary functions
compute-slots2: Private ordinary functions
compute-term: Private ordinary functions
compute-used-slots: Private ordinary functions
cons-if-not-nil: Private ordinary functions
consistent-value-ass-p: Private ordinary functions
constrained-p: Public ordinary functions
constraint-assoc-tracedp: Private ordinary functions
constraint-input-test: Private ordinary functions
constraint-type: Private macros
contains-vars: Private ordinary functions
convert-simple-to-multiple: Private ordinary functions
convert-to-consat-value: Private ordinary functions
copy-agenda-elem: Private ordinary functions
copy-justification: Private ordinary functions
copy-possible-values: Private ordinary functions
copy-slot-value: Private ordinary functions
copy-stack-elem: Private ordinary functions
copy-trace-element: Private ordinary functions
copy-var-info: Private ordinary functions
copy-varcell: Private ordinary functions
create-instance-of: Private ordinary functions
create-net-spec: Private ordinary functions
create-unnamed-instance: Private macros
create-var-info-alist: Private ordinary functions
current-kb-typep: Private ordinary functions
current-p: Private ordinary functions
cut-reset: Private macros

D
decr-number-of-results: Private ordinary functions
def-kb-configuration: Public macros
def-kb-instance: Public macros
defaxiom-set: Public macros
defbabylon-entry: Private macros
defbabylon-table: Private macros
defbabylon-translation: Private macros
defbehavior: Public macros
defclauses: Public macros