Prolog - Wikipedia

Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ

[a96neko]

Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。

[himabato]

プロローグ プログラミング言語

[akisibu]

記号論理学の続きっぽい。

[incep]

出典と客観性(Wikipedia的な)には不足があるかもしれないけれども分量と有用性は恐らく十分なので，Wikibooksに移した方がいいのかも.

[hitode909]

“出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。大言壮語的な記述になっています。独自研究が含まれているおそれがあります。言葉を濁した曖昧な記述になっています。”

[emergent]

これそのまま本にできるんじゃないか、っていう分量

[dmutaguchi]

1冊の本になるくらい分量があるぞ…

[ragion]

なげえ。

[moznion]

内容めっちゃある

[Hash]

充実

[takc923]

充実しすぎて笑う

[shuzo_kino]

来年のYotLネタ枠最優秀候補

[theatrical]

prologのパラダイムは他になさそうな気がするのでやっておきたい

[prisira]

やっておくと人生の糧になりそうな気がする

[Zoe]

prolog