prolog - Prolog方言Provaのドキュメント

Question

SWI-PrologからProvaに切り替えたいのですが、予想より難しいようです。

のような述語succ()は使用できず、のような操作は機能Var1+Var2>Var3しません（明らかにVar3<Var1+Var2有効である必要があります）。

Prolog方言の違いを説明する利用可能なドキュメントはありますか？

Answer 1

アップデート＃2（2019年9月）：

• 最新のユーザーガイドは2006年のものであり、ここにあります。
• 残念ながら、 prova.wsのWebサイトはダウンしているようで、以前は十分な情報がありました。ウェイバックマシンを試してみてもいいのですが、良いコピーが見つかりませんでした
• Provaに関するウィキペディアの記事からリンクされている研究論文はより多くの情報を提供するかもしれません、それは構文例を持っているようです
• 同じPDF版はこちらから無料で入手できるようです

方言の違いを具体的に示したページは見つかりませんでした。

---

元の答えは：

私が見つけた唯一の「Prolog方言の比較」の記事は、このACMの記事です。残念ながら、それは無料ではありません。そして、それがProvaとの比較を含んでいるかどうかはわかりません。

ProvaがPrologを実行するJavaの方法である場合、それは命令型Java言語のOO環境に調整されます。Prologのサブセットを提示しているように見えますが、構文は確かに明らかに異なります。利点は、「Prolog」と「Java」を混在させることができることです。

Provaと大規模な互換性があるMandaraxに関する情報を検索することもできますが、おそらくすでにそのことを知っているでしょう。

Answer 2

更新: prova.ws サイトが廃止され、Prova のアップグレードも廃止されたようです。

---

元の答え:

多くのドキュメントがhttp://www.prova.ws/documentation.phpで利用できるようになりました。新しいバージョンは着実に進んでいるので、ユーザー ガイドと Confluence WIKI の両方が非常に積極的に進歩しています。ああ、新しいバージョンは Mandarax ベースではなく、ゼロから完全に書き直したものです。