liste9

gestione ricerca

/* ese3.pro  */

/* Goal archivio(Classe,Insegnante,Materia)
   archivio(C,P,M)
   archivio(C,verdi,M)
   archivio(C,verdi,_)
   archivio(C,P,fisica) ecc.*/

nowarnings
domains
nome = string
predicates
archivio(nome,nome,nome)

clauses

archivio(prima___a,rossi,italiano).
archivio(prima___a,bassi,matematica).
archivio(prima___a,rossini,greco).
archivio(prima___a,rossi,storia).
archivio(prima___a,grassi,fisica).
archivio(prima___a,rossini,latino).
archivio(prima___a,rossi,geografia).
archivio(prima___a,bassi,chimica).
archivio(prima___a,rossini,disegno).
archivio(prima___a,rossi,economia).
archivio(seconda_a,verdi,matematica).
archivio(seconda_a,rossini,greco).
archivio(seconda_a,rossi,italiano).
archivio(seconda_a,basso,fisica).
archivio(seconda_a,rossini,latino).
archivio(seconda_a,rossi,storia).
archivio(seconda_a,verdi,chimica).
archivio(seconda_a,rossini,arte).
archivio(seconda_a,grassi,diritto).
archivio(terza___a,verdi,matematica).
archivio(terza___a,rossini,greco).
archivio(terza___a,rossi,italiano).
archivio(terza___a,verdi,fisica).
archivio(terza___a,zanella,latino).
archivio(terza___a,basso,economia).
archivio(terza___a,verdi,diritto).
archivio(terza___a,rossini,arte).
archivio(terza___a,basso,disegno).
archivio(terza___a,neri,biologia).
archivio(terza___a,bianchi,botanica).
archivio(terza___a,bianchi,geologia).
archivio(terza___a,neri,biochimica).

/* ese2.pro  */

/*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).

/* ese1.pro */

/*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).
  

 
 /* database per classi6.mar */
 /* data6.dba */

 domains
 predicates
 dati(symbol,integer)
 clauses 
 dati(mario,5).
 dati(luigi,7).
 dati(anna,12).
 dati(aldo,23).
 dati(alvise,43).
 dati(alcide,34).
 dati(basso,31).
 dati(neri,13).
 dati(verdi,49).
 dati(maria,5).
 dati(luisa,7).
 dati(grassi,12).
 dati(bassi,23).
 dati(vera,43).
 dati(pasio,34).
 dati(grandi,31).
 dati(rossi,13).
 dati(alti,49).