SWI-Prolog's home
HOME DOWNLOAD SWI-Prolog Sources/building Docker images Add-ons Browse GIT DOCUMENTATION Manual Packages FAQ Command line PlDoc Bluffers▶ Prolog syntax PceEmacs HTML generation License Publications Rev 7 Extensions TUTORIALS Beginner▶ Getting started Learn Prolog Now! Simply Logical Debugger Development tools Advanced▶ Modules Grammars (DCGs) clp(fd) Printing messages PlDoc Web applications▶ Web a
論理プログラミング - Wikipedia
論理プログラミング（Logic Programming）とは、数理論理学（記号論理学）を基礎にしたプログラミングパラダイム、または数理論理学のコンピュータプログラミングへの応用である。形式論理の論理式をソースコードの書式に投影することが基本になる。プログラミングに適用するための幅広い解釈が加えられており、研究対象としての論理プログラミングは非常に多様である。 より一般的に受け入れられている論理プログラミングは、述語論理を基礎にし、問題領域の事実と規則を論理式モデル書式で表現して（ロジック）非決定性の演繹の導出原理を用いる（コントロール）というものである。このアルゴリズムスタイルで最も普及した論理プログラミング言語は「Prolog」である。 概要[編集] 論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。数学者や哲学者は論理を理論構築のツールと
Prolog - Wikipedia
Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
