Programmeringsparadigm/övning 4 (Prolog) 1) Skriv predikat för ...

Programmeringsparadigm/övning 4 (Prolog)
1) Skriv predikat för:
–paternal_grandfather_of(X,Y)
–maternal_grandfather_of(X,Y)
–paternal_grandmother_of(X,Y)
–maternal_grandmother_of(X,Y)
–full_siblings(X, Y)
–half_siblings(X,Y) 2p
Du får utgå från:
father_of(carl, erik).
father_of(carl, lena).
father_of(erik, stig).
father_of(erik, lars).
father_of(stig, janne).
father_of(stig, brita).
father_of(lars, lisa).
father_of(lars, petter).
mother_of(alli, carl).
mother_of(lena, anna).
mother_of(lena, kajsa).
mother_of(lena, ellen).
mother_of(lena, olle).
mother_of(ulla, janne).
mother_of(ulla, brita).
mother_of(eva, lisa).
mother_of(eva, petter).
parent_of(X,Y) :- father_of(X,Y).
parent_of(X,Y) :- mother_of(X,Y).
ancestor_of(X,Y) :- parent_of(X,Y).
ancestor_of(X,Y) :- parent_of(X,Z), ancestor_of(Z,Y).

2) Predikatet ancestor_of/2 (se ovan) går att använda för att
hitta ens förfäder och stammödrar, men det fungerar mycket
ineffektivt om kunskapsbasen är ens aningen större. Skriv ett
predikat descendant_of som utgår från ättlingen i fråga och
gör sökningen effektivare!
3 a) Skriv predikatet combine1/3 som tar tre listor som
argument och kombinerar de två första enligt följande:
?- combine1([a,b,c],[1,2,3],X).
X = [a, 1, b, 2, c, 3].
?- combine1([f,b,yip,yup],[glu, gla, gli, glo], Res).
Res = [f, glu, b, gla, yip, gli, yup, glo].
b) Skriv predikatet combine2/3 som tar tre listor som
argument och kombinerar de två första enligt följande:
?- combine2([a,b,c],[1,2,3],X).
X = [[a, 1], [b, 2], [c, 3]].
?- combine2([f,b,yip,yup],[glu, gla, gli, glo], Res).
Res = [[f, glu], [b, gla], [yip, gli], [yup, glo]].
c) Skriv predikatet combine3/3 som tar tre listor som
argument och kombinerar de två första enligt följande:
?- combine3([a,b,c],[1,2,3],X).
X = [j(a, 1), j(b, 2), j(c, 3)].
?- combine3([f,b,yip,yup],[glu, gla, gli, glo], Res).
Res = [j(f, glu), j(b, gla), j(yip, gli), j(yup, glo)]. 2p
2p

4) Det finns en gata med tre hus som ligger som grannar till
varandra. De har alla olika färg: rött, blått och grönt. De bebos
av folk av olika nationaliteter, och de har alla olika husdjur
(dock endast ett/hushåll). Här följer några fakta:
• Engelsmannen bor i det röda huset.
• Den spanska familjen har en jaguar som husdjur.
• Japanen bor till höger om huset med en snigel som
husdjur.
• Personen med snigeln bor till vänster om det blåa huset.
Så: vem har zebra som husdjur? Definiera ett predikat
zebra/1 som berättar nationaliteten av zebraägaren!
Vink: Tänk noga hur du ska representera husen och gatan.
Koda begränsningarna i Prolog! Du kan ha nytta av
member/2 och sublist/2 …
4p