
thread_signal(+Thread, +Goal)

   Makes Thread execute Goal at the next opportunity

Arguments
   Thread              A DTR-thread handle or alias
   Goal                A callable term

Type
   library(threads)

Description

    Equivalent to engine_post(Thread, Goal).


Modes and Determinism
   thread_signal(+, +) is det

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   engine_post / 2
