listati da Prolog2
listati da copiare e incollare su notes e salvare come file.PRO
richiamabili in ambiente Prolog

esci listaprolog.htm

/* 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(trachite,effusiva).
roccia(andesite,effusiva).
roccia(basalto,effusiva).