A01024 2000/01/01
Prolog プロログ
72年にコルムローエル教授を中心とする仏マルセイユ大学の研究グループが発表したプログラミング言語。データと数式を区別しない非手続き型言語で、述語論理を用いる。MS-DOS用やWindows用の製品もある。名前はprogramming in logicを意味する。82年から実施された通産省の第五世代コンピューター開発計画プロジェクトが、Prologを研究の中核に据えたことから注目を集めた。 仮定と結論の関係と、そこからの推論によって結論を導くという手順で処理を進める。つまり、「IF…THEN～（もし…ならば～である）」という事実に基づいた表現（論理型宣言）をプログラムの基礎としており、AI（人工知能）でのエキスパートシステム開発に向く。