The graphic expert system shell
EMA-XPS


This page is under construction.

Currently only the german version of this page is available!

Sorry for that.
I hope to translate it, when I'm less busy.
If you succeeded in translating at least some part of it,
please send it to me!



Programmer's Reference

Table of Contents

1. Introduction
2. The EMA-XPS Online Help Pages
3. Alphabetic Index of KB Constructs


1. Introduction

The next pages describe preferably babylon3- commands and their state of emulation with the means of Babylon2.
EMA-XPS furthermore allows the use of the com- plete Babylon2 library as well as the complete set of CommonLISP commands.

WARNING:

Those add ons are not covered by this guidance, because the knowledge pro- grammer should preferably use the emu- lated commands of the babylon3 language!
Help on the add ons is available in the literature referenced!

2. The EMA-XPS Online Help Pages

   BABYLON-LISP
   USER-INTERFACE
   KNOWLEDGE-HANDLING
   BABYLON-QUERY-LANGUAGE
   KB-CONSTRUCTS
   EXPLANATION-FACILITY
   UNSUPPORTED

3. Alphabetic Index of KB Constructs

   [
   [AND
   [HAS-PART
   [NOT
   [OR
   {
   !
   #'
   $PRED
   $TERM
   *
   +
   -
   /
   /=
   :DOCUMENTATION
   :END
   :EXPLANATION
   :START
   :TEST
   <
   <=
   =
   >
   >=

   ABS
   ACOS
   ACOSH
   ADD-DEPENDENT
   ADD-OUTPUT-FIELD-TEXT
   ADD-TO-SET
   ADJOIN
   ALPHA-CHAR-P
   ALPHANUMERICP
   AN-INSTANCE-OF
   AND
   APPEND
   APPEND-STRING
   ARE-INSTANCE-VALUES
   ASIN
   ASINH
   ASK
   ASK-INSTANCE-VALUE
   ASK-INSTANCE-VALUES
   ATAN
   ATANH

   BEHAVIORS-OF
   BUTLAST

   CARDINALITY-OF-SET
   CASE
   CEILING
   CHANGE-CONSTRAINT-PATTERN-OF
   CHANGE-FRAME-OF
   CHANGE-HEURISTIC-THRESHOLD
   CHANGE-HEURISTIC-WEIGHT
   CHANGE-RULESET-OF
   CHAR
   CHAR-CODE
   CHAR-DOWNCASE
   CHAR-UPCASE
   CHAR/=
   CHAR<
   CHAR<=
   CHAR=
   CHAR>
   CHAR>=
   CHARACTERP
   CLEAR-OUTPUT-FIELD-TEXT
   CODE-CHAR
   COMPLEMENT-TEST
   COMPLEX
   COMPLEXP
   CONCATENATE
   COND
   CONJUGATE
   CONS
   CONSTRAINT-PATTERN-OF
   CONSTRAINTS-OF
   COPY-LIST
   COPY-STRING
   COPY-TREE
   COS
   COSH
   COUNT
   COUNT-IF
   CREATE
   CREATE-A
   CURRENT-STEP

   DEFCONSTANT
   DEFGLOBAL
   DEFINE-BEHAVIOR
   DEFINE-CONSTRAINT
   DEFINE-CONSTRAINT-PATTERN
   DEFINE-FRAME
   DEFINE-HEURISTIC-OP
   DEFINE-HEURISTIC-TYPE
   DEFINE-INSTANCE
   DEFINE-KNOWLEDGE-BASE
   DEFINE-PLAN-OP
   DEFINE-PLAN-TYPE
   DEFINE-QUESTION-OP
   DEFINE-QUESTION-TYPE
   DEFINE-RULE
   DEFINE-RULESET-TASK
   DEFINE-TASK
   DEFINING-FORM
   DEFUN
   DENOMINATOR
   DEPENDENTS-OF
   DIFFERENCE-OF-SETS
   DIGIT-CHAR-P
   DISPLAY-EXPLANATION
   DISPLAY-QUESTIONS
   DO-INFORM

   EIGHTH
   ELEMENT-OF
   ELEMENT-OF-SET
   ELT
   EMAXPS-EXPLAIN-HOW
   EMAXPS-EXPLAIN-HOW-ALL
   EMAXPS-EXPLAIN-INSPECT-TERMS
   EMAXPS-EXPLAIN-PRINT-ALL-FACTS
   EMAXPS-EXPLAIN-PRINT-UNPROVABLE-FACTS
   EMAXPS-EXPLAIN-TRUE-FACTS
   EMAXPS-EXPLAIN-VIEW
   EMAXPS-EXPLAIN-WHY
   EMAXPS-EXPLAIN-WHY-NOT
   ENTITY
   EQ
   EQL
   EQUAL
   EQUALP
   ERASE
   EVALUATE
   EVALUATE-KB-ELEMENTS
   EVALUATE-MODIFIED-KB-ELEMENTS
   EVENP
   EXP
   EXPLANATION-ASK
   EXPLANATION-OPERATOR
   EXPLANATIONS
   EXPLANATIONS-OF-CLASS
   EXPLANATIONS-OF-TYPE
   EXPT

   FIFTH
   FILL
   FIND
   FIRST
   FLOAT
   FLOATP
   FLOOR
   FOR
   FORMAT
   FOURTH
   FRAME-OF
   FUNCTION

   GCD
   GENERATE-EXPLANATION
   GENERATE-QUESTIONS
   GET-BABYLON-MENU
   GET-BABYLON-MENU-ITEM
   GET-EIS-ELEMENT-HEIGHT
   GET-EIS-ELEMENT-SIZE
   GET-EIS-ELEMENT-WIDTH
   GET-EIS-ELEMENT-X-POSITION
   GET-EIS-ELEMENT-Y-POSITION
   GET-GRAPHIC-BUTTON-PICTURE
   GET-GRAPHIC-LABEL-PICTURE
   GET-INPUT-FIELD-TEXT
   GET-INTERFACE
   GET-OUTPUT-FIELD-TEXT
   GET-PUSH-BUTTON-LABEL
   GET-TEXT-LABEL
   GET-WINDOW-ELEMENT
   GETF

   HIDE-EIS-ELEMENT

   IDENTIFIER-OF
   IF
   IMAGPART
   INSERT-EXPLANATION-OPERATOR
   INSERT-EXPLANATIONS-OF-CLASS
   INSERT-EXPLANATIONS-OF-TYPE
   INSERT-FILE-ENTRY
   INSTANCE-OF
   INSTANCES-OF
   INTEGERP
   INTERSECTION-OF-SETS
   IS-ELEMENT-OF-SET
   IS-EMPTY-SET
   IS-EXACTLY
   IS-EXPLAINABLE
   IS-FRAME-OF
   IS-IDENTIFIER-OF
   IS-INSTANCE-VALUE
   IS-NEARLY
   IS-SAME
   IS-SET
   IS-STEP
   IS-SUBSET-OF-SET
   IS-TYPE-OF
   IS-UNDETERMINED-SET

   KB-CHOOSE-FROM-MENU
   KB-CONFIRM
   KB-DECIDE
   KB-ELEMENTS
   KB-ELEMENTS-OF-TYPE
   KB-FORMAT
   KB-MULTIPLE-CHOOSE-FROM-MENU
   KB-NOTIFY
   KB-PROMPT
   KB-READ

   LAMBDA
   LAST-N
   LCM
   LENGTH
   LENGTH
   LET
   LET*
   LIST
   LIST*
   LIST-TO-SET
   LISTP
   LOG
   LOOP
   LOWER-CASE-P

   MAKE-BABYLON-GRAPHIC-BUTTON
   MAKE-BABYLON-GRAPHIC-LABEL
   MAKE-BABYLON-INPUT-FIELD
   MAKE-BABYLON-MENU
   MAKE-BABYLON-MENU-ITEM
   MAKE-BABYLON-OUTPUT-FIELD
   MAKE-BABYLON-PUSH-BUTTON
   MAKE-BABYLON-SEPARATOR
   MAKE-BABYLON-TEXT-LABEL
   MAKE-LIST
   MAKE-STRING
   MATCH
   MAX
   MEMBER
   MEMBER-IF
   MIN
   MINUSP
   MODIFIED-KB-ELEMENTS-P
   MODIFIEDP
   MOVE
   NAME-OF
   NINTH
   NOT
   NTH
   NTHCDR
   NTHREST
   NULL
   NUMBERP
   NUMERATOR

   OBJECT-OF
   ODDP
   ONLY-EXPLAINABLES
   OR

   PCONS
   PERFORM-EXPLANATION
   PERFORM-QUESTIONS
   PLUSP
   POP
   POSITION
   POSITION-IF
   PRINT
   PRINT-FORM
   PROGN
   PUSH

   RATIONALP
   RATIOP
   READ
   READ-FORM
   READ-LINE
   READ-ONE-LINE
   REALPART
   RELATION-SPECIFICATION
   RELATIONS-OF
   REMF
   REMOVE
   REMOVE-DEPENDENT
   REMOVE-DUPLICATES
   REMOVE-EXPLANATION-OPERATOR
   REMOVE-EXPLANATIONS-OF-CLASS
   REMOVE-EXPLANATIONS-OF-TYPE
   REMOVE-FROM-SET
   REMOVE-IF
   RENAME
   REPLACE-SEQUENTIAL
   REST
   RESULT
   RETELL
   RETELL-INSTANCE-VALUE
   RETELL-INSTANCE-VALUES
   RETRIEVE-FILE-ENTRY
   RETURN
   RETURN-RESULT
   REVAPPEND
   REVERSE
   ROUND
   RULES-OF
   RULESET-OF

   SAME-SETS
   SEARCH
   SECOND
   SEQUENCEP
   SET-EIS-ELEMENT-HEIGHT
   SET-EIS-ELEMENT-SIZE
   SET-EIS-ELEMENT-WIDTH
   SET-EIS-ELEMENT-X-POSITION
   SET-EIS-ELEMENT-Y-POSITION
   SET-GRAPHIC-BUTTON-PICTURE
   SET-GRAPHIC-BUTTON-SENSITIVITY
   SET-GRAPHIC-LABEL-PICTURE
   SET-INPUT-FIELD-TEXT
   SET-MENU-ITEM-SENSITIVITY
   SET-MENU-SENSITIVITY
   SET-OUTPUT-FIELD-TEXT
   SET-PROTOCOL-LEVEL
   SET-PUSH-BUTTON-LABEL
   SET-PUSH-BUTTON-SENSITIVITY
   SET-TEXT-LABEL
   SET-TO-LIST
   SETF
   SEVENTH
   SHOW-EIS-ELEMENT
   SIN
   SINH
   SIXTH
   SORT
   SORT-OPERATORS-OF-TYPE
   SQRT
   STEP-CHILD
   STEP-CHILDREN
   STEP-OBJECT
   STEP-PARENT
   STEP-PARENTS
   STEP-RESULT
   STEP-SELF
   STEP-SIBLING
   STEP-TYPEP
   STREAMP
   STRING
   STRING-CAPITALIZE
   STRING-DOWNCASE
   STRING-EQUAL
   STRING-GREATERP
   STRING-LEFT-TRIM
   STRING-LESSP
   STRING-NOT-EQUAL
   STRING-NOT-GREATERP
   STRING-NOT-LESSP
   STRING-RIGHT-TRIM
   STRING-TRIM
   STRING-UPCASE
   STRING/=
   STRING<
   STRING<=
   STRING=
   STRING>
   STRING>=
   STRINGP
   SUBFRAMES-OF
   SUBLIST
   SUBSEQ
   SUBSET-OF-SET
   SUBST
   SUBST-IF
   SUBSTITUTE
   SUBSTITUTE-IF
   SUBSTRING
   SUPERFRAMES-OF
   SYMBOLP
   SYMMETRIC-DIFFERENCE-OF-SETS

   TAILP
   TAN
   TANH
   TELL
   TELL-INSTANCE-VALUE
   TELL-INSTANCE-VALUES
   TEMPLATE-LEVELS
   TEMPLATE-OF-LEVEL
   TENTH
   THE-KB-ELEMENTS
   THE-KB-ELEMENTS-OF-TYPE
   THE-TYPE-OF
   THIRD
   THIS-KB
   TREE-SUBSTITUTE
   TREE-SUBSTITUTE-IF
   TYPE-OF
   TYPEP

   UNDETERMINED-INSTANCE-VALUES
   UNION-OF-SETS
   UNLESS
   UNTELL
   UNTELL-INSTANCE-VALUE
   UNTELL-INSTANCE-VALUES
   UNWIND-PROTECT
   UPPER-CASE-P

   WHEN
   WITH-OPEN-FILE
   WITH-OPEN-INPUT-FILE
   WITH-OPEN-OUTPUT-FILE

   ZEROP


Back to the table of contents