rocce3

ricerca su rocce

/* rocce3.pro */
/* prova GOAL:roccia(X,Y,Z) */
/* prova GOAL:roccia(X,intrusiva,veneto) */
/* prova GOAL:roccia(X,effusiva,lazio)  */

domains
list = symbol*   /* tipo LISTA NOMI */
nome = symbol

predicates
roccia(nome,nome,list)

clauses
roccia(granito,intrusiva,[veneto]).
roccia(diorite,intrusiva,[veneto,toscana]).
roccia(sienite,intrusiva,[lazio]).
roccia(gabbro,intrusiva,[sicilia,lazio]).
roccia(porfido,effusiva,[lazio]).
roccia(trachite,effusiva,[veneto,lazio,sicilia]).
roccia(andesite,effusiva,[lazio,veneto]).
roccia(basalto,effusiva,[trentino,toscana]).