predica7

ricerca su rocce

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

nowarnings

include "A:/predi/rocce1.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,intrusiva,veneto),
  write(X,"\t\t",intrusiva,"\t",veneto),nl,
  W1=W-1,
  sound(10,500),
  azione(W1).