rocce

ricerca su rocce

/* rocce.pro */
/* prova GOAL:roccia(X,Y) */
/* prova GOAL:roccia(X,intrusiva) */
/* prova GOAL:roccia(X,effusiva)  */

domains
nome = symbol

predicates
roccia(nome,nome)

clauses
roccia(granito,intrusiva).
roccia(diorite,intrusiva).
roccia(sienite,intrusiva).
roccia(gabbro,intrusiva).
roccia(porfido,effusiva).
roccia(pomice,effusiva).
roccia(diabase,effusiva).
roccia(basalto,effusiva).