Prolog (Programming in Logic) は、1970 年代から存在するロジックベースのプログラミング言語です。人工知能、データベース、自然言語処理、エキスパート システムなどに関連するアプリケーションの開発に使用されます。 Prolog は、フランスのエクス マルセイユ大学のアラン コルメラウアー率いるコンピューター科学者のグループによって作成されました。
Prolog の主な特徴は、アプリケーション開発に述語と論理演算を使用することです。述語はオブジェクト間の関係を表現する一連のステートメントであり、論理演算は述語間の関係を構築するために使用されます。 Prolog にはインタープリタ実行モデルもあり、コンパイル言語よりも迅速かつ柔軟にプログラムを開発できます。
Prolog の主なデータ型は項であり、変数、定数、または項のリストを参照できます。変数は用語を一般化する目的で使用され、定数は特定の値を表すために使用されます。 if-then-else、while-repeat、for-do などのさまざまな組み込み演算子と制御構造があります。
Prolog は宣言型言語です。つまり、問題を解決するための具体的な手順ではなく、問題の事実とルールに最も関心があります。これにより、Prolog は知識の表現と操作に最適になります。 Prolog は、計画、スケジュール設定、ゲームプレイなどの問題解決タスクのモデル化にも使用されます。
Prolog は人気のある言語であり、産業界や学術界のさまざまなプロジェクトで使用されています。これは、エキスパート システム、情報検索システム、自然言語インターフェイス、データベース アプリケーションなどの実装に見られます。 Prolog はロボット研究や人工生命のシミュレーションにも使用されています。
