set_timer
Entity: function

kill_timer
Entity: predicate

Usage:
Timer is set_timer(Window, Period, Func)
kill_timer(Window, Timer)

Creates/Kills a timer object. This is a generator of periodic events. At every Period seconds this object will generate the end message and will send it to the function Func. The timer has to be assigned to a certain window object Window.

If kill_timer cannot close the timer (maybe because it is closed) then it fails.

Window the window object that the timer will be assigned to
Period the interval of time on which the timer event will be raised (in seconds, use float or integer to specify this period)
Func the event handler
Timer the timer object

Examples:
?-
...
G_Timer is set_timer(_, 5, time_func).

time_func(end) :-
write("Time event"), nl,
kill_timer(G_Timer).