multithreading - Prolog - thread_join 问题

Question

Prolog 中的线程不共享其堆栈中的数据(在文档中如此说明)。但是，据我所知，这可以通过使用 thread_join 加入线程来解决。如果我到目前为止所说的任何内容都是错误的，请纠正我。但是，如果一切都是真的，你能告诉我为什么下面的代码没有输出我期望的结果吗？

maximum(X,Y,Y) :- X =< Y,!.
maximum(X,_,X).

start :- thread_create(maximum(5,6,X),Id1,[]),
         thread_create(maximum(8,7,Y),Id2,[]),
         thread_create(maximum(9,9,Z),Id3,[]),
         thread_join(Id1,_),
         thread_join(Id2,_),
         thread_join(Id3,_),
         writeln(X),
         writeln(Y),
         writeln(Z).

附言我希望它输出的是 6,8 和 9(在不同的行上)。

Answer 1

假设这是 SWI-Prolog。

thread_create 在新线程中创建目标项的新副本，因此目标中变量的任何统一都不会反射(reflect)回主线程。

您可以使用 thread_exit 谓词将术语返回到 thread_join，包装在 exited(..) 中。一个例子:

thread(A,B) :- maximum(A,B,C),thread_exit(C).

maximum(X,Y,Y) :- X =< Y,!.
maximum(X,_,X).

start :- thread_create(thread(5,6),Id1,[]),
         thread_create(thread(8,7),Id2,[]),
         thread_create(thread(9,9),Id3,[]),
         thread_join(Id1,exited(X)),
         thread_join(Id2,exited(Y)),
         thread_join(Id3,exited(Z)),
         writeln(X),
         writeln(Y),
         writeln(Z).