|Did you know ...||Search Documentation:|
Please note that non-unifying messages remain in the queue. After the
following has been executed, thread 1 has the term
in its queue and continues execution using A =
<thread 1> thread_get_message(a(A)), <thread 2> thread_send_message(Thread_1, b(gnu)), thread_send_message(Thread_1, a(gnat)),
See also thread_peek_message/1.