sicp-ex-4.58

meteorgan
  
  
 rule: 
 (assert! (rule (bigshot ?person ?division) 
                (and (job ?person (?division . ?rest)) 
                     (or (not (supervisor ?person ?boss)) 
                         (and (supervisor ?person ?boss) 
                              (not (job ?boss (?division . ?r)))))))) 
 ;;; Query output: 
 (bigshot (Warbucks Oliver) administration) 
 (bigshot (Scrooge Eben) accounting) 
 (bigshot (Bitdiddle Ben) computer)