Prolog方言Prova的文档

Question

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

succ()之类的谓词不可用，Var1+Var2>Var3之类的操作不起作用（显然必须Var3<Var1+Var2才有效）。

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

Answer 1

更新

• 这里有一个新的wiki on Prova（当问到这个问题时不存在），其中有很多语言语法和示例
• 文档上有somewhat outdated PDF。

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

---

原始答案是：

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

如果Prova是一种做Prolog的Java方式，它将被调整到命令式Java语言的OO环境。它似乎为您提供了Prolog的一个子集，但语法确实明显不同。好处是你可以将“Prolog”和“Java”混合在一起。

您也可以查询有关Mandarax的信息，这在很大程度上与Prova兼容，但您可能已经意识到这一点。

Answer 2

http://www.prova.ws/documentation.php现在有很多文档可供使用。新版本已经紧随其后，因此用户指南和Confluence WIKI都在积极推进。哦，新版本现在不是基于Mandarax，它是从零完全重写。