Inteligen Artificial Tema 1

n fiierul rude.pl se d urmtoarea baz de cunotine n Prolog.

barbat(ion).
barbat(marian).
barbat(ionel).
barbat(cristian).
barbat(gheorghe).
barbat(george).
barbat(paul).
femeie(ioana).
femeie(maria).
femeie(mariana).
femeie(dana).
femeie(roxana).
femeie(paula).
femeie(georgiana).
parinte(ion, ionel).
parinte(ioana, ionel).
parinte(marian, mariana).
parinte(maria, mariana).
parinte(ionel, georgiana).
parinte(ionel, gheorghe).

parinte(ionel, george).
parinte(mariana, georgiana).
parinte(mariana, gheorghe).
parinte(mariana, george).
parinte(gheorghe, roxana).
parinte(dana, roxana).
parinte(georgiana, paul).
parinte(georgiana, paula).
parinte(cristian, paul).
parinte(cristian, paula).
casatorit(ion, ioana).
casatorit(ioana, ion).
casatorit(marian, maria).
casatorit(maria, marian).
casatorit(ionel, mariana).
casatorit(mariana, ionel).
casatorit(georgiana, cristian).
casatorit(cristian,georgiana).
casatorit(gheorghe, dana).
casatorit(dana, gheorghe).

Aceste fapte corespund unui arbore genealogic din imaginea de mai jos.

Definiti reguli n Prolog pentru urmtoarele grade de rudenie:

sot(X,Y) , X este brbat (soul)
sora(X,Y) , X este femeie (sora)
bunic_matern(X,Y), X este brbat (bunicul)
matusa(X,Y) , X este femeie (mtua)
var_primar(X,Y) , X este brbat (vrul)

soacra(X,Y) , X este femeie (soacra)

cuscru(X,Y) , X este brbat (cuscrul)
cumnata(X,Y) , X este femeie (cumnata)
ginere(X,Y) , X este brbat (ginerele)
stramoasa(X,Y) , X este femeie (strmoaa)