|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。
（プロログ）は、非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は、「論理を使ったプログラミング」を意味するフランス語「'」に由来している〔Robert Kowalski. ''The Early Years of Logic Programming'', p.38.〕〔Alain Colmerauer, Philippe Roussel. ''The birth of Prolog'', p.2.〕。 ==概要== 1972年ごろにフランスのアラン・カルメラウアーとフィリップ・ルーセルによって考案された〔。 成立の事情から、 プログラムは論理式とみなされ、その実行は述語論理によって述語が定義された環境における定理証明に擬して解釈されることが多い。利用者は論理プログラミングの枠組みを、取り分け述語論理を学習することで、この枠組みに極めて忠実なこの言語の基礎的な構造のほとんどを理解できる。その言語仕様はこの枠組み以外には考案者たちも含めてそれ以上の拡張をほとんど行っていないため、他のプログラム言語とは異なり、学習しなくてはならない概念や用語もまた、述語論理のものだけでこと足りる。計算機科学の新しい概念や新しい手法とは無縁である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Prolog」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Prolog 」があります。 スポンサード リンク
|