Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /*
- NIM : 13515082
- Nama : Stevanno Hero Leadervand
- Tanggal : 25 Oktober 2016
- Topik : Introduction to Prolog
- Deskripsi : Pohon Keluarga
- /********** FAKTA **********/
- pria(kevin).
- pria(richard).
- pria(rahman).
- pria(turfa).
- pria(taufan).
- pria(faiz).
- pria(rizki).
- pria(adrian).
- pria(cloud).
- wanita(rachel).
- wanita(irene).
- wanita(holy).
- wanita(emilia).
- menikah(kevin,rachel).
- menikah(richard,irene).
- menikah(rahman,tasya).
- menikah(taufan,holy).
- menikah(faiz,emilia).
- anak(turfa,kevin).
- anak(turfa,rachel).
- anak(taufan,kevin).
- anak(taufan,rachel).
- anak(holy,richard).
- anak(holy,irene).
- anak(faiz,richard).
- anak(faiz,irene).
- anak(emilia,rahman).
- anak(emilia,tasya).
- anak(rizki,rahman).
- anak(rizki,tasya).
- anak(adrian,taufan).
- anak(adrian,holy).
- anak(cloud,faiz).
- anak(cloud,emilia).
- kakak(turfa,taufan).
- kakak(holy,faiz).
- kakak(emilia,rizki).
- /* ASUMSI */
- /* cloud adalah pria */
- /* anak sebelah kiri adalah kakak */
- /********** ATURAN **********/
- ibu(X,Y) :- anak(Y,X), wanita(X).
- keponakan(X,Y) :- anak(X,Z), kakak(Z,Y).
- keponakan(X,Y) :- anak(X,Z), kakak(Y,Z).
- kakek(X,Y) :- anak(Y,Z), anak(Z,X), pria(X).
- mertua(X,Y) :- menikah(Y,Z), anak(Z,X).
- suami(X,Y) :- menikah(X,Y), pria(X).
- anaklelaki(X,Y) :- anak(X,Y), pria(X).
- cucu(X,Y) :- anak(X,Z), anak(Z,Y).
- bibi(X,Y) :- keponakan(Y,X), wanita(X).
- adikipar(X,Y) :- menikah(Y,Z), kakak(Z,X).
- anaktunggal(X,Y):- anak(X,Y), \+ kakak(X,Z), \+ kakak(R,X).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement