bpgf3err.exp

NASA 开发使用的一个专家系统

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for type attribute.

ERROR:
(deftemplate MAIN::example
   (field x (type INTEGERFLOAT 
CLIPS> (deftemplate example (field x (allowed-integers 3.0)))

[CSTRNPSR4] Value does not match the expected type for the allowed-integers attribute

ERROR:
(deftemplate MAIN::example
   (field x (allowed-integers 3.0 
CLIPS> (deftemplate example 
          (field x (min-number-of-elements 3)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for slot attributes.

ERROR:
(deftemplate MAIN::example
   (field x (min-number-of-elements
CLIPS> (defglobal ?x = 3)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for defglobal.

ERROR:
(defglobal MAIN ?x
CLIPS> (deffunction defgeneric ())
[DFFNXPSR1] Deffunctions are not allowed to replace constructs.

ERROR:
(deffunction MAIN::defgeneric
   (
CLIPS> (deffunction + ())
[DFFNXPSR2] Deffunctions are not allowed to replace external functions.

ERROR:
(deffunction MAIN::+
   (
CLIPS> (defgeneric foo)
CLIPS> (deffunction foo ())
[DFFNXPSR3] Deffunctions are not allowed to replace generic functions.

ERROR:
(deffunction MAIN::foo
   (
CLIPS> (clear)
CLIPS> (deffunction foo)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for parameter list.

ERROR:
(deffunction MAIN::foo)
CLIPS> (deffunction foo (?a abc))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for parameter list.

ERROR:
(deffunction MAIN::foo
   (?a abc
CLIPS> (deffunction foo () (build "(deffunction foo ())"))
CLIPS> (foo)
[DFNXPSR4] Deffunction foo may not be redefined while it is executing.

ERROR:
(deffunction MAIN::foo
   (
FALSE
CLIPS> (defgeneric deffunction)
[GENRCPSR3] Defgenerics are not allowed to replace constructs.

ERROR:
(defgeneric MAIN::deffunction)
CLIPS> (clear)
CLIPS> (deffunction foo ())
CLIPS> (defgeneric foo)
[GENRCPSR5] Defgenerics are not allowed to replace deffunctions.

ERROR:
(defgeneric MAIN::foo)
CLIPS> (clear)
CLIPS> (defgeneric foo ())
[GENRCPSR1] Expected ')' to complete defgeneric.

ERROR:
(defgeneric MAIN::foo
   (
CLIPS> (defgeneric)

[CSTRCPSR2] Missing name for defgeneric construct

ERROR:
(defgeneric )
CLIPS> (clear)
CLIPS> (defmethod foo 1 ((?a INTEGER)))
CLIPS> (defmethod foo 2 ((?a INTEGER)))
[GENRCPSR2] New method #2 would be indistinguishable from method #1.

ERROR:
(defmethod MAIN::foo 2
   ((?a INTEGER))
   
CLIPS> (clear)
CLIPS> (defmethod foo 0 ())
[GENRCPSR6] Method index out of range.

ERROR:
(defmethod MAIN::foo 0
CLIPS> (clear)
CLIPS> (defmethod foo)
[GENRCPSR7] Expected a '(' to begin method parameter restrictions.

ERROR:
(defmethod MAIN::foo)
CLIPS> (clear)
CLIPS> (defmethod foo (abc))
[GENRCPSR9] Expected a variable or '(' for parameter specification.

ERROR:
(defmethod MAIN::foo
   (abc
CLIPS> (clear)
CLIPS> (defmethod foo ((abc)))
[GENRCPSR8] Expected a variable for parameter specification.

ERROR:
(defmethod MAIN::foo
   ((abc
CLIPS> (clear)
CLIPS> (defmethod foo ((?a (< ?a 1) INTEGER)))
[GENRCPSR10] Query must be last in parameter restriction.

ERROR:
(defmethod MAIN::foo
   ((?a (< ?a 1) INTEGER
CLIPS> (clear)
CLIPS> (defmethod foo ((?a INTEGER INTEGER)))
[GENRCPSR11] Duplicate classes not allowed in parameter restriction.

ERROR:
(defmethod MAIN::foo
   ((?a INTEGER INTEGER
CLIPS> (clear)
CLIPS> (defmethod foo ((?a INTEGER NUMBER)))
[GENRCPSR15] INTEGER class is redundant.

ERROR:
(defmethod MAIN::foo
   ((?a INTEGER NUMBER
CLIPS> (clear)
CLIPS> (defmethod foo ((?a (bind ?b 1))))
[GENRCPSR12] Binds are not allowed in query expressions.

ERROR:
(defmethod MAIN::foo
   ((?a (bind ?b 1)
CLIPS> (clear)
CLIPS> (defmethod foo ((?a 34)))
[GENRCPSR13] Expected a valid class name or query.

ERROR:
(defmethod MAIN::foo
   ((?a 34
CLIPS> (clear)
CLIPS> (defmethod foo ((?a bogus-class)))
[GENRCPSR14] Unknown class in method.

ERROR:
(defmethod MAIN::foo
   ((?a bogus-class
CLIPS> (clear)
CLIPS> (defclass A (is-a USER))
CLIPS> (defmethod foo ((?a A LEXEME)))
CLIPS> (defclass A (is-a OBJECT)))
[CLASSPSR3] A class cannot be redefined while
    outstanding references to it still exist.

ERROR:
(defclass MAIN::A
   (
CLIPS> (clear)
CLIPS> (defclass STRING (is-a NUMBER))
[CLASSPSR2] Cannot redefine a predefined system class.

ERROR:
(defclass MAIN::STRING
   (
CLIPS> (clear)
CLIPS> (defclass A (is-a A))
[INHERPSR1] A class may not have itself as a superclass.

ERROR:
(defclass MAIN::A
   (is-a A
CLIPS> (clear)
CLIPS> (defclass A (is-a USER USER))
[INHERPSR2] A class may inherit from a superclass only once.

ERROR:
(defclass MAIN::A
   (is-a USER USER
CLIPS> (clear)
CLIPS> (defclass B (is-a A))
[INHERPSR3] A class must be defined after all its superclasses.

ERROR:
(defclass MAIN::B
   (is-a A
CLIPS> (clear)
CLIPS> (defclass A (is-a USER))
CLIPS> (defclass B (is-a A))
CLIPS> (defclass C (is-a B))
CLIPS> (defclass A (is-a C))
[INHERPSR5] Partial precedence list formed: A
Precedence loop in superclasses: A B C A

ERROR:
(defclass MAIN::A
   (is-a C)
CLIPS> (clear)
CLIPS> (defclass A (is-a))
[INHERPSR4] Must have at least one superclass.

ERROR:
(defclass MAIN::A
   (is-a )
CLIPS> (defclass A (is-a USER)
  (role abstract)
  (role concrete))
[CLASSPSR4] Class role already declared.

ERROR:
(defclass MAIN::A
   (is-a USER)
   (role abstract)
   (role
CLIPS> (defclass A (is-a USER)
  (slot foo (default 1)
            (default 2)))
[CLSLTPSR2] default facet already specified.

ERROR:
(defclass MAIN::A
   (is-a USER)
   (slot foo
      (default 1)
      (default
CLIPS> (defclass A (is-a USER)
  (slot foo (access read-only)
            (access initialize-only)))
[CLSLTPSR2] access facet already specified.

ERROR:
(defclass MAIN::A
   (is-a USER)
   (slot foo
      (access read-only)
      (access
CLIPS> (defclass A (is-a USER)
  (slot foo (default 1 2 3 4)))
[INSFUN7] (1 2 3 4) illegal for single-field slot foo found in slot default value.

ERROR:
(defclass MAIN::A
   (is-a USER)
   (slot foo
      (default 1 2 3 4))
CLIPS> (defclass A (is-a USER)
  (slot foo)
  (slot foo))
[CLSLTPSR1] Duplicate slots not allowed.

ERROR:
(defclass MAIN::A
   (is-a USER)
   (slot foo)
   (slot foo
CLIPS> (defclass A (is-a OBJECT USER))
[INHERPSR5] Partial precedence list formed:
Precedence loop in superclasses: OBJECT USER OBJECT

ERROR:
(defclass MAIN::A
   (is-a OBJECT USER)
CLIPS> (defmessage-handler bogus-class foo ())
[MSGPSR1] A class must be defined before its message-handlers.

ERROR:
(defmessage-handler MAIN::bogus-class
   foo
CLIPS> (defclass A (is-a USER) (role concrete))
CLIPS> (make-instance a of A)
[a]
CLIPS> (defmessage-handler A build-new ()
  (build "(defmessage-handler A new ())"))
CLIPS> (send [a] build-new)
[MSGPSR2] Cannot (re)define message-handlers during execution of 
  other message-handlers for the same class.

ERROR:
(defmessage-handler MAIN::A
   new
FALSE
CLIPS> (defmessage-handler USER init ())
[MSGPSR3] System message-handlers may not be modified.

ERROR:
(defmessage-handler MAIN::USER init
   (
CLIPS> (clear)
CLIPS> (defclass A (is-a USER)
  (slot foo (create-accessor read-write)))
CLIPS> (defmessage-handler A get-foo ())
[MSGPSR3] System message-handlers may not be modified.

ERROR:
(defmessage-handler MAIN::A get-foo
   (
CLIPS> (defmessage-handler USER foo (?self:bar))
[MSGPSR4] Illegal slot reference in parameter list.

ERROR:
(defmessage-handler MAIN::USER foo
   (?self:bar
CLIPS> (defmessage-handler USER foo ()
  (bind ?self 1))
[MSGPSR5] Active instance parameter cannot be changed.

ERROR:
(defmessage-handler MAIN::USER foo
   ()
   (bind ?self 1)
   )
CLIPS> (defmessage-handler USER foo ()
  (dynamic-put bar 1))
CLIPS> (clear)
CLIPS> (defclass A (is-a USER) (role concrete)
  (slot foo (create-accessor write)))
CLIPS> (definstances A-objects
  (a of A 
    (foo (build "(definstances A-objects (b of A))"))))
CLIPS> (reset)

[CSTRCPSR4] Cannot redefine definstances A-objects while it is in use.

ERROR:
(definstances MAIN::A-objects
CLIPS> (any-instancep ((?a OBJECT) (?a OBJECT)) TRUE)
[INSQYPSR1] Duplicate instance member variable name in function any-instancep.
CLIPS> (any-instancep ((?a OBJECT) (?b OBJECT)) 
  (bind ?c 1))
[INSQYPSR2] Binds are not allowed in instance-set query in function any-instancep.
CLIPS> (do-for-all-instances ((?a USER)) 
  (if (slot-existp ?a age) then
     (> ?a:age 30))
  (bind ?a (send ?a get-brother)))
[INSQYPSR3] Cannot rebind instance-set member variable a in function do-for-all-instances.
CLIPS> (dribble-off)