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.