Programiranje 13/09/2016

/* BAZA */
roditelj("abraham", "herb").
roditelj("abraham", "homer").
roditelj("mona", "herb").
roditelj("mona", "homer").
roditelj("homer", "bart").
roditelj("homer", "lisa").
roditelj("homer", "maggie").
roditelj("marge", "bart").
roditelj("marge", "lisa").
roditelj("marge", "maggie").
roditelj("selma", "ling").
roditelj("clancy", "marge").
roditelj("clancy", "paity").
roditelj("clancy", "selma").
roditelj("jackie", "marge").
roditelj("jackie", "paity").
roditelj("jackie", "selma").
pol("abraham", "muski").
pol("herb", "muski").
pol("homer", "muski").
pol("bart", "muski").
pol("clancy", "muski").
pol("mona", "zenski").
pol("jackie", "zenski").
pol("marge", "zenski").
pol("paity", "zenski").
pol("selma", "zenski").
pol("lisa", "zenski").
pol("maggie", "zenski").
pol("ling", "zenski").
/* PRAVILA */
otac(X, Y):- roditelj(X, Y), pol(X, "muski").
majka(X, Y):- roditelj(X, Y), pol(X, "zenski").
brat(X, Y):- roditelj(Z, X), roditelj(Z, Y), pol(X, "muski"), not(X=Y).
sestra(X, Y):- roditelj(Z, X), roditelj(Z, Y), pol(X, "zenski"), not(X=Y).
stric(X, Y):- roditelj(Z, Y), brat(Z, X), pol(Z, "muski").
tetka(X, Y):- roditelj(Z, Y), sestra(Z, X).
deda(X, Y):- roditelj(X, Z), roditelj(Z, Y), pol(X, "muski").
baba(X, Y):- roditelj(X, Z), roditelj(Z, Y), pol(X, "zenski").
potomak(X, Y):- roditelj(Y, X).
predak(X, Y):- roditelj(X, Z), predak(Z, Y).
predak(X, Y):- roditelj(X, Y).