2020年代でも環境構築できる論理型言語のメモ 2020年代でも使えそうな論理型言語のメモ． 論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない． このあたりhttp://minikanren.org/#papers を見ると，最近で…