Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
radi(petra). radi(vlatko). studira(petra). sef(marko, petra). sef(matej, vlatko). sef(matej, marko). sef(zarko, petra). sef(dominik, zarko). zaposlenik(X, Y) :- (sef(Y, X), !); sef_od_sefa(Y, X). zaposlenik(X) :- radi(X). sef_od_sefa(X, Y) :- sef(X, Z), sef(Z, Y). zaposlen(X) :- radi(X); studira(X). prezaposlen(X) :- radi(X), studira(X). majka(marija, stipe). majka(marija, ante). majka(marija, ruza). majka(marica, ana). majka(marica, ivana). majka(ivana, luka). otac(ivan, stipe). otac(ivan, ante). otac(ivan, ruza). otac(franjo, joza). otac(franjo, marica). otac(stipe, ana). otac(stipe, ivana). spol(marija, z). spol(ivan, mu). spol(franjo, mu). spol(joza, mu). spol(marica, z). spol(stipe, mu). spol(ruza, z). spol(ante, mu). spol(ana, z). spol(ivana, z). spol(luka, mu). roditelj(X, Y) :- majka(X, Y); otac(X, Y). predak(X, Y) :- roditelj(Z, Y), roditelj(X, Z). dijete(X, Y) :- roditelj(Y, X). sine(X, Y) :- dijete(X, Y), spol(X, mu). kceri(X, Y) :- dijete(X, Y), spol(X, z). djed(X, Y) :- predak(X, Y), spol(X, mu). baka(X, Y) :- predak(X, Y), spol(X, z). djed(X, Y) :- predak(X, Y), spol(X, mu). baka(X, Y) :- predak(X, Y), spol(X, z). prabaka(X, Y) :- baka(X, Z), roditelj(Z, Y). pradjed(X, Y) :- djed(X, Z), roditelj(Z, Y). prapredak(Grandchild, Grandparent) :- roditelj(Parent, Grandchild), roditelj(Grandparent, Parent). brat(X, Y) :- roditelj(Z, Y), roditelj(Z, X), spol(X, mu), (X\=Y). sestra(X, Y) :- roditelj(Z, Y), roditelj(Z, X), spol(X, z), (X\=Y). tetka(X, Y) :- majka(Z, Y), sestra(X, Z). tetak(X, Y) :- majka(Z, Y), brat(X, Z). %nebi_trebalo_ovo_biti_stric? ujna(X, Y) :- otac(Z, Y), sestra(X, Z). ujak(X, Y) :- otac(Z, Y), brat(X, Z). %list_roditelji(X, Y) :- findall(Roditelj, roditelj(Roditelj, X), Y). %nadi_sve_zenske(X) :- spol(X, z), (baka(X,_);majka(X,_);tetka(X,_)). %nadi_sve_muske(X) :- spol(X, mu), (djed(X,_);otac(X,_);ujak(X,_)). %nadi_sve(X) :- djed(X,_);otac(X,_);pradjed(X,_);baka(X,_);majka(X,_);prabaka(X,_);dijete(X,_);sine(X, _); kceri(X, _);predak(X, _).