Prolog方言Prova的文档

Question

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

像这样succ()的谓词不可用，而像Var1+Var2>Var3这样的操作不起作用（显然它必须Var3<Var1+Var2是有效的）。

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

Answer 1

更新 #2 (9/2019)：

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

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

原来的答案是：

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

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

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