記得很久很久之前寫過一篇 《七周七語言——地圖著色》 。用core.logic求解下。


依賴包：

    
[org.clojure/core.logic "0.8.10"]

  

    
(use 'clojure.core.logic)

(nth (run 1 [q]
     (fresh [tn ms al ga fl]
            (everyg #(membero % [:red :blue :green]) [tn ms al ga fl])
            (!= ms tn) (!= ms al) (!= al tn)
            (!= al ga) (!= al fl) (!= ga fl) (!= ga tn)
            (== q {:tennessee tn
                   :mississippi ms
                   :alabama al
                   :georgia ga
                   :florida fl})
            )) 0)

  

輸出結(jié)果：{:tennessee :blue, :mississippi :red, :alabama :green, :georgia :red, :florida :blue}

地圖著色——core.logic求解