Da si še odgovorim... d.) ?- (parent(_M, _X), female(_M)) -> (\+ (parent(_F, _X), male(_F))); true.
a.) parent(jan, eva). parent(eva, vid). female(eva). male(vid). male(jan). b.) parent(eva, vid). female(eva). male(vid). c.) Se da razbrati iz gornjih treh. lpM On Dec 9, 2007 11:24 PM, Matjaz Horvat <[EMAIL PROTECTED]> wrote: > Kaj pa četrta: > http://www.e-studij.si/UL/FRI/UNI-RI/MOS/Izpiti/2007-09-17-prolog > ? > > :-) > > lpM > > On Dec 7, 2007 1:43 AM, Matjaz Horvat <[EMAIL PROTECTED] > wrote: > > > A gre komu prva? > > > > http://www.e-studij.si/UL/FRI/UNI-RI/MOS/Izpiti/2007-09-17-prolog > > > > lpM > > > >
