xcerca2

/* xcerca2.pro */
/* gestione rubrica roccia */
/* uso di variabile anonima _ */
/* per non stampare dato corrispondente */

 /* GOAL roccia(A,B,C,D) */
 /* GOAL roccia(A,_,sottotipo,_) */
 /* GOAL roccia(Nome,_,A,_) */
  

domains
 nome,nome,tipo,sottotipo = symbol
 numero = integer
 

predicates
 roccia(nome,tipo,sottotipo,numero)

clauses
 /* roccia(nome,tipo,sottotipo,numero */
  

 roccia(granito,magmatica,intrusiva,45).
 roccia(granito,magmatica,intrusiva,45).
roccia(granito,magmatica,intrusiva,45).
roccia(diorite,magmatica,intrusiva,46).
roccia(sienite,magmatica,intrusiva,25).
roccia(gabbro,magmatica,intrusiva,35).
roccia(porfido,magmatica,effusiva,45).
roccia(trachite,magmatica,effusiva,45).
roccia(andesite,magmatica,effusiva,45).
roccia(basalto,magmatica,effusiva,45).
roccia(arenaria,sedimentaria,clastica,45).
roccia(gesso,sedimentaria,chimica,45).

/* possibile aggiungere dati */