bpgf3err.exp

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

TRUE
CLIPS> (batch "bpgf3err.bat")
TRUE
CLIPS> (defgeneric ())

[CSTRCPSR2] Missing name for defgeneric construct

ERROR:
(defgeneric (
CLIPS> (if (> 3 4))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for if function.
CLIPS> (deffacts info (fact ?x))

[PRNTUTIL6] Local variables can not be accessed by a deffacts construct.

ERROR:
(deffacts MAIN::info
   (fact ?x))
CLIPS> (defmethod foo () (+ ?a 2))

[PRCCODE3] Undefined variable a referenced in method.

ERROR:
(defmethod MAIN::foo
   ()
   (+ ?a 2)
   )
CLIPS> (deffunction foo ($?wild ?a))
[PRCCODE8] No parameters allowed after wildcard parameter.

ERROR:
(deffunction MAIN::foo
   ($?wild ?a
CLIPS> (deffunction foo (?a ?a))
[PRCCODE7] Duplicate parameter names not allowed.

ERROR:
(deffunction MAIN::foo
   (?a ?a
CLIPS> (assert (fact 1 (fact 2)))

[EXPRNPSR3] Missing function declaration for fact.
CLIPS> (assert ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for first field of a RHS pattern.
CLIPS> (assert)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for assert command.
CLIPS> (+ (~ 3 4) 4)

[EXPRNPSR1] A function name must be a symbol
CLIPS> (xyz)

[EXPRNPSR3] Missing function declaration for xyz.
CLIPS> (<= ~ 4)

[EXPRNPSR2] Expected a constant, variable, or expression.
CLIPS> (defrule error (declare (priority 10)) =>)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for declare statement.

ERROR:
(defrule MAIN::error
   (declare (priority
CLIPS> (defrule error (declare (salience a)) =>)

[AGENDA1] Salience value must be an integer value.

ERROR:
(defrule MAIN::error
   (declare (salience a
CLIPS> (defrule error (declare (salience 20000)) =>)

[AGENDA2] Salience value out of range -10000 to 10000.

ERROR:
(defrule MAIN::error
   (declare (salience 20000
CLIPS> (defrule error (or) =>)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for the or conditional element.

ERROR:
(defrule MAIN::error
   (or)
CLIPS> (defrule error (not ?f <- (fact)) =>)

[RULELHS2] A pattern CE cannot be bound to a pattern-address within a not CE

ERROR:
(defrule MAIN::error
   (not ?f
CLIPS> (defrule error () =>)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for the first field of a pattern.

ERROR:
(defrule MAIN::error
   ()
CLIPS> (defrule error (test (> 3 4)) =>)
CLIPS> (defrule error (a) (logical (b)) =>)

[RULEPSR1] Logical CEs must be placed first in a rule

ERROR:
(defrule MAIN::error
   (a)
   (logical
        (b))
   =>)
CLIPS> (defrule error (logical (a)) (b) (logical (c)) =>)

[RULEPSR2] Gaps may not exist between logical CEs

ERROR:
(defrule MAIN::error
   (logical
        (a))
   (b)
   (logical
        (c))
   =>)
CLIPS> (defrule error => (assert (a ?f)))

[PRCCODE3] Undefined variable f referenced in RHS of defrule.

ERROR:
(defrule MAIN::error
   =>
   (assert (a ?f)))
CLIPS> (defrule error => (retract ?f))

[PRCCODE3] Undefined variable f referenced in RHS of defrule.

ERROR:
(defrule MAIN::error
   =>
   (retract ?f))
CLIPS> (defrule error (fact) (test (> ?f 4)) =>)

[ANALYSIS4] Variable ?f found in the expression (> ?f 4)
was referenced in CE #2 before being defined.

ERROR:
(defrule MAIN::error
   (fact)
   (test (> ?f 4))
   =>)
CLIPS> (defrule error ?f <- (a ?f) =>)
CLIPS> (defrule error ?f <- (a) ?f <- (b) =>)

[ANALYSIS1] Duplicate pattern-address ?f found in CE #2.

ERROR:
(defrule MAIN::error
   ?f <- (a)
   ?f <- (b)
   =>)
CLIPS> (defrule error (a ~?f) =>)

[ANALYSIS4] Variable ?f was referenced in CE #1 field #1 before being defined.

ERROR:
(defrule MAIN::error
   (a ~?f)
   =>)
CLIPS> (deftemplate error (multifield x) (multifield y))
CLIPS> (deftemplate error (field x (allowed-types word)))

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

ERROR:
(deftemplate MAIN::error
   (field x (allowed-types
CLIPS> (deftemplate example (field x (default a) (default b)))

[PRNTUTIL5] The default attribute has already been parsed.

ERROR:
(deftemplate MAIN::example
   (field x (default a) (default
CLIPS> (deftemplate error (multifield x (default 3 ?NONE)))

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

ERROR:
(deftemplate MAIN::error
   (multifield x (default 3 ?NONE
CLIPS> (deftemplate error (multifield x (default ?NONE 3)))

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

ERROR:
(deftemplate MAIN::error
   (multifield x (default ?NONE 3
CLIPS> (deftemplate error (field x (default ~)))

[EXPRNPSR2] Expected a constant, variable, or expression.

ERROR:
(deftemplate MAIN::error
   (field x (default ~
CLIPS> (deftemplate error (field x (default)))

[DEFAULT1] The default value for a single field slot must be a single field value

ERROR:
(deftemplate MAIN::error
   (field x (default)
CLIPS> (deftemplate example (field x))
CLIPS> (assert (example (x)))

[TMPLTDEF2] The single field slot x can only contain a single field value.
CLIPS> (assert (example (x a b)))

[TMPLTDEF2] The single field slot x can only contain a single field value.
CLIPS> (defrule error ?f <- (example) => (modify ?f (x)))

[TMPLTDEF2] The single field slot x can only contain a single field value.

ERROR:
(defrule MAIN::error
   ?f <- (example)
   =>
   (modify ?f (x)))
CLIPS> (defrule error ?f <- (example) => (modify ?f (x 3 4)))

[TMPLTDEF2] The single field slot x can only contain a single field value.

ERROR:
(defrule MAIN::error
   ?f <- (example)
   =>
   (modify ?f (x 3 4)))
CLIPS> (deftemplate example (field x))
CLIPS> (assert (example (x =(mv-append a b c))))

[TMPLTDEF2] The single field slot x can only contain a single field value.
CLIPS> (deftemplate example (field x))
CLIPS> (assert (example (x a) (x b)))

[PRNTUTIL5] The slot x has already been parsed.
CLIPS> (deftemplate example (field x))
CLIPS> (defrule error (example|other (x 3)) =>)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for deftemplate patterns.

ERROR:
(defrule MAIN::error
   (example|
CLIPS> (deftemplate example (field x))
CLIPS> (defrule error (example (z 3)) =>)

[TMPLTDEF1] Invalid slot z not defined in corresponding deftemplate example.

ERROR:
(defrule MAIN::error
   (example (z
CLIPS> (undeftemplate example)
CLIPS> (defrule error ?f <- (example) => (modify ?f (x 3)))
CLIPS> (defrule error => (modify 1 (x 3)))

[TMPLTFUN1] Fact-indexes can only be used by modify as a top level command.

ERROR:
(defrule MAIN::error
   =>
   (modify 1
CLIPS> (deftemplate example (field x (type INTEGER)))
CLIPS> (defrule testit (example (x a)) =>)

[CSTRNCHK1] A literal restriction value found in CE #1
does not match the allowed types for slot x.

ERROR:
(defrule MAIN::testit
   (example (x a))
   =>)
CLIPS> (deftemplate example (field x (type INTEGER)))
CLIPS> (assert (example (x =(float 3))))

[CSTRNCHK1] The function return value found in the assert command
does not match the allowed types for slot x.
CLIPS> (deftemplate example (field x (allowed-integers 1 2 3)))
CLIPS> (defrule testit (example (x 4)) =>)

[CSTRNCHK1] A literal restriction value found in CE #1
does not match the allowed values for slot x.

ERROR:
(defrule MAIN::testit
   (example (x 4))
   =>)
CLIPS> (deftemplate example (field x (range 1 3)))
CLIPS> (assert (example (x 4)))

[CSTRNCHK1] A literal slot value found in the assert command
does not fall in the allowed range 1 to 3 for slot x.
CLIPS> (deftemplate example1 (field x (type SYMBOL) 
                                      (allowed-integers 1 2 3)))

[CSTRNPSR1] The type attribute conflicts with the allowed-integers/numbers attribute.

ERROR:
(deftemplate MAIN::example1
   (field x (type SYMBOL) (allowed-integers 1 2 3))
CLIPS> (deftemplate example2 (field x (range 1 3)
                                      (default 5)))

[CSTRNCHK1] An expression found in the default attribute
does not fall in the allowed range 1 to 3 for slot x.

ERROR:
(deftemplate MAIN::example2
   (field x (range 1 3) (default 5))
CLIPS> (deftemplate example3 (field x (type SYMBOL)
                                      (range 1 5)))

[CSTRNPSR1] The type attribute conflicts with the range attribute.

ERROR:
(deftemplate MAIN::example3
   (field x (type SYMBOL) (range 1 5))
CLIPS> (deftemplate example (field x))
CLIPS> (defglobal ?*x* = (mv-append a b c))
CLIPS> (assert (example (x ?*x*)))

[TMPLTFUN2] Attempted to assert a multifield value 
into the single field slot x of deftemplate example.
FALSE
CLIPS> (deftemplate example (field x (allowed-values a b 2 3) 
                                     (allowed-integers 4 5 6)))

[CSTRNPSR3] The allowed-integers attribute cannot be used
in conjunction with the allowed-values attribute.

ERROR:
(deftemplate MAIN::example
   (field x (allowed-values a b 2 3) (allowed-integers
CLIPS> (deftemplate example (field x (allowed-integers 1 2 3) 
                                     (range 4 6)))

[CSTRNPSR3] The range attribute cannot be used
in conjunction with the allowed-integers attribute.

ERROR:
(deftemplate MAIN::example
   (field x (allowed-integers 1 2 3) (range
CLIPS> (deftemplate example (field x (type ?VARIABLE INTEGER)))

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

ERROR:
(deftemplate MAIN::example
   (field x (type ?VARIABLE INTEGER 
CLIPS> (deftemplate example (field x (type INTEGERFLOAT)))