[ library(threads) | Reference Manual | Alphabetic Index ]
thread_signal(+Thread, +Goal)
Makes Thread execute Goal at the next opportunity
- Thread
- A DTR-thread handle or alias
- Goal
- A callable term
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