/*
	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).