0
|
1 %% ------------------------------------------------- BOUNCE
|
|
2
|
|
3
|
|
4 toy :- static([green, red, move, stop, start,quit]),
|
|
5 *move:=1,*quit:=0,*stop:=0,*start:=1,*red:=0,*green:=1,
|
|
6 bounce_init(W,R,G),@toy1(W,R,G).
|
|
7
|
|
8 toy1(W,R,G) :-
|
|
9 [](event), % input
|
|
10 s1, % automaton
|
|
11 []((button_red(R),button_green(G),bounce(W))). % output
|
|
12
|
|
13 % ?- compile(['../tableau/gi.out']).
|
|
14
|
|
15 event :- nextevent(E),E=E1,event_select(E1).
|
|
16 event_select(noevent) :- true.
|
|
17 event_select(button(_,start)) :- *start := 1, *stop := 0.
|
|
18 event_select(button(_,stop)) :- *stop := 1, *start := 0.
|
|
19 event_select(button(_,quit)) :- *quit := 1.
|
|
20
|
|
21 button_red(Out) :-
|
|
22 *red =0, Out => out("").
|
|
23 button_red(Out) :-
|
|
24 *red =1, Out => out("Red").
|
|
25 button_green(Out) :-
|
|
26 *green =0, Out => out("").
|
|
27 button_green(Out) :-
|
|
28 *green =1, Out => out("Green").
|
|
29
|
|
30 % size(400,400,10,fixed) :- true.
|
|
31 size(200,200,5,'7x14') :- true.
|
|
32
|
|
33 bounce_init( [Window0, View0, Circ0, Xout0, X, Yout0,
|
|
34 Y, Xd, Yd, Ydd, Xlim, Ylim],Xout0,Yout0) :-
|
|
35 size(Hight,Width,R,Font),
|
|
36 H0 = Hight-2, W0 = Width-2,
|
|
37 H1 = Hight/2, W1 = Width/2,
|
|
38 View <= view(Hight,Width),
|
|
39 % View => setcolors(rgb(65000,0,0),white),
|
|
40 Xout <= output("Red",font(Font)),
|
|
41 Yout <= output("Green",font(Font)),
|
|
42 Start <= button("Start",start,font(Font)),
|
|
43 Stop <= button("Stop",stop,font(Font)),
|
|
44 Quit <= button("Quit",quit,font(Font)),
|
|
45 Box <= hbox([vbox([Xout,Yout,space,Start,Stop,Quit]),View]),
|
|
46 Window <= window("Toy Program",Box),
|
|
47 Window => open,
|
|
48 View => rect(0,0,H0,W0),
|
|
49 View => fillcircle(Circ,H1,W1,R),
|
|
50 Window0<--Window, View0<--View, Circ0<--Circ,
|
|
51 Xout0<--Xout, Yout0<--Yout,
|
|
52 Ylim = Hight-10, Xlim = Width-10, Ydd = -R/2,
|
|
53 #((@Ylim=Ylim,@Xlim=Xlim,@Ydd=Ydd)),
|
|
54 @X = H1, @Y = W1, @Xd = R/2, @Yd = R*2.
|
|
55 bounce([_, View, Obj, _Xout, X, _Yout, Y, Xd, Yd, Ydd, Xlim, _]) :-
|
|
56 *move = 1,*quit = 0,
|
|
57 X0 is integer(X), Y0 is integer(Y),
|
|
58 View => moveto(Obj,X0,Y0),
|
|
59 Y1 is Y+Yd,
|
|
60 calc_xd(X, Xd, Xd1, Xlim),
|
|
61 calc_yd(Y, Yd, Ydt, Y1, Yt1),
|
|
62 @X = X+Xd,@Xd = Xd1, @Y = Yt1, @Yd = Ydt+Ydd.
|
|
63 bounce([_, _, _, _, X, _, Y, Xd, Yd, _, _, _]) :-
|
|
64 *move = 0,*quit = 0,
|
|
65 @X = X,@Xd = Xd, @Y = Y, @Yd = Yd.
|
|
66 bounce([W|_]) :-
|
|
67 *quit = 1,
|
|
68 W => close.
|
|
69
|
|
70 calc_xd(X, Xd, Xd1, _) :- X < 10, Xd1 is abs(Xd).
|
|
71 calc_xd(X, Xd, Xd1, Xlim) :- X > Xlim, Xd1 is -abs(Xd).
|
|
72 calc_xd(_, Xd, Xd, _):-true.
|
|
73
|
|
74 calc_yd(Y, Yd, Ydt, _, Y0) :-
|
|
75 Y < 10, Yd > 0 , Ydt = Yd,Y0 = 10.
|
|
76 calc_yd(Y, Yd, Ydt, _, Y0) :-
|
|
77 Y < 10, Ydt = -Yd*0.9,Y0 = 10.
|
|
78 calc_yd(_, Yd, Yd, Y1, Y1):-true.
|
|
79
|