Prolog

この項目では、プログラミング言語について説明しています。同人誌については「Prolog (同人誌)」をご覧ください。

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2016年2月） 独自研究が含まれているおそれがあります。（2016年2月） 言葉を濁した曖昧な記述になっています。（2016年2月） 出典検索?: "Prolog" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL

ウィキブックスに言語仕様関連の解説書・教科書があります。

ウィキブックスにプログラム例関連の解説書・教科書があります。

プログラミング言語

>>他のプログラミング言語

■カテゴリ / ■テンプレート

Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。

Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である^[2]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog（DEC-10 Prolog）が標準になってPrologは広く普及した^[3]。

1. ^ 出典URL: https://www.swi-prolog.org/versions.md#:~:text=Current%20development%20series.-,9.2.x,-Adds%20a%20Python
2. ^ Alain Colmerauer, Philippe Roussel. The birth of Prolog, p.2.
3. ^ Robert Kowalski. The Early Years of Logic Programming, p.38.