認知科学と人工知能⑨_論理的推論と論理プログラミング - 共立出版コンピュータサイエンス誌『bit』