Availability:built-in
error(thread_error(Status), _) is raised.Availability:built-in
detached(true) cannot be joined. See also thread_property/2.
A thread that has been completed without thread_join/2 being called on it is partly reclaimed: the Prolog stacks are released and the C thread is destroyed. A small data structure representing the exit status of the thread is retained until thread_join/2 is called on the thread. Defined values for Status are:
- true
- The goal has been proven successfully.
- false
- The goal has failed.
- exception(Term)
- The thread is terminated on an exception. See print_message/2 to turn system exceptions into readable messages.
- exited(Term)
- The thread is terminated on thread_exit/1 using the argument Term.