PROLOGについて

PROLOGは、1972年に登場した老舗の非手続き型のプログラミング言語であり、主にAIに特化して開発されています。PROLOGという名前の由来は、PROgramming in LOGicです。
PROLOGでは論理的に物事を解釈するようにプログラムを記述できます。
PROLOGは一階述語論理と呼ばれる論理形式を使い物事の間の関係を「述語」として定義し、また、述語が満たすべき条件を規則として定義することによりプログラムを記述しています。ほとんどのプログラムが短い宣言の列挙であり、手続きなどは書かないため、宣言型プログラミング言語に分類されることがあります。
PROLOGは自然言語処理や機械的な推論などに適しており、古くから人工知能システムの研究・開発などの分野で活用されています。1995年にはISO標準が策定され、様々な環境向けに処理系が開発されていますが、汎用的なソフトウェア開発には適用が難しく、限定された用途や分野で利用されています。
なお、PROLOGはソフトバンクのPepperが言語を処理して会話する時のプログラムに活用されています。