Prolog
from 自動定理証明
Prolog
論理型プログラミング言語の代表例
人間が持つ知識をすべて述語論理で記述すれば、Prolog を利用して、さまざまな知的な処理を行うことができる
1980年代の人工知能ブームと関係
エキスパートシステムの構築
知識のボトルネック
専門家の知識をProlog のプログラムとして記述することが難しかった
専門家は暗黙の前提の上で知識を述べるため、完全な記述をすることができなかった
扱う対象の名前と現実の対象の関係をシステムが記述できていなかった