(load "pr4")

(print (format nil "~%Beginning to store..(3)"))

(print (dbstore g1 ( (weight . 1) (height . 15) (sex . M) (univ . A) (year . 10) (age . 20) 
(salary . 1) (homestate . A) (married . Y) (kidnames . nil) )) )

(print (dbstore g2 ( (weight . 2) (height . 14) (sex . M) (univ . B) (year . 20) (age . 20) 
(salary . 2) (homestate . B) (married . N) (kidnames . nil) )) )

(print (dbstore g3 ( (weight . 3) (height . 13) (sex . M) (univ . C) (year . 30) (age . 20) 
(salary . 3) (homestate . C) (married . Y) (kidnames . nil) )) )

(print (dbstore c1 ( (weight . 4) (height . 12) (sex . F) (univ . A) (year . 40) (age . 30) 
(salary . 4) (homestate . A) (married . N) (kidnames . (c11 c12)) )) )

(print (dbstore c2 ( (weight . 5) (height . 11) (sex . F) (univ . B) (year . 40) (age . 30) 
(salary . 5) (homestate . B) (married . Y) (kidnames . nil) )) )

(print (dbstore c3 ( (weight . 6) (height . 10) (sex . F) (univ . C) (year . 30) (age . 30) 
(salary . 6) (homestate . C) (married . N) (kidnames . (c31)) )) )

(print (dbstore m1 ( (weight . 7) (height . 9) (sex . M) (univ . A) (year . 20) (age . 40) 
(salary . 7) (homestate . A) (married . Y) (kidnames . nil) )) )

(print (dbstore m2 ( (weight . 8) (height . 8) (sex . F) (univ . B) (year . 10) (age . 40) 
(salary . 8) (homestate . B) (married . N) (kidnames . nil) )) )

(print (dbstore m3 ( (weight . 9) (height . 7) (sex . M) (univ . C) (year . 10) (age . 40) 
(salary . 9) (homestate . C) (married . Y) (kidnames . nil) )) )

(print (dbstore l1 ( (weight . 10) (height . 6) (sex . F) (univ . A) (year . 20) (age . 20) 
(salary . 10) (homestate . A) (married . N) (kidnames . (l11 l12)) )) )

(print (dbstore l2 ( (weight . 11) (height . 5) (sex . M) (univ . B) (year . 30) (age . 20) 
(salary . 11) (homestate . B) (married . Y) (kidnames . nil) )) )

(print (dbstore l3 ( (weight . 12) (height . 4) (sex . F) (univ . C) (year . 40) (age . 20) 
(salary . 12) (homestate . C) (married . N) (kidnames . nil) )) )

(print (dbstore p1 ( (weight . 13) (height . 3) (sex . M) (univ . A) (year . 40) (age . 30) 
(salary . 13) (homestate . A) (married . Y) (kidnames . nil) )) )

(print (dbstore p2 ( (weight . 14) (height . 2) (sex . F) (univ . B) (year . 30) (age . 30) 
(salary . 14) (homestate . B) (married . N) (kidnames . (p21)) )) )

(print (dbstore p3 ( (weight . 15) (height . 1) (sex . M) (univ . C) (year . 20) (age . 30) 
(salary . 15) (homestate . C) (married . Y) (kidnames . (p31 p32 p33)) )) )

(print (format nil "~%Done storing"))

(print (format nil "~%Inserting now.. all should be successful..(3)"))

(print (dbinsert g3 general))
(print (dbinsert g2 general))
(print (dbinsert g1 general))

(print (dbinsert c3 colonel))
(print (dbinsert c2 colonel))
(print (dbinsert c1 colonel))

(print (dbinsert l3 lieutenant))
(print (dbinsert l2 lieutenant))
(print (dbinsert l1 lieutenant))

(print (dbinsert m3 major))
(print (dbinsert m2 major))
(print (dbinsert m1 major))

(print (dbinsert p3 private))
(print (dbinsert p2 private))
(print (dbinsert p1 private))

(print (format nil "~%this insert shouldn't work..(1)"))
(print (dbinsert p36 private))
(print (format nil "Result: NIL"))

(print (format nil "~%this set does not exist..(1)"))
(print (dbinsert m3 noset))
(print (format nil "Result: NIL"))

(print (format nil "~%Finding all with weight less-than-equal 8(1)"))
(print (findall (lep weight 8)))
(print (format nil "Result: M2 M1 C3 C2 C1 G3 G2 G1"))

(print (format nil "~%Finding next with height 14(1)"))
(print (findnext (eqp height 14)))
(print (format nil "Result: G2"))

(print (format nil "~%and the next one(1)"))
(print (findnext (eqp height 14)))
(print (format nil "Result: G2"))

(print (format nil "~%and the next with height greater than 16 when none exist..(1)"))
(print (findnext (gep height 16)))
(print (format nil "Result: NIL"))

(print (format nil "~%find the next in general set..(1)"))
(print (findnextinset general (gep weight 0) ))
(print (format nil "Result: G1"))

(print (format nil "~%and the next..(0.5)"))
(print (findnextinset general t))
(print (format nil "Result: G2"))

(print (format nil "~%and the next..(0.5)"))
(print (findnextinset general (gep weight 0)))
(print (format nil "Result: G3"))

(print (format nil "~%finding any with salary 1 and university A..(1)"))
(print (findany (and (eqp univ A) (eqp salary 1))))
(print (format nil "Result: G1"))

(print (format nil "~%finding a female lieutenant..(1)"))
(print (findanyinset lieutenant (eqp sex F)))
(print (format nil "Result: L1 or L3"))

(print (format nil "~%trying to delete a non-existent lieutenant(1)"))
(print (dbremove l4 lieutenant))
(print (format nil "Result: NIL or TRUE depending on your decision"))

(print (format nil "~%should be able to remove l3 though..(1)"))
(print (dbremove l3 lieutenant))
(print (format nil "Result: any non-NIL value"))

(print (format nil "~%checking if still in lieutenant set..(1)"))
(print (findallinset lieutenant (gep weight 0)))
(print (format nil "Result: L1 L2"))

(print (format nil "~%should not be gone from the officers list..(1)"))
(print (findall (eqp weight 12)))
(print (format nil "Result: L3"))

(print (format nil "~%trying to delete non-existent officer..(1)"))
(print (dbdelete g4))
(print (format nil "Result: NIL or TRUE depending on your decision"))

(print (format nil "~%this delete should remove both from officers and general..(1)"))
(print (dbdelete g3))
(print (format nil "Result: Any non-NIL value"))

(print (format nil "~%check officers..(1)"))
(print (findall (ltp weight 4)))
(print (format nil "Result: G2 G1"))

(print (format nil "~%check general..(1)"))
(print (findallinset general (ltp weight 4)))
(print (format nil "Result: G2 G1"))

(print (format nil "~%non-existent colonel grows taller..(1)"))
(print (dbmodify c10 height 200))
(print (format nil "Result: NIL"))

(print (format nil "~%colonel c1 gets richer..(1)"))
(print (dbmodify c1 salary 300))
(print (format nil "Result: Any non-NIL value"))

(print (format nil "~%Check Insertion..(1)"))
(print (findall (gep salary 20)))
(print (format nil "Result: C1"))

(print (format nil "~%let's try a complicated query..(3)"))
(print (findall (and (not (eqp sex M)) (or (ltp salary 4) (gep salary 10)))))
(print (format nil "Result: C1 L1 L3 P2~%"))

(quit)