翻訳と辞書 Words near each other ・ プロレタリア青年同盟 ・ プロレタリア革命 ・ プロレテル・ズレニャニン ・ プロレトクリト ・ プロレトクルト ・ プロレニン ・ プロレノン ・ プロレプシス ・ プロレース・ベルリン ・ プロレープシス ・ プロログ ・ プロロジス ・ プロロジスパーク大阪 ・ プロロジスパーク大阪II ・ プロロジスパーク舞洲4 ・ プロロジスパーク舞洲I ・ プロロジスパーク舞洲II ・ プロローグ ・ プロローグ21 ・ プロローグ〈序幕〉 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

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