Transcript

SISTEM PAKARKelas : 09-S1SI-08 Nama : 1. 2. 3. 4. Thomas Bagus Yeriko Hermawan M . Wijaya Pratama Widianto Ilham Kurniawan P. (09.12.4053) (09.12.4075) (09.12.4078) (09.12.4079)

Silsilah

Fakta nikah(kamini,murtini). nikah(cholik,gatik). nikah(margono,nining). nikah(joko,sri). nikah(nanang,liliana). nikah(doni,indah).

anak(yon,murtini). anak(endang,murtini). anak(gatik,murtini). anak(nining,murtini). anak(joko,murtini). anak(liliana,gatik). anak(indah,gatik). anak(hermawan,gatik). anak(aang,nining). anak(angga,nining). anak(anggun,nining). anak(nia,sri). anak(reda,sri). anak(salsa,liliana). anak(leonel,liliana). anak(niela,indah).

perempuan(murtini). perempuan(endang).

perempuan(gatik). perempuan(nining). perempuan(sri). perempuan(liliana). perempuan(indah). perempuan(angga). perempuan(anggun). perempuan(nia). perempuan(salsa). perempuan(niela).

RuleNenek : nenek(A,B):-anak(B,C),anak(C,A). nenek(A,B):-anak(B,C),nikah(D,C),anak(D,A). Kakek : kakek(E,F):-nenek(H,F),nikah(E,H). Saudara :

saudara(X,Y):-anak(X,Z),anak(Y,Z),(X) \== (Y). Sepupu : sepupu(R,S):-nenek(T,R),nenek(T,S),(S) \== (R),not(saudara(R,S)). Bibi : bibi(C,D):-anak(D,E),saudara(C,E),perempuan(C). bibi(C,D):-anak(D,E),nikah(H,E),saudara(C,H),perempuan(C). Paman : paman(K,L):-bibi(M,L),nikah(K,M). Mertua :

mertua(G,H):-nikah(H,I),anak(I,J),nikah(G,J). mertua(G,H):-nikah(H,I),anak(I,G). mertua(G,H):-nikah(I,H),anak(I,G). Buyut : buyut(I,J):-nenek(K,J),anak(K,I). buyut(H,J):-nenek(K,J),anak(K,I),nikah(H,I).

Compile Nenek :

Kakek :

Saudara (sekandung) :

Sepupu :

Bibi :

Paman :

Mertua :

Buyut :


Top Related