Treba mi pomoc za resavanje ovog zadatka. Moze arity ili micro prolog:
Cetiri coveka se zovu Pera, Mika, Laza i Jova, a prezivaju Peric, Mikic, Lazic i Jovic. Oni imaju cetiri sina koji se takodje
zovu Pera, Mika, Laza i Jova. Pretpostavimo sledece:
(a) Niko od oceva se ne zove u skladu sa svojim prezimenom.
(b) Niko od sinova se ne zove u skladu sa svojim prezimenom.
(c) Niko od sinova se ne zove isto kao i otac.
(d) Peric stariji se zove isto kao Mikin sin.
(e) Lazin sin se zove Pera.
Napisati predikat koji odredjuje imena oceva i sinova.
Ovaj zadatak se cesto vrti na ispitu pa ba mi bilo kakva pomoc dobrodosla.