小编shi*_*ink的帖子

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

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

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