1.0.0.0.2 Multi-threading

New to Version 3.0 of XSB is a thorough revision of XSB to support multi-threading using POSIX or Windows-level threads. Detached XSB threads can be created to execute specific tasks, and these threads will exit when the query succeeds (or fails) and all thread memory reclaimed. While a thread's execution state is, of course, private, it shares many resources with other threads, such as static code and I/O streams. Dynamic code and tables are thread-private by default, but if a predicate is declared thread-shared, any dynamic code and tables for this predicate will be shared among threads.

We also note that tabled programs can be used with attributed variables, leading to constraint tabled programs (see Volume 2 of this manual for a discussion of the interfaces to attributed variables).