执行 Prolog 的抽象机的比较 [已关闭]

Question

我正在寻找研究论文或任何其他出版物，比较不同的抽象机（多个）执行 Prolog 与不基于抽象机的 Prolog 解释器。到目前为止，我所看到的是，大多数实现似乎都将其序言解释器基于 Warren Abstract Machine，尽管提出了其他抽象机（例如。Vienna Abstract Machine，Tree-Oriented Abstract Machine）并且有没有任何一般性比较。我对效率比较感兴趣（不是功能），尽管所有比较的解释器都应该允许约束逻辑编程。

Answer 1

您可以在普通序言之上构建约束逻辑编程 如果您为跟踪约束存储引入一些原语并且 统一钩子的一些原语。例如：

SICStus Prolog：属性变量
http://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_17.html

Jekejeke Minlog：小求解器
删除恶意死链接

当然，您可以将附加原语视为新指令 在抽象机器中。但在上述两种情况下，原语都是 添加在谓词级别上，因此它引出了一个问题：是否存在 确实需要一个用于约束逻辑编程的抽象机。

当然你会发现一些约束逻辑编程的建议 抽象机器以及通过谷歌。

再见