并行和并行逻辑编程
在序言艺术的介绍中，Sterling和Shapiro将并行，并发和逻辑编程的讨论推迟到另一本书。 我的问题是，是否有这样的资源：
并行计算机的承诺与逻辑编程模型中似乎可用的并行性结合在一起，导致了许多仍然在进行的尝试，它们并行地执行Prolog，并设计出基于逻辑编程计算模型。 然而，这是另一本书的主题（“序言艺术”，第xx页）。
在Google上搜索时，除了数百篇研究论文和论文之外，我还发现了Mercury的Prolog和并发库的并行实现。 但是，在段落的第二部分找到关于基于逻辑编程语言的执行模型的并发编程和编程语言的资源很难。 有关于这些主题的好资源吗？ 我对编译和编写并行和并发逻辑程序的引用特别感兴趣。
在Prolog中，你可以同时拥有非确定性和并发性。 不确定性通常被称为统一和回溯。 你可以想象，一个Prolog子句充满了隐式的amb语句。 并不知道逻辑编程也支持并发。
但是今天我们可能只是在逻辑程序设计中进行尝试。 这是一个通过线程实现findall的例子。 这也可以被修改以执行集合上的各种任务，或者甚至可以产生针对分布式人工智能的代理网络。
甚至有一套支持Prolog内部线程的ISO标准谓词的提议。 这些谓词还包含同步和队列原语。 但更重要的是，基于轻量级Prolog的Web服务器无法正常工作，因此存在多个不同的多线程Prolog系统：
ISO / IEC DTR 13211-5：2007 Prolog多线程支持
http://logtalk.org/plstd/threads.pdf