GLT#13 Naruhiko Ogasawara
?
2 likes?1,254 views
In this slide, I described how I love prolog, very very cute language. I'm very wonder why many people loves functional programing languages (lisp, haskell and ocaml), but no one knows about logical programming language, so I tried to introduce the charm points of Prolog.
![naruhiko@naruhiko-ubuntu-s101:~/Prolog$ cat human.pl
男 ( なるひこ ).
男 ( まさと ).
女 ( あつこ ).
親 ( まさと , なるひこ ).
親 ( あつこ , なるひこ ).
人間 (X) :- 男 (X).
人間 (X) :- 女 (X).
父 (X,Y) :- 親 (X,Y), 男 (X).
母 (X,Y) :- 親 (X,Y), 女 (X).
naruhiko@naruhiko-ubuntu-s101:~/Prolog$ prolog
Welcome to SWI-Prolog (Multi-threaded, ...
...
For help, use ?- help(Topic). or ?- apropos(Word).
?- [human]. ← quot;?-quot; は質問受付。 [] はプログラムのロード。
% human compiled 0.00 sec, 1,964 bytes
true.](https://image.slidesharecdn.com/glt-20090225-090226091730-phpapp01/85/GLT-13-Naruhiko-Ogasawara-40-320.jpg)
GLT#13 Naruhiko Ogasawara
- 1. 春なので AI を込めて Prolog 宣伝プレゼンを 作ってきました おがさわらなるひこ naruoga at gmail, twitter, wassr, hatena @ Genesis Lightning Talks #13, Feb25th 2009
- 2. quot;My Job Went To Indiaquot; 曰く Chad Flower / でびあんぐる オーム社 ISBN: 4274066592
- 3. 「プログラマとして 生き残りたければ いろんな パラダイム の言語を学べ」
- 4. C++ と Java と Perl と Ruby と Python と PHP と……
- 5. それ全部 同じパラダイム （手続き型言語） ですから！
- 6. 違う パラダイム ？
- 8. Lisp/Scheme とか Haskell とか Ocaml とか
- 9. でも 忘れないで
- 11. 论理型言语！
- 12. 1980 年代 日本を席巻した 「第五世代 コンピュータ」 みんな忘れたがってると思うが。
- 13. その中心に あったのが 「人工知能 (AI) 言語 Prolog 」
- 15. 俺は Prolog って 奴が 大好きなんだ！ 大好き
- 16. とゆことで その魅力を 愛 (AI) を以って 語ります。
- 17. Prolog とは
- 18. おフランス 生まれの 小粋な言語
- 19. PLOgramming In LOGic の略 ホントはフランス語なんだけどそんなん知らんわ。
- 20. Prolog に おける プログラム とは
- 21. 「論理」で 表現された 「知識」
- 22. 「知識」に 問い合わせを して 答えをもらうのが Prolog の「実行」
- 23. 例
- 24. 男 ( なるひこ ). 男 ( まさと ). 女 ( あつこ ). 親 ( まさと , なるひこ ). 親 ( あつこ , なるひこ ). 人間 (X) :- 男 (X). 人間 (X) :- 女 (X). 父 (X,Y) :- 親 (X,Y), 男 (X). 母 (X,Y) :- 親 (X,Y), 女 (X). 誰かさんの家族構成がモロバレなのは気にしないでください。
- 25. なんじゃ こりゃ？
- 26. 順を追って 説明 しましょう。
- 28. 男 ( なるひこ ) ↓ 「なるひこ」は 「男」である と読む
- 29. 一般的には p(a1,a2,……,an) は 「 a1,a2,……,an は p ( という関係 ) 」 と読める
- 30. Prolog では すべての論理を 述語で 表現するので 「述語論理言語」
- 31. 详しくは コンピュータ 言語 意味論とか 勉強してね Robert Harper: Practical Foundations for Programming Languages. とか
- 32. 基本概念 2 事実 (fact)
- 33. 述語にピリオドを 打てば それが事実。
- 34. 男 ( なるひこ ). 「なるひこは男、 というのは （ Prolog 内知識では） 事実」 という意味
- 35. 基本概念 3 規則 (rule)
- 36. p0 :- p1,p2,……,pn. は 「 p1,p2,……,pn が すべて真であれば p0 も真」という意味
- 37. 人間 (X) :- 男 (X). …… 母 (X,Y) :- 親 (X,Y), 女 (X). 「 X が男なら、 X は人間」 「 X が Y の親で、 X が 女なら、 X は Y の母」
- 38. ほいじゃま この 「プログラム」 を 実行して みましょう
- 39. 失敗が 怖いので 弱気に 結果だけ コピペします (^^;)
- 40. naruhiko@naruhiko-ubuntu-s101:~/Prolog$ cat human.pl 男 ( なるひこ ). 男 ( まさと ). 女 ( あつこ ). 親 ( まさと , なるひこ ). 親 ( あつこ , なるひこ ). 人間 (X) :- 男 (X). 人間 (X) :- 女 (X). 父 (X,Y) :- 親 (X,Y), 男 (X). 母 (X,Y) :- 親 (X,Y), 女 (X). naruhiko@naruhiko-ubuntu-s101:~/Prolog$ prolog Welcome to SWI-Prolog (Multi-threaded, ... ... For help, use ?- help(Topic). or ?- apropos(Word). ?- [human]. ← quot;?-quot; は質問受付。 [] はプログラムのロード。 % human compiled 0.00 sec, 1,964 bytes true.
- 41. ?- 男 ( なるひこ ). ← 単純な事実の確認 true. ← 真だったら true と返ってくる ( 偽だったら false) ?- 人間 (Who). ← 人間なのはだれ？ という質問 Who = ' なるひこ ' ; ← quot;;quot; は、別の答えはないの、の意味 Who = ' まさと ' ; Who = ' あつこ '. ?- 父 ( まさと , なるひこ ). true. ?- 父 ( あつこ , なるひこ ). false. ?- 父 (Who, なるひこ ). Who = ' まさと ' ; false. ?- 父 ( まさと ,Who). ← 逆の質問もできてしまう Who = ' なるひこ '.
- 42. 事実と 規則からなる 「知識」から 答えを探索して くれるのが ポイント
- 43. Prolog は 知識表現が できるって ことは 分かった
- 45. 否！
- 46. 今までの Prolog の解釈は 「宣言的」
- 47. それに対して 「手続的」 解釈も 可能
- 48. p0 :- p1,p2,……,pn. 「 p1,p2,……,pn が すべて真であれば p0 も真」： 宣言的解釈
- 49. p0 :- p1,p2,……,pn. 「 p0 という処理は p1,p2,……,pn を 実行すること」： 手続的解釈
- 50. 宣言的に 考えた方が Prolog らしい ですが 手続的な 処理も書けます。
- 51. ところで
- 52. Prolog では 変数への 再代入は できません。
- 53. ?- X is 1 + 2. X = 3. ?- X is X + 1. ERROR: is/2: Arguments are not sufficiently instantiated. 「 X + 1 = X 」は 論理的に 成り立たない！
- 54. Q: じゃ、ループって どうやって 書くの ?
- 55. A: 再帰か バックトラック です。
- 57. バックトラック とは？
- 58. 失敗したときに 次の答えを 探しにいく しくみ
- 59. ?- 人間 (Who). ← 人間なのはだれ？ という質問 Who = ' なるひこ ' ; ← quot;;quot; は、別の答えはないの、の意味 Who = ' まさと ' ; Who = ' あつこ '. これもバックトラック quot;;quot; の入力で 答えを失敗させて 次の答えを探させる
- 60. 「失败駆动ループ」
- 62. ?- 人間 (X), write(X), nl, fail. なるひこ まさと あつこ false. さっきの例を 自動でやると こんな感じ
- 63. ここはすごく Prolog らしくて 面白いんだけど 時間の都合で 割愛 (;_;)
- 64. その他の 特徴
- 65. 「超強力な リスト処理」
- 66. Lisp に 負けるな！
- 67. 「自己増殖机能」
- 68. 自分自身で 知識や 事実を （＝プログラム）を 拡張して いける
- 69. 文字列で コード作って eval とか クソだぜクソ！ （下品でごめん）
- 70. そんなわけで エレガントかつ キャッチーな機能 たっぷりな 超高水準言語 Prolog 。
- 71. あなたの 言語コレクションに お加え ください。
- 72. interest(prolog). love(Someone, Something) :- engineer(Someone), interest(Something). ?- love(you, prolog).
- 74. 参考 URL SWI?Prolog GPL? の Prolog? 処理系 様々なプラットフォームに対応 Debian? 系 Linux? なら apt?get?install?swi?prolog? で インストールできるよ Linux? 版は X インタフェースやシェル呼出しも可 ドキュメントも充実 お気楽 Prolog プログラミング入門 日本語で書かれたチュートリアルとしてはかなりま とまっていると思います。オススメ。