predicates padre_di(symbol,symbol) fratelli(symbol,symbol) clauses padre_di(daniele,anna). padre_di(daniele,stefano). padre_di("Luigi",pietro). fratelli(X,Y) if padre_di(Chi,X),padre_di(Chi,Y). goal write("Introdurre il nome del figlio"),nl, readln(Figlio),padre_di(X,Figlio), write("Il padre si chiama ",X),nl. /* goal write("Introdurre un nome"),nl, readln(Fratello1), write("Introdurre un nome"),nl, readln(Fratello2), fratelli(Fratello1,Fratello2), write(Fratello1," e ",Fratello2," sono fratelli."),nl. */