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

esci listaprolog.htm

/* ese1.pro pag.169 */
/*trace */
/* goal telefono(X,T)
goal telefono(angela,T)
goal indirizzo(X,V,C)
goal telefono(X,T),indirizzo(X,V,T) */

domains
nome = symbol
numero =real
civico =integer
via =string
predicates
telefono(nome,numero)
indirizzo(nome,via,civico)
clauses
telefono(giorgio,234456).
telefono(anna,123456).
telefono(carlo,223344).
telefono(angela,234456).
telefono(luigi,332211).
indirizzo(lucio,via_padova,5).
indirizzo(angela,via_verona,4).
indirizzo(carlo,via_treviso,7).
indirizzo(aldo,via_padova,3).