ese1
ricerca totale in archivio di nomi e telefono...goal telefono(X,T)
ricerca in archivio telefono di angela...goal telefono(angela,T)
ricerca totale in archivio di nome,via ,numero civico...goal indirizzo(X,V,C)
ricerca totale in archivio di nome e telefono,nome,via,numero civico..goal telefono(X,T),indirizzo(X,V,T)

listato programma e attivazione finestra TRACE
domains: assegnazione etichette e tipo 
predicates:istruzioni da usare per ricerca con goal
clauses:archivio dati

trace   
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).

goal con TRACE attiva

goal con TRACE disattivata