タグ

Prologに関するakaneharaのブックマーク (4)

  • Prologの動作原理と自然言語処理

    Prologの動作原理と自然言語処理 この記事はtraP Advent Calendar 2016の23日目の記事です。当日の朝に書くとかウッソだろお前! Hello, Everybody. Davidです。この記事ではあまり聞きなれないPrologというプログラミング言語について書きます。PrologはいいぞHaskellはもっといいぞ 事前知識 述語論理に関して多少の知見があれば良いという程度です。 Prologはいわゆる論理型言語というプログラミング言語の一種ですが、論理のことが分かっていないと書けないわけではありません。Prologの動作原理に関するところではん?となるかもしれませんが筋では無いのであまり気にしなくて良いでしょう。一応参考となる論理学のを2冊ほど挙げておきます。 https://www.amazon.co.jp/情報科学における論理-情報数学セミナー-小野-寛晰

    Prologの動作原理と自然言語処理
  • Prolog実践入門 - AIに特化した老舗言語 - Qiita

    はじめに この記事はフューチャーアーキテクト Advent Calendar 2015の12/22です。 弊社副社長も書いていたと公言するPrologに関して書きます! 私も大学生の時に書いていたので、Prologとは?から書き始めたいと思います。 Prologとは? Prologは1972年に登場した老舗の非手続き型のプログラミング言語であり、主にAIに特化して作られています。Prologという名前の由来は、PROgramming in LOGicからきています。その名の通りPrologでは論理的に物事を解釈するようにプログラムを書きます。 Prologなんてオワコンじゃない? Go言語やRustなどから比べると40年近く前に登場した言語であり、AIに特化した言語ということもあり、知名度が低く、利用者も少ないですが、教育機関(大学など)で主として論理学の教材として利用され続けているのです

    Prolog実践入門 - AIに特化した老舗言語 - Qiita
  • Tiny Prolog in Python

    Python で作る Prolog 処理系 2006.6.6 - 2006.7.14 (鈴) 1. Prolog とは 2. クラス定義で構成する Prolog 構文 3. 環境とユニフィケーション 4. ゴールをめざして 4.1 カット実装の訂正 5. コールバックとトレース 次回: Ruby で作る Prolog 処理系 (補講) Ling, Suzu: 先輩,今日は一体... 先輩: この部屋の整理をしていたら, 地層の底から面白そうな言語を発掘したんだ。それで,ちょっとね。 L, S: ちょっと? (というか地層?) 先: Prolog って言うんだけど。 1. Prolog とは フランス語の programmation en logique (英語programming in logic) の略。 1972 年に Marseilles (マルセイユ) で作られたプログラミン

  • 【^】パターンマッチ【$】 - NyaRuRuが地球にいたころ

    パターンマッチ話の続き. パターンマッチと単一化 複合代入 (多重代入) という見方もあれば,一方向単一化という見方もあって,つまりは Prolog ぐらい知っておけということっすか. この辺には値モデルと名札モデル,実装と理論,ボトムアップとトップダウンの対比な趣も感じたり. Erlang, Oz/Mozart, Prolog, 単一化 Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 変数束縛が Variable = Value.なのに、関数定義が function(Aargument) -> blah, blah, blah.てのはどうよ? と書いているが、弾さん、こんなのさ、どうよ?と挑発されたら、「お

    【^】パターンマッチ【$】 - NyaRuRuが地球にいたころ
  • 1