predica1

ricerca su rocce

/* predica1.pro */
/* carica programma ed esegue */
/* come con GOAL in modo diretto */

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,Y),
  write(X),nl,
  W1=W-1,
  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).