listati da Prolog2
listati da copiare e incollare su notes e salvare come file.PRO
richiamabili in ambiente Prolog

esci listaprolog.htm

/* ese2.pro pag.161 */
/*trace */

/* goal padre(P,F)
goal madre(M,F)
goal padre(P,F),madre(M,F)
goal padre(leo,F)
goal padre(P,gino) ecc. */


domains
nome = symbol
predicates
padre(nome,nome)
madre(nome,nome)
clauses

madre(ada,anna).
madre(eva,rita).
madre(pia,sandro).
madre(pia,ida).
madre(anna,maria).
madre(rita,gino).
madre(rita,mario).
madre(maria,lucia).
madre(maria,paolo).
padre(luca,anna).
padre(leo,sandro).
padre(leo,ida).
padre(franco,maria).
padre(sandro,gino).
padre(sandro,mario).
padre(gino,lucia).
padre(gino,paolo).