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

esci listaprolog.htm

domains
roccia = symbol
predicates
tipo (roccia,roccia)
clauses
tipo (intrusiva,granito).
tipo (intrusiva,diorite).
tipo (effusiva,porfido).
tipo (effusiva,trachite).
tipo (sedimentaria,arenaria).
tipo (sedimentaria,calcare).
tipo (sedimentaria,argilla).
tipo (intrusiva,gabbro).