22/12/2015 vjezbe AI

(assert (musko duje))
(assert (zensko maja))
(assert (zensko lea))
(assert (zensko lucija))
(assert (majka ivana maja))
(assert (majka ivana lucija))
(assert (otac ivan maja))
(assert (otac ivan lucija))
(assert (otac frane lea))
(assert (otac frane duje))
(assert (majka ana duje))
(assert (majka ana lea))
(assert (otac marko ivan))
(assert (otac jure ivana))
(assert (otac jure frane))
(assert (majka martina ivan))
(assert (majka dijana ivana))
(assert (majka dijana frane))

(defrule roditeljstvo (or (majka ?osoba ?drugaosoba)(otac ?osoba ?drugaosoba)) => (assert (roditelj ?osoba ?drugaosoba)))
(defrule spolM (otac ?osoba ?) => (assert (musko ?osoba)))
(defrule spolF (majka ?osoba ?drugaosoba) => (assert (zensko ?osoba)))
(defrule djedR (and (otac ?osoba ?drugaosoba)(roditelj ?drugaosoba ?trecaosoba)) => (assert (djed ?osoba ?trecaosoba)))
(defrule bakaR (and (majka ?osoba ?drugaosoba)(roditelj ?drugaosoba ?trecaosoba)) => (assert (baka ?osoba ?trecaosoba)))
(defrule sestraR (and (roditelj ?rod ?osoba)(roditelj ?rod ?drugaosoba)(zensko ?drugaosoba)(test (neq ?osoba ?drugaosoba))) => (assert (sestra ?drugaosoba ?osoba)))
(defrule bratR (and (roditelj ?rod ?osoba)(roditelj ?rod ?drugaosoba)(musko ?drugaosoba)(test (neq ?osoba ?drugaosoba))) => (assert (brat ?drugaosoba ?osoba)))
(defrule rodjakR (and (or (and (baka ?stara ?osoba)(baka ?stara ?drugaosoba))
                            (and (djed ?stara ?osoba)(djed ?stara ?drugaosoba)))
                        (test (neq ?osoba ?drugaosoba))
                        (not (or (brat ?osoba ?drugaosoba)(sestra ?osoba ?drugaosoba))))
                        => (assert (rodjak ?osoba ?drugaosoba)))