predica4

ricerca su rocce

/* predica4.pro */
/* carica programma ed esegue */
/* come con GOAL in modo diretto */
/* prova GOAL : roccia(X,effusiva) */

nowarnings

include "A:/predi/rocce.pro"

domains
W = integer

predicates
finestra
azione(W)
goal finestra,azione(1).

clauses
 finestra:-
 clearwindow,
 makewindow(1,5,1,"",1,1,20,70).
 

 azione(W):-
  W>0,!,
  roccia(X,effusiva),
  write(X,"\t\t",effusiva),nl,
  W1=W-1,
  sound(10,500),
  azione(W1).

/* 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).