prolog - Prolog 方言 Prova 的文档

Question

我想从 SWI-Prolog 切换到Prova——但这似乎比预期的要难：

谓词 likesucc()不可用并且操作 likeVar1+Var2>Var3不起作用（显然它必须Var3<Var1+Var2是有效的）。

是否有描述 Prolog 方言之间差异的文档？

Answer 1

更新：prova.ws 站点已停产，并且似乎 Prova 升级已停产。

---

原答案：

现在在http://www.prova.ws/documentation.php上有很多可用的文档。新版本正在稳步推进中，因此用户指南和 Confluence WIKI 都在积极推进中。哦，新版本现在不是基于 Mandarax，它是从零开始的完全重写。

Answer 2

更新 #2 (9/2019)：

• 最新的用户指南来自 2006 年，可在此处找到
• 不幸的是， prova.ws网站似乎已关闭，它曾经有足够的信息。你可以试试 Wayback 机器，但我找不到好的副本
• 从关于 Prova的 Wikipedia 文章链接的研究论文可能会提供更多信息，它似乎有语法示例
• 相同的 PDF 版本似乎可以在这里免费获得

我没有找到专门显示方言差异的页面。

---

原来的答案是：

我能找到的唯一“Prolog 方言比较”文章是这篇 ACM 文章。不幸的是，它不是免费的。而且我不确定它是否包括与 Prova 的比较。

如果 Prova 是 Java 做 Prolog 的方式，它将被调整为命令式 Java 语言的 OO 环境。它似乎向您展示了 Prolog 的一个子集，但语法确实明显不同。好处是您可以将“Prolog”与“Java”混合使用。

您还可以查找有关 Mandarax 的信息，它在很大程度上与 Pr​​ova 兼容，但您可能已经意识到这一点。