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