rectangle-logic.clj

;; This returns a response quickly (as I would expect), but if we add 4
;; to the domain it runs for a while...

(run 1 [x11 y11 x12 y12 x21 y21 x22 y22]                                                                              
       (infd x11 y11 x12 y12 x21 y21 x22 y22 (domain 0 1 2 3 #_4))                                                                
       (<fd x11 x12) (<fd x21 x22)                                                                                             
       (<fd y11 y12) (<fd y21 y22)                                                                                             
       (conde                                                                                                                  
        [(<fd x22 x11)]                                                                                                        
        [(<fd x12 x21)]                                                                                                        
        [(<fd y22 y11)]                                                                                                        
        [(<fd y12 y21)]))