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