Clojure Clojure core.logic and miniKanren core.logic for logic programming in Clojure 2021.03.29 ClojureSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
prolog Prolog and Knowledge Information Processing Overview of Prolog used for artificial intelligence and logic programming 2021.03.28 prolog推論技術:inference Technology
Clojure