Clojure Clojure core.logic and miniKanren core.logic for logic programming in Clojure ClojureSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
Clojure