SWI-Prolog -- thread

Documentation
- Reference manual
  - Multithreaded applications
    - Thread communication
      - Waiting for events
        
        thread_wait/2
        
        thread_update/2
- Packages

Availability:built-in

thread_update(:Goal, :Options)

Update a module (typically using assert/1 and/or retract/1 and friends) and on completion signal threads waiting for this module using thread_wait/2 to reevaluate their Goal. Goal is synchronized between updating and waiting threads. Options:

module(+Module): Determines the module to operate on. Default is the context module associated with the Options argument.
notify(+Atom): Determines whether all waiting threads are activated (broadcast, default) or a single thread (signal).