rocce1

ricerca su rocce

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

domains
nome = symbol

predicates
roccia(nome,nome,nome)

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