プログラミング言語論
演習８ 解答と解説
演習８.１ 解答
% exercise 8.1
% 2014. Autumn
MIZUNO Yoshiaki
father(jiro, yoshio).
father(taro, hanako).
father(yoshio, ichiro).
father(yoshio, reiko).
mother(masae, yoshio).
(続く）
2
演習８.１ 解答
(続き）
mother(keiko, hanako).
mother(hanako, ichiro).
mother(hanako, reiko).
parent(X, Y) :- father(X, Y).
parent(X, Y) :- mother(X, Y).
ancestor(X, Y) :- parent(X, Y).
ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).
3
演習８.１ 解説
 順序は、ある程度自由
事実は、規則よりも前に書く (習慣)
 "ichiro"は
自分自身の先祖ではない
"ancestor(X, X). " とはしない
（ここでは） 親は先祖に含めた
 この解答は実行可能。試して欲しい
4
演習８.２ 解答
% exercise 8.2
% 2014. Autumn
MIZUNO Yoshiaki
fib(0,0).
fib(1,1).
fib(N, F) :N>1, N1 is N-1, fib(N1,F1),
N2 is N-2, fib(N2,F2), F is F1+F2.
5

Tagesmütterplätze Innsbruck Stadt-Land und Schwaz 05-2016

“When I find myself in times of trouble Mother Mary comes to me”

MOTHER`S CAKE • WHITE MILES • TORSO & ESCALADO am 13.05

Superstars of Rock - EAC Junior Capitals

Technischen Repräsentanten (m/w)

shabbatshabbatshabbat shabbatn it zav im \ vayelechn it zav im

WIE IST DAS WEITERE VORGEHEN?

Zum Volltext - Stiftung Wissenschaft und Politik

Hausaufgaben und Lösungen Betriebssysteme 1

Von … bis … Anweisung

Avant-Propos, table des matières Vorwort - fib-CH

Film Hinflug / Movie Outbound Musik / Music Film

Aufgabenblatt - Institut für Informatik - Hu

MEIN VATER, DER BANKER

Gewürze - Nacho Kings

Quellendank in Dallau

Prolog [1ex] 11. und 12. Kapitel: fortgeschrittene Prologprädikate

zweites Übungsblatt

meisterkurs_2015_ de - Neues Sinfonieorchester Berlin

FIRMENPROFIL | PROJEKTE: LATEMAR | FILM

Das WELL MOTHER - Projekt

Sonderangebote / Ausverkauf Schuhe