LISP The Reasoned Schemer 人工知能(タスク)活用されるLISPの派生語であるSchemaによる論理プログラミングDSL:minikanrenの概要 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
Clojure Clojure core.logicとminiKanren Clojureでの論理プログラミング、miniKanren、Core.logic 2021.03.29 ClojureSymbolic Logic推論技術:inference Technology
LISP