我想从 SWI-Prolog 切换到 Prova - 但它似乎比预期更难：
像 succ() 不可用，并且像 Var1+Var2>Var3 这样的操作不起作用（显然它必须是 Var3 才有效）。
是否有可用的文档描述 Prolog 方言之间的差异？
I would like to switch from SWI-Prolog to Prova - but it seems to be harder than expected:
Predicates like succ() are not available and operations like Var1+Var2>Var3 do not work (obviously it has to be Var3<Var1+Var2 to be valid).
Is there documentation available describing the differences between Prolog dialects?
发布评论
评论（2）
更新 #2 (9/2019)：
我没有找到有一个页面专门显示了方言的差异。
原始答案是：
我能找到的唯一的“Prolog方言比较”文章是 这篇 ACM 文章< /a>.不幸的是，它不是免费的。我不确定它是否包括与 Prova 的比较。
如果 Prova 是一种执行 Prolog 的 Java 方式，那么它将适应命令式 Java 语言的 OO 环境。它似乎向您展示了 Prolog 的一个子集，但语法确实明显不同。好处是您可以将“Prolog”与“Java”混合使用。
您还可以查找有关 Mandarax 的信息，它在很大程度上与 Prova 兼容，但您可能已经意识到这一点。
Update #2 (9/2019):
I didn't find a page the specifically shows the differences in the dialects.
Original answer was:
The only "Prolog dialects comparison" article I could find is this ACM article. Unfortunately, it is not free. And I'm unsure whether it includes a comparison with Prova.
If Prova is a Java way of doing Prolog, it'll be adjusted to the OO environment of the imperative Java language. It seems to present you with a subset of Prolog, but the syntax is indeed clearly different. The upside is that you can mix "Prolog" with "Java".
You may also look up information about Mandarax, which is Prova compatible to a large extend, but you're probably already aware of that.
更新：prova.ws 站点已停止，Prova 升级似乎也已停止。
原始答案：
现在有很多文档可以在 http://www.prova.ws/documentation 上找到。 php.新版本正在坚定地进行中，因此用户指南和 Confluence WIKI 的进展都非常积极。哦，新版本现在不再基于 Mandarax，而是从零开始完全重写。
Update: the prova.ws site is discontinued and with it, it seems that the Prova upgrade was discontinued.
Original answer:
There is now a lot of documentation available at http://www.prova.ws/documentation.php. The new version is firmly on the way, so both the User's Guide and the Confluence WIKI are very actively progressing. Oh, and the new version is now NOT based on Mandarax, it is a complete rewrite from zero.