Program > Prolog


Prologとは?

https://ja.wikipedia.org/wiki/Prolog

Prolog(プロログ)は、非手続き型プログラミング言語の一つ。
論理型言語に分類される。
名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来している。

公式サイト


リファレンス / チュートリアル


ライブラリー / フレームワーク


Tips

関数型プログラミング言語「Erlang」のベースになった言語。
ポール・グレアムの本「On Lisp」で、PrologをLispで作る方法が紹介されている。
Softbankのロボット「Pepper」のAIは、Prologで書かれている。

使う機会が少ないかもしれないが、言語内のDSLとして、特定の問題を解く場合には役立つかもしれないので、一応使い方を知っておくと便利?


参考書

  7つの言語 7つの世界
Bruce A. Tate
オーム社
2011-07-23
¥ 3,456

  Prolog(プロログ)を学ぶ―文化とその実践
杉崎 昭生
海文堂出版
1995-05-01
¥ 2,412

  Prolog Programming for Artificial Intelligence (4th Edition)
Ivan Bratko
Pearson Education Canada
2011-08-31
¥ 8,390


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2018-11-18 (日) 15:00:17 (27d)