[論文レビュー] The Logic Programming Paradigm and Prolog

Krzysztof R. Apt|ArXiv.org|Jul 10, 2001

Logic, programming, and type systems参考文献 5被引用数 4

ひとこと要約

このチュートリアルは、一階論理と自動定理証明に根ざした一般用途プログラミング言語としての論理プログラミングパラダイムとPrologを提示する。ユニファイケーション、バックトラッキング、論理的変数が、計算を帰納的推論として実現する仕組みを説明する一方で、Prologの宣言的プログラミングにおける長所と、制御、型、モジュラリティにおける限界を強調し、Mercuryのような改善版言語の開発を呼びかける。

ABSTRACT

This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.

研究の動機と目的

• 命令型プログラミングに慣れ親しんだ学生に対して、論理プログラミングとPrologの基礎的理解を提供すること。
• 定理証明からユニファイケーションと論理的変数による計算への概念的転換を明確にすること。
• バックトラッキング、カット、組み込み関数の使用といったPrologの設計選択と、それらがプログラムの正しさと保守性に与える影響を検討すること。
• 命令型および関数型パラダイムと比較して、Prologの長所と限界を評価し、将来の言語改善の分野を特定すること。

提案手法

• 論理プログラムと関係を定義するための形式的基盤として一階論理を用いる。
• ユニファイケーションをコアな計算メカニズムとして説明し、最も一般的なユニファイア（MGU）が変数の代入を可能にする。
• 解消プロセスとバックトラッキングを、純粋な論理プログラミングにおける唯一の制御メカニズムとして説明する。
• 算術、カット、if-then-elseなどの組み込み述語と、メタプログラミング機能を備えたPrologの拡張を図示する。
• 否定の失敗やカットといった主要構文の操作的意味論を分析し、それらがプログラム動作に与える影響を検討する。
• マッピング表（例：ユニファイケーション ↔ 代入、クエリ ↔ プログラム）を用いて、論理プログラミングの概念と命令型プログラミングの構文を比較する。

実験結果

リサーチクエスチョン

• RQ1 論理プログラミングは、一階論理とユニファイケーションを用いてどのように『計算を帰納的推論として実現するか？'
• RQ2 制御フローとデータフローの観点から、論理プログラミングと命令型プログラミングの主な違いは何か？
• RQ3 定理証明や自然言語処理の分野にルーツを持つにもかかわらず、なぜPrologは一般用途言語と見なされるのか？
• RQ4 実際の応用において、制御、モジュラリティ、型安全性の観点からPrologの主な限界は何か？
• RQ5 関数型言語やオブジェクト指向言語と比較して、Prologにおけるメタプログラミングと高階プログラミングはどのように異なるか？

主な発見

• ユニファイケーションは論理プログラミングにおける中心的計算メカニズムであり、最も一般的なユニファイア（MGU）によって自動的に変数の束縛が実現される。
• バックトラッキングは純粋な論理プログラミングにおける唯一の制御メカニズムであり、モデルの単純化には寄与するが、表現力と効率性に制限をもたらす。
• Prologの組み込み述語（例：カット、算術演算子、if-then-else）は手続き的挙動を導入し、宣言的意味論を複雑にする。
• ISO Prolog標準におけるモジュールや型の欠如は、プログラムの構造化と再利用性を損なうため、コンパイル時に検出可能なランタイムエラーが発生する。
• 限界が存在するにもかかわらず、Prologは一階論理と計算の洗練された統合により広く使われており、Mercury や制約論理プログラミングといった後続言語に影響を与え続けている。
• 型安全性、モジュラリティ、形式的意味論を改善する標準化されたPrologの後続言語がまだ存在しないことが、プログラミング言語設計分野における未解決の課題のままである。