| Stops a timer and deletes it
timer_close(+Timer)
timer_close/1 destroys a timer. If the timer is running, than
it will be stopped.
Arguments
Timer timer
This predicate is not part of the ISO-Prolog Standard.
See also
timer_close/1,
timer_create/2,
timer_is_active/1,
timer_start/2,
timer_stop/1.
|