cercare1

cercare elementi

/* cerca.map */
/* goal cliente(X,studente,_) */
/* goal abita(X,veneto,_) */
/* goal abita(X,_,verona) */
/* goal parla(X,inglese) */

domains
 regione,citta = symbol
 qualifica,cognome,lingua = symbol
predicates
 cliente(cognome,qualifica,lingua)
 abita(cognome,regione,citta)
 parla(cognome,lingua)
clauses
 cliente("neri","studente","italiano").
 cliente("bassi","dottore","italiano").
 cliente("bassi","studente","inglese").
 abita("neri","veneto","padova").
 abita("bassi","veneto","verona").
 abita("bassi","veneto","venezia").
 parla("neri","italiano").
 parla("bassi","italiano").
 parla("bassi","inglese").
   

/*pro71.map */
/* cerca se esiste nonno,fratelli,padre */
/* goal padre(X,Y) */
/* goal nonno(X) */
/* goal fratelli(A,B) */

NOWARNINGS
domains
 persona = symbol
predicates
 padre(persona,persona)
 nonno(persona)
 fratelli(persona,persona)
clauses
 padre(mario,luigi).
 padre(mario,anna).
 padre(fabio,mario).
 padre(alberto,elisa).
 padre(alberto,carlo).
 padre(aldo,alberto).
   /* X nonno se padre di Y a sua volta padre di Z */
   nonno(X) if
    padre(X,Y) and
    padre(Y,Z).
     

   /* A,B fratelli se figli di P */
   fratelli(A,B) if
    padre(P,A) and
    padre(P,B) and
    A<>B.
         

/*pro72.map */
/* cerca se esiste amici,maschio */
/* goal amici(X,Y) */
/* goal maschio(X) */

NOWARNINGS
domains
 persona = symbol
predicates
 amici(persona,persona)
 maschio(persona)
clauses
 amici(mario,luigi).
 amici(mario,anna).
 amici(fabio,mario).
 amici(alberto,elisa).
 amici(alberto,carlo).
 amici(aldo,alberto).
 maschio(mario).
 maschio(luigi).
 maschio(fabio).
 maschio(alberto).
 maschio(aldo).
 maschio(carlo).
     

/*pro73.map */

NOWARNINGS
domains
 titolo,autore,genere = symbol
 anno = integer
predicates
 disco(titolo,autore,genere)
 prodotto(titolo,anno)
clauses
 disco(volare,verdi,melodico).
 disco(piove,verdi,sinfonico).
 disco(amore,rossini,melodico).
 disco(traviata,verdi,lirico).
 disco(elisir,donizzetti,sinfonico).
 disco(trovatore,verdi,lirico).
 prodotto(volare,1987).
 prodotto(piove,1976).
 prodotto(amore,1987).
 prodotto(traviata,1876).
 prodotto(elisir,1987).
 prodotto(trovatore,1876).