LISP The Reasoned Schemer Logic Programming with Schema, a Derivative of LISP Used for Artificial Intelligence (Tasks): An Overview of DSL:minikanren 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
Clojure Clojure core.logic and miniKanren core.logic for logic programming in Clojure 2021.03.29 ClojureSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
