磯野家で学ぶ Prolog

Transcript

1. 磯野家で学ぶ Prolog
2. About Prolog PROgramming in LOGic 論理プログラミング言語 初期の人工知能研究。 1972年フランス発 一階述語論理の表現 P ⇒ Q 最近だと、 IBM watson Softbank pepper 論理憲法
3. prolog の基本 事実 (facts) を記述し、 規則 (rules) を定義し、 質問 (queries) をする
4. install http://swi-prolog.org $ brew install swi-prolog インタプリタの起動 $ swipl <FILENAME> 終了 ?- halt. ファイルの再読込 ?- reload.
6. 事実(facts) 親子関係を列挙してみる $ vi sazae-san.pl parent(波平, サザエ). parent(波平, カツオ). parent(波平, ワカメ). parent(フネ, サザエ). parent(フネ, カツオ). parent(サザエ, タラ). parent(マスオ, タラ).
7. 質問(queries) ファイルを読み込んでインタプリタを起動する $ swipl sazae-san.pl ?- parent(波平, サザエ). ?- parent(波平, タラ). ?- parent(サザエ, X). ?- parent(波平, X). ?- parent(カツオ, X). ?- parent(X, タラ).
8. 規則(rules) タラちゃんのおじいちゃん（おばあちゃん）は誰？
9. 規則(rules) タラちゃんのおじいちゃん（おばあちゃん）は誰？ ?- parent(X, Y), parent(Y, タラ).
10. 規則(rules) タラちゃんのおじいちゃん（おばあちゃん）は誰？ ?- parent(X, Y), parent(Y, タラ). :- （ならば）
11. 規則(rules) タラちゃんのおじいちゃん（おばあちゃん）は誰？ ?- parent(X, Y), parent(Y, タラ). :- （ならば） grandparent(X,Z):- parent(X,Y), parent(Y,Z).
12. 規則(rules) タラちゃんのおじいちゃん（おばあちゃん）は誰？ ?- parent(X, Y), parent(Y, タラ). :- （ならば） grandparent(X,Z):- parent(X,Y), parent(Y,Z). ?- grandparent(X, タラ).
13. 父親と母親を 区別する 事実として性別を列挙する male(波平). male(カツオ). male(タラ). male(マスオ). female(フネ). female(ワカメ). female(サザエ). ?- male(カツオ). ?- female(カツオ). ?- femaile(X).
14. 父親と母親を 区別する father(X, Y):- parent(X, Y), male(X). mother(X, Y):- parent(X, Y), female(X). ?- parent(X, タラ). ?- mother(X, タラ).
15. 祖父母を定義する
16. 祖父母を定義する grandfather(X, Z):- grandparent(X, Z), male(X). grandmother(X, Z):- grandparent(X, Z), female(X).
18. ノリスケとカツオの関係 は？
19. ノリスケとカツオの関係 は？ male(波平の父). female(波平の母). parent(波平の父, 波平). parent(波平の父, 海平). parent(波平の父, なぎえ). parent(波平の母, 波平). parent(波平の母, 海平). parent(波平の母, なぎえ). parent(なぎえ, ノリスケ). parent(ノリスケ, イクラ).
20. ノリスケとカツオの関係 は？ いとこ(X, Y):- parent(A, X), parent(B, Y), sibling(A, B). はとこ(X, Y):- grandparent(A, X), grandparent(B, Y), sibling(A, B).
21. 宿題 夫婦関係を知るには？ 子供がいることを知るには？ 娘、息子の定義 離婚している場合 家族の定義 n 等親を知るには？ リスト表現を使ってみる 兄弟, 姉妹の生まれ順
22. https://gist.github.com/ckazu/06697521ab2baee813 44bda1904daee9