[ kalabaster2003 @ 27.01.2010. 20:16 ] @
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.
[ mico11 galic @ 17.02.2010. 12:30 ] @
otac-pero mikić
sin-lazo mikić

otac-lazo jović
sin-pero jović

otac-mika lazić
sin-jovo lazić

otac-jovo perić
sin-mika perić