uts_ai.pl

laki(joko).
laki(jono).
laki(joni).
laki(hadi).
laki(rudi).
laki(amir).
perempuan(jujuk).
perempuan(ita).
perempuan(dewi).
perempuan(tina).

orangtua(joko, jono).
orangtua(joko, joni).
orangtua(joko, jujuk).
orangtua(jono, hadi).
orangtua(jono, ita).
orangtua(joni, rudi).
orangtua(joni, dewi).
orangtua(jujuk, amir).
orangtua(jujuk, tina).

ibu(X,Y):-orangtua(X,Y),perempuan(X).
ayah(X,Y):-orangtua(X,Y),laki(X).

kakek(X,Z):-orangtua(X,Y),orangtua(Y,Z),laki(X).
nenek(X,Z):-ibu(X,Y),ibu(Y,Z).

cucu(X,Z):-orangtua(Z,Y),anak(X,Y).

turunan(X,Z):-cucu(X,Z);anak(X,Z).

anak(X,Y):-orangtua(Y,X).
anaklaki(X,Y):-orangtua(Y,X),laki(X).
anakperempuan(X,Y):-orangtua(Y,X),perempuan(X).

suami(X,Y):-anak(P,X),anak(P,Y),laki(X).
istri(Y,X):-anak(P,X),anak(P,Y),perempuan(Y).

saudarakandung(Y,Z):-anak(Y,X),anak(Z,X).
saudaralaki(Y,Z):-anak(Y,X),anak(Z,X),laki(Y).
saudaraperempuan(Y,Z):-anak(Y,X),anak(Z,X),perempuan(Y).

sepupu(X,Y):-anak(X,Z),anak(Y,W),saudarakandung(Z,W),not(saudarakandung(X,Y)).

bibi(X,Y):-saudarakandung(X,Z),anak(Y,Z),perempuan(X),not(ibu(X,Y)).
paman(X,Y):-saudarakandung(X,Z),orangtua(Z,Y),laki(X),not(ayah(X,Y)).