multithreading - 有自动并行的序言实现吗？

Question

我目前正在理论计算机科学方面进行一些研究，而我使用的主要工具之一是prolog。我发现编写非常快速的测试以驳斥猜想特别方便。

但是，我到了强力搜索变得太慢的地步。尽管我可以使用另一种语言，但是使用序言的全部要点是编写代码以测试假设非常快速/简单。

我想知道，是否有Prolog的实现允许自动并行化？不必太快，但理想情况下，我正在寻找可以将我的代码放入其中并至少获得很小的加速的东西。

我不知道这是否可能。 Google搜索揭示了许多关于Prolog中自动并行性的学术文章，但是我没有遇到任何实现。但是，我实际上只熟悉SWI-prolog，因此我可以肯定地使用熟悉许多实现的人的建议。

我的代码使用了削减，但是我相当确定可以消除它们。至于IO，唯一的IO是正在打印到控制台，可以将其移到任何并行代码之外。

Answer 1

使用Prolog，不难发现并行性，很难选择要使用的并行性；)。

也许Parlog - logic based programming language, designed for parallel execution会对您有所帮助。有implementation for windows，但我不确定它是否使用多个内核。但是，您可以尝试与那里的作者联系。