開一夫
認知科学と人工知能⑨ 論理的推論と論理プログラミング
1986年09月号