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).