Prolog 方言 Prova 的文档

发布于 2024-08-08 23:05:15 字数 289 浏览 5 评论 0 原文

我想从 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?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(2

余生共白头 2024-08-15 23:05:15

更新 #2 (9/2019):

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


原始答案是:

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

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

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

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.

旧伤还要旧人安 2024-08-15 23:05:15

更新: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.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文