(reset)
(do-for-all-instances ((?i OBJECT)) TRUE
   (+ (eval "(gensym)") 2))
(do-for-all-instances ((?mb MALE) (?wg FEMALE))
   TRUE
   (printout t ?mb " " ?wg crlf))
(do-for-all-instances ((?mb BOY MAN) (?wg GIRL WOMAN))
   TRUE
   (progn (printout t ?mb ) (printout t " " ?wg crlf)))
(do-for-all-instances ((?f1 FEMALE) (?f2 FEMALE))
   TRUE
   (printout t ?f1 " " ?f2 crlf))
(do-for-all-instances ((?mb MALE) (?wg FEMALE))
   (= (send ?mb get-age) (send ?wg get-age))
   (printout t ?mb " " ?wg crlf))
(do-for-all-instances ((?mb MALE) (?wg FEMALE))
   (= ?mb:age ?wg:age)
   (printout t ?mb " " ?wg crlf))
(count-instances WOMAN)
(count-instances-2 WOMAN)
(count-instances BOY)
(count-instances-2 BOY)
(any-instancep ((?man MAN)) (> ?man:age 30))
(find-instance ((?m MAN) (?w WOMAN)) (= ?m:age ?w:age))
(find-all-instances ((?m MAN) (?w WOMAN)) (= ?m:age ?w:age))
(do-for-instance ((?p1 PERSON) (?p2 PERSON) (?p3 PERSON))
  (and (= ?p1:age ?p2:age ?p3:age)
       (neq ?p1 ?p2)
       (neq ?p1 ?p3)
       (neq ?p2 ?p3))
  (printout t ?p1 " " ?p2 " " ?p3 crlf))
(do-for-all-instances ((?p1 PERSON) (?p2 PERSON) (?p3 PERSON))
  (and (= ?p1:age ?p2:age ?p3:age)
       (> (str-compare ?p1 ?p2) 0)
       (> (str-compare ?p2 ?p3) 0))
  (printout t ?p1 " " ?p2 " " ?p3 crlf))
(do-for-all-instances ((?p1 PERSON) (?p2 PERSON) (?p3 PERSON))
  (= ?p1:age ?p2:age ?p3:age)
  (printout t ?p1 " " ?p2 " " ?p3 crlf))
(watch instances)
(delayed-do-for-all-instances ((?b1 BOY))
   (not (any-instancep ((?b2 BOY))
           (> ?b2:age (send ?b1 get-age))))
   (send ?b1 delete))
(reset)
(do-for-all-instances ((?b1 BOY))
   (not (any-instancep ((?b2 BOY))
           (> ?b2:age (send ?b1 get-age))))
   (send ?b1 delete))
(unwatch instances)
(reset)
(do-for-all-instances ((?b BOY)) TRUE
  (do-for-all-instances ((?g GIRL)) TRUE
    (printout t ?b " " ?g crlf)))
(make-instance d of D)
(do-for-all-instances ((?a A)) TRUE
  (printout t ?a crlf))
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
(do-for-all-instances ((?a D) (?b D) (?c D) (?d D) (?e D) (?f D) (?g D) (?h D) (?i D) (?j D) (?k D) (?l D) (?m D))
     TRUE 
  (printout t "Should get a nesting error!" crlf)
))))))))))))))))))))
(any-instancep)
(any-instancep TRUE)
(any-instancep ())
(any-instancep (?B OBJECT) TRUE)
(any-instancep ((?b A)))
(any-instancep ((?b BOGUS)) TRUE)
(any-instancep ((?b 34)) TRUE)
(any-instancep ((?b (create$ BOGUS USER))) TRUE)
(any-instancep ((?b (create$ USER 34))) TRUE)
(any-instancep ((?b A)) (progn (bind ?b 1) TRUE))
(find-instance)
(find-instance TRUE)
(find-instance ())
(find-instance (?B OBJECT) TRUE)
(find-instance ((?b A)))
(find-instance ((?b BOGUS)) TRUE)
(find-instance ((?b 34)) TRUE)
(find-instance ((?b (create$ BOGUS USER))) TRUE)
(find-instance ((?b (create$ USER 34))) TRUE)
(find-instance ((?b A)) (progn (bind ?b 1) TRUE))
(find-all-instances)
(find-all-instances TRUE)
(find-all-instances ())
(find-all-instances (?B OBJECT) TRUE)
(find-all-instances ((?b A)))
(find-all-instances ((?b BOGUS)) TRUE)
(find-all-instances ((?b 34)) TRUE)
(find-all-instances ((?b (create$ BOGUS USER))) TRUE)
(find-all-instances ((?b (create$ USER 34))) TRUE)
(find-all-instances ((?b A)) (progn (bind ?b 1) TRUE))
(do-for-instance)
(do-for-instance TRUE)
(do-for-instance ())
(do-for-instance (?B OBJECT) TRUE)
(do-for-instance ((?b A)))
(do-for-instance ((?b BOGUS)) TRUE)
(do-for-instance ((?b A)) (progn (bind ?b 1) TRUE))
(do-for-instance ((?b 34)) TRUE abc)
(do-for-instance ((?b (create$ BOGUS USER))) TRUE abc)
(do-for-instance ((?b (create$ USER 34))) TRUE abc)
(do-for-instance ((?b OBJECT)) TRUE (bind ?b 1))
(do-for-all-instances)
(do-for-all-instances TRUE)
(do-for-all-instances ())
(do-for-all-instances (?B OBJECT) TRUE)
(do-for-all-instances ((?b A)))
(do-for-all-instances ((?b BOGUS)) TRUE)
(do-for-all-instances ((?b A)) (progn (bind ?b 1) TRUE))
(do-for-all-instances ((?b 34)) TRUE abc)
(do-for-all-instances ((?b (create$ BOGUS USER))) TRUE abc)
(do-for-all-instances ((?b (create$ USER 34))) TRUE abc)
(do-for-all-instances ((?b OBJECT)) TRUE (bind ?b 1))
(delayed-do-for-all-instances)
(delayed-do-for-all-instances TRUE)
(delayed-do-for-all-instances ())
(delayed-do-for-all-instances (?B OBJECT) TRUE)
(delayed-do-for-all-instances ((?b A)))
(delayed-do-for-all-instances ((?b BOGUS)) TRUE)
(delayed-do-for-all-instances ((?b A)) (progn (bind ?b 1) TRUE))
(delayed-do-for-all-instances ((?b 34)) TRUE abc)
(delayed-do-for-all-instances ((?b (create$ BOGUS USER))) TRUE abc)
(delayed-do-for-all-instances ((?b (create$ USER 34))) TRUE abc)
(delayed-do-for-all-instances ((?b OBJECT)) TRUE (bind ?b 1))
(make-instance v of V)
(make-instance w of W)
(make-instance x of X)
(make-instance y of Y)
(make-instance z of Z)
(do-for-all-instances ((?ins1 ?*list* X (create$ Y Z)) 
                       (?ins2 X (create$ Y Z) ?*list*))
  TRUE
  (printout t ?ins1 " " ?ins2 crlf))
