Intelligenza artificiale .. un assaggio

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

Chi sono i fratelli di Qui?

Due individui sono fratelli se hanno lo stesso genitore

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

genitore(della,qui).genitore(della,quo).genitore(della,qua).

Della è genitore di Qui

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

genitore(della,qui).genitore(della,quo).genitore(della,qua).

fratelli(qui,X):- genitore(Y,qui), genitore(Y,X).

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

fratelli(A,B):- genitore(A,Y), genitore(B,Y).

predicato Termine/componente

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

Chi è la nonna di Quo?

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

nonna(X,quo) :-genitore(Y,quo).

genitore(X,Y),femmina(X).

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

nonna(X,Z) :-genitore(Y,Z),genitore(X,Y),

femmina(X).

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

Chi è la zia di Paperino?

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

zia(X,paperino):-genitore(Y,paperino),

fratelli(Y,X),femmina(X).

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

zia(X,A):-genitore(Y,A),

fratelli(Y,X),femmina(X).

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

Chi sono gli antenati di Qua?

Sconosciuto

Della

Ortensia

Quackmore

Fergus de’ Paperoni

Piumina O’Drake

I genitori sono antenatiI genitori dei genitori sono antenatiI genitori dei genitori dei genitori sono antenati

Paperon de’ Paperoni

Fergus de’ Paperoni

Piumina O’Drake

Matilda

Ortensia

Quackmore

Paperino

Sconosciuto

Qui

Quo

Qua

Della

Antenato(A,X):-genitore(A,X).

Antenato(A,X):-genitore(Y,X),antenato(A,Y).

Sconosciuto

Della

Ortensia

Quackmore

Fergus de’ Paperoni

Piumina O’Drake