Clojure Clojure core.logicとminiKanren Clojureでの論理プログラミング、miniKanren、Core.logic ClojureSymbolic Logic推論技術:inference Technology
Clojure