(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))
(deffunction quoxnar ()
   (do-for-all-instances ((?b OBJECT)) TRUE 
     (progn (printout t INS-RETURN ?b crlf) (return))))
(quoxnar)
(clear)
(defclass POINT (is-a USER) (slot x) (slot y))
(definstances points ([p1] of POINT (x 1) (y 2)) ([p2] of POINT (x 3) (y 4)))
(reset)
(do-for-all-instances ((?f POINT)) TRUE (send ?f delete) (+ ?f:x ?f:y))
(reset)
(do-for-all-instances ((?f POINT)) TRUE (+ ?f:x ?f:z))
(do-for-all-instances ((?f POINT)) TRUE (+ ?f:x ?f:78))
(clear)
(defclass A (is-a USER) (slot x))
(defclass B (is-a USER) (slot y))
(defclass C (is-a USER) (slot z))

(definstances init
   (a1 of A (x 1)) 
   (a2 of A (x 2)) 
   (b1 of B (y 3)) 
   (b2 of B (y 4)) 
   (c1 of C (z 5)) 
   (c2 of C (z 6))
   (c3 of C (z 7)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?a) then (send ?a delete)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?b) then (send ?b delete)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?c) then (send ?c delete)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?a) then (send ?a delete))
  (if (instance-existp ?b) then (send ?b delete)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?b) then (send ?b delete))
  (if (instance-existp ?c) then (send ?c delete)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?a) then (send ?a delete))
  (if (instance-existp ?c) then (send ?c delete)))
(reset)

(do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?a) then (send ?a delete))
  (if (instance-existp ?b) then (send ?b delete))
  (if (instance-existp ?c) then (send ?c delete)))
(reset)

(delayed-do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf))
(reset)

(delayed-do-for-all-instances ((?a A) (?b B) (?c C)) TRUE 
  (printout t (if (instance-existp ?a) then ?a:x else "?") " " 
              (if (instance-existp ?b) then ?b:y else "?") " " 
              (if (instance-existp ?c) then ?c:z else "?") crlf)
  (if (instance-existp ?a) then (send ?a delete))
  (if (instance-existp ?b) then (send ?b delete))
  (if (instance-existp ?c) then (send ?c delete)))
(reset)

(find-all-instances ((?a A) (?b B) (?c C)) 
  (progn (send ?a delete) (send ?b delete) (send ?c delete) FALSE))
(instances)
(reset)

(find-instance ((?a A) (?b B) (?c C)) 
  (progn (send ?a delete) (send ?b delete) (send ?c delete) FALSE))
(instances)
(reset)

(find-all-instances ((?a A) (?b B) (?c C)) 
  (progn (if (eq ?b:y 3) then (send ?b delete)) FALSE))
(instances)
(reset)

(find-instance ((?a A) (?b B) (?c C)) 
  (progn (if (eq ?b:y 3) then (send ?b delete)) FALSE))
(instances)
(reset)

(find-all-instances ((?a A) (?b B) (?c C)) 
  (progn (if (eq ?b:y 3) then (send ?b delete)) 
         (if (eq ?c:z 5) then (send ?c delete))
         (if (eq ?a:x 2) then TRUE else FALSE)))
(instances)
(reset)

(find-instance ((?a A) (?b B) (?c C)) 
  (progn (if (eq ?b:y 3) then (send ?b delete)) 
         (if (eq ?c:z 5) then (send ?c delete))
         (if (eq ?a:x 2) then TRUE else FALSE)))
(instances)

(clear)
(watch instances)
(watch slots)
(defclass FOO (is-a USER) (multislot list))
(make-instance f1 of FOO (list 1 2))

(do-for-instance ((?f FOO)) TRUE
   (send ?f delete)
   (bind ?x ?f:list)
   (make-instance of FOO (list ?x 3)))

(make-instance f2 of FOO (list 3 4))
(make-instance f3 of FOO (list 5 6))   

(do-for-all-instances ((?f FOO)) TRUE
   (send ?f delete)
   (bind ?x ?f:list)
   (make-instance of FOO (list ?x 3)))
(unwatch instances)
(unwatch slots)
(clear)