gistfile1.clj

(defn if-expro [input op output]                                                                                                                                                                                                                                              
  (fresh [test then else a b c d z y]                                                                                                                                                                                                                                         
         (== op {:op :if                                                                                                                                                                                                                                                      
                 :test test                                                                                                                                                                                                                                                   
                 :then then                                                                                                                                                                                                                                                   
                 :else else})                                                                                                                                                                                                                                                 
                                                                                                                                                                                                                                                                              
         (dispatchopo input test a)                                                                                                                                                                                                                                           
         (jump-if-falseo a z b)                                                                                                                                                                                                                                               
         (dispatchopo b then c)                                                                                                                                                                                                                                               
         (jumpo c y d)                                                                                                                                                                                                                                                        
         (dispatchopo d else output)                                                                                                                                                                                                                                          
         (code-len d z)                                                                                                                                                                                                                                                       
         (code-len output y)                                                                                                                                                                                                                                                  
                                                                                                                                                                                                                                                                              
                                                                                                                                                                                                                                                                              
)                                                                                                                                                                                                                                                                             
)