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?
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.
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.