insquery.exp

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

CLIPS> (do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D))
     TRUE 
  (printout t "Should get a nesting error!" crlf)
))))))))))))))))))))
[CLASSFUN2] Maximum number of simultaneous class hierarchy
  traversals exceeded 128.
FALSE
CLIPS> (any-instancep)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (any-instancep TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (any-instancep ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (any-instancep (?B OBJECT) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (any-instancep ((?b A)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (any-instancep ((?b BOGUS)) TRUE)
[PRNTUTIL1] Unable to find class BOGUS.
CLIPS> (any-instancep ((?b 34)) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (any-instancep ((?b (mv-append BOGUS USER))) TRUE)
[CLASSFUN1] Unable to find class BOGUS in function any-instancep.

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (any-instancep ((?b (mv-append USER 34))) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (any-instancep ((?b A)) (progn (bind ?b 1) TRUE))
[INSQYPSR2] Binds are not allowed in instance-set query in function any-instancep.
CLIPS> (find-instance)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-instance TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-instance ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-instance (?B OBJECT) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-instance ((?b A)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-instance ((?b BOGUS)) TRUE)
[PRNTUTIL1] Unable to find class BOGUS.
CLIPS> (find-instance ((?b 34)) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
()
CLIPS> (find-instance ((?b (mv-append BOGUS USER))) TRUE)
[CLASSFUN1] Unable to find class BOGUS in function find-instance.

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
()
CLIPS> (find-instance ((?b (mv-append USER 34))) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
()
CLIPS> (find-instance ((?b A)) (progn (bind ?b 1) TRUE))
[INSQYPSR2] Binds are not allowed in instance-set query in function find-instance.
CLIPS> (find-all-instances)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-all-instances TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-all-instances ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-all-instances (?B OBJECT) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-all-instances ((?b A)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (find-all-instances ((?b BOGUS)) TRUE)
[PRNTUTIL1] Unable to find class BOGUS.
CLIPS> (find-all-instances ((?b 34)) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
()
CLIPS> (find-all-instances ((?b (mv-append BOGUS USER))) TRUE)
[CLASSFUN1] Unable to find class BOGUS in function find-all-instances.

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
()
CLIPS> (find-all-instances ((?b (mv-append USER 34))) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
()
CLIPS> (find-all-instances ((?b A)) (progn (bind ?b 1) TRUE))
[INSQYPSR2] Binds are not allowed in instance-set query in function find-all-instances.
CLIPS> (do-for-instance)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-instance TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-instance ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-instance (?B OBJECT) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-instance ((?b A)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-instance ((?b BOGUS)) TRUE)
[PRNTUTIL1] Unable to find class BOGUS.
CLIPS> (do-for-instance ((?b A)) (progn (bind ?b 1) TRUE))
[INSQYPSR2] Binds are not allowed in instance-set query in function do-for-instance.
CLIPS> (do-for-instance ((?b 34)) TRUE abc)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (do-for-instance ((?b (mv-append BOGUS USER))) TRUE abc)
[CLASSFUN1] Unable to find class BOGUS in function do-for-instance.

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (do-for-instance ((?b (mv-append USER 34))) TRUE abc)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (do-for-instance ((?b OBJECT)) TRUE (bind ?b 1))
[INSQYPSR3] Cannot rebind instance-set member variable b in function do-for-instance.
CLIPS> (do-for-all-instances)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-all-instances TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-all-instances ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-all-instances (?B OBJECT) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-all-instances ((?b A)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (do-for-all-instances ((?b BOGUS)) TRUE)
[PRNTUTIL1] Unable to find class BOGUS.
CLIPS> (do-for-all-instances ((?b A)) (progn (bind ?b 1) TRUE))
[INSQYPSR2] Binds are not allowed in instance-set query in function do-for-all-instances.
CLIPS> (do-for-all-instances ((?b 34)) TRUE abc)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (do-for-all-instances ((?b (mv-append BOGUS USER))) TRUE abc)
[CLASSFUN1] Unable to find class BOGUS in function do-for-all-instances.

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (do-for-all-instances ((?b (mv-append USER 34))) TRUE abc)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (do-for-all-instances ((?b OBJECT)) TRUE (bind ?b 1))
[INSQYPSR3] Cannot rebind instance-set member variable b in function do-for-all-instances.
CLIPS> (delayed-do-for-all-instances)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (delayed-do-for-all-instances TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (delayed-do-for-all-instances ())

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (delayed-do-for-all-instances (?B OBJECT) TRUE)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (delayed-do-for-all-instances ((?b A)))

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query function.
CLIPS> (delayed-do-for-all-instances ((?b BOGUS)) TRUE)
[PRNTUTIL1] Unable to find class BOGUS.
CLIPS> (delayed-do-for-all-instances ((?b A)) (progn (bind ?b 1) TRUE))
[INSQYPSR2] Binds are not allowed in instance-set query in function delayed-do-for-all-instances.
CLIPS> (delayed-do-for-all-instances ((?b 34)) TRUE abc)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (delayed-do-for-all-instances ((?b (mv-append BOGUS USER))) TRUE abc)
[CLASSFUN1] Unable to find class BOGUS in function delayed-do-for-all-instances.

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (delayed-do-for-all-instances ((?b (mv-append USER 34))) TRUE abc)

[PRNTUTIL2] Syntax Error:  Check appropriate syntax for instance-set query class restrictions.
FALSE
CLIPS> (delayed-do-for-all-instances ((?b OBJECT)) TRUE (bind ?b 1))
[INSQYPSR3] Cannot rebind instance-set member variable b in function delayed-do-for-all-instances.
CLIPS> (make-instance v of V)
[v]
CLIPS> (make-instance w of W)
[w]
CLIPS> (make-instance x of X)
[x]
CLIPS> (make-instance y of Y)
[y]
CLIPS> (make-instance z of Z)
[z]
CLIPS> (do-for-all-instances ((?ins1 ?*list* X (mv-append Y Z)) 
                       (?ins2 X (mv-append Y Z) ?*list*))
  TRUE
  (printout t ?ins1 " " ?ins2 crlf))
[v] [x]
[v] [y]
[v] [z]
[v] [v]
[v] [w]
[w] [x]
[w] [y]
[w] [z]
[w] [v]
[w] [w]
[x] [x]
[x] [y]
[x] [z]
[x] [v]
[x] [w]
[y] [x]
[y] [y]
[y] [z]
[y] [v]
[y] [w]
[z] [x]
[z] [y]
[z] [z]
[z] [v]
[z] [w]
CLIPS> (while TRUE do
   (delayed-do-for-all-instances ((?b OBJECT)) TRUE 
     (progn (printout t DELAYED ?b crlf) (break)))
   (do-for-all-instances ((?b OBJECT)) TRUE 
     (progn (printout t DO-FOR-ALL ?b crlf) (break)))
   (break))
DELAYED[initial-object]
DO-FOR-ALL[initial-object]
FALSE
CLIPS> (deffunction quoxnar ()
   (do-for-all-instances ((?b OBJECT)) TRUE 
     (progn (printout t INS-RETURN ?b crlf) (return))))
CLIPS> (quoxnar)
INS-RETURN[initial-object]
CLIPS> 
(dribble-off)