quadri1

gestione finestre

/* quadri2,pro */
/* gestione finestre video */
/* variante di quadri1 */
/* cambia posizione del programma GOAL */
domains
A,B,C,D,E,F,G = integer
S =string
predicates
azione(A,B,C,S,D,E,F,G)
azione2
 
clauses
 azione(A,B,C,S,D,E,F,G):-
 sound(100,600),
 makewindow(A,B,C,S,D,E,F,G).
 azione2:-
 shiftwindow(1),
 write("passa a finestra1"),nl,sound(100,500),
 write("cancella finestra1"),nl,
 write("elimina finestra1"),sound(100,500),
 removewindow(),
 sound(100,500),
 shiftwindow(2),
 write("passa a finestra2"),nl,
 sound(100,600),
 write("cancella e rimuove "),sound(100,500),
 removewindow(),
 shiftwindow(3),
 write("passa a finestra3..fine prova"),nl,
 sound(100,700).
 
 /* programma di lancio GOAL */ 
 goal
 azione(1,7,1,"finestra1",1,1,10,20),
 azione(2,6,3,"finestra2",1,22,10,30),
 azione(3,5,4,"finestra3",12,1,10,60),
 azione2.