xcerca1

/* possibile aggiungere clienti , modificare significato dati */

/* GOAL clienti(A,B,C,D)  archivio completo */
 /* GOAL clienti(A,_,regione,_) mostra cliente che abita in regione indicata*/
 /* GOAL clienti(Nome,_,A,_) mostra cliente nominato e regione ove abita*/

domains
 nome = symbol
 eta = integer
 

predicates
 clienti(nome,nome,nome,eta)
 

clauses
 /* clienti(cognome e nome,professione,regione,eta */
 

 clienti("Rossi Mario",dottore,veneto,45).
 clienti("Verdi Carlo",dottore,veneto,40).
 clienti("Bassi Anna",studente,lazio,20).
 clienti("Grassi Aldo",operaio,sicilia,30).
 clienti("Zanella Luigi",tecnico,toscana,40).
 

/* possibile aggiungere altri dati e clienti */

goal :visualizza tutto l'archivio

goal :visualizza clienti del veneto
goal :visualizza qualifica e regione di Rossi Mario
goal :visualizza nomi,qualifica,regione per chi ha 40 anni

/* programma ricavato dal precedente:copiare e incollare su notes il listato precedente
   modificare come indicato,salvare come ycerca1.pro e richiamare con prolog */

/* GOAL studenti(A,B,C,D)  archivio completo */
 /* GOAL studenti(A,_,regione,_) mostra studente di indirizzo indicato*/
 /* GOAL studenti(Nome,_,A,_) mostra studente nominato e indirizzo*/
domains
 nome = symbol
 eta = integer
 

predicates
 studenti(nome,nome,nome,eta)
 

clauses
 /* studenti(cognome,indirizzo,classe,eta */
 

 studenti("Rossi Mario",classico,terza,16).
 studenti("Verdi Carlo",classico,quarta,17).
 studenti("Bassi Anna",economico,terza,16).
 studenti("Grassi Aldo",scientifico,quarta,18).
 studenti("Zanella Luigi",classico,terza,19).
 studenti("Rossi Aldo",classico,terza,16).
 studenti("Verdi Aldo",classico,quinta,19).
 studenti("Bassi Elsa",economico,quarta,17).
 studenti("Grassi Maria",scientifico,prima,15).
 studenti("Zanella Alvise",classico,seconda,15).