prolog The Art of Prolog: Prologの技芸 人工知能研究や計算言語学と深い関わりを持つ論理型言語Prologの参考図書 2021.10.16 prolog推論技術:inference Technology
