Prolog - Wikipedia

テクノロジーカテゴリーの変更を依頼記事元:

ja.wikipedia.org

65 usersがブックマークコメント

コメント

15

記事へのコメント15件

注目コメント
新着コメント

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

Prolog - Wikipedia

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

ブックマークしたユーザー

a96neko2024/03/28
himabato2022/10/17
fm3152021/07/09
akisibu2021/03/14
accordfinal2020/05/27
incep2018/06/12
hitode9092018/02/01
emergent2018/01/04
labunix2017/03/05
dmutaguchi2017/02/13
sassano2016/01/06
ragion2015/08/11
ikosin2015/05/15
moznion2015/02/19
emanon0012014/12/08
Hash2014/11/26
smaaash2014/08/21
nabinno2014/05/01

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx