SEND + MORE = MONEY in core.logic

gistfile1.clj

(run 1 [q]
            (fresh [S E N D M O R Y SEND MORE MONEY]
                   (infd S E N D M O R Y (interval 0 9))
                   (distinctfd [S E N D M O R Y])

                   (eqfd
                    (!= S 0)
                    (!= M 0)

                    (= SEND (+ (* S 1000)
                               (* E 100)
                               (* N 10)
                               D))
                    (= MORE (+ (* M 1000)
                               (* O 100)
                               (* R 10)
                               E))
                    (= MONEY (+ (* M 10000)
                                (* O 1000)
                                (* N 100)
                                (* E 10)
                                Y))
                    (= (+ SEND MORE) MONEY))

                   ;; Spins idefinitely                                    
                   ;; (== q {:S S :E E :N N :D D :M M :O O :R R :Y Y}

                   (== q [S E N D M O R Y])))