Prova是通过Prolog编译器或Prolog解释器实现的吗? [英] Is the Prova implemented with a Prolog compiler or Prolog interpreter?

问题描述

我正在看用Java编写的Prolog系统Prova. https://prova.ws/

I am looking at the Java-written Prolog system, Prova. https://prova.ws/

但是不清楚它的实现是Prolog编译器还是Prolog解释器?我阅读了手册，但没有找到答案.

But it is not clear about its implementation, a Prolog compiler or Prolog interpreter? I read the manual, but did not found an answer.

推荐答案

有传言称Prova基于Mandarax.最新的 版本似乎正朝着SWI-Prolog 7的方向发展 即它支持字典和点表示法.另请参见此处:

There are some rumors that Prova is based on Mandarax. The newest version seem to be heading in the same direction as SWI-Prolog 7, i.e. it supports dicts and a dot notation. See also here:

http://prova.ws/confluence/display/REWRITEDEV/Prova + maps + for + defining + slotted + terms

原始的Mandarax似乎是一名口译员，并且 在Prova用户手册中，我们发现一个句子 将其声明为Prolog解释器，但没有编译提示.

The original Mandarax seems to have been an interpreter, and in the user manual of Prova we find one sentence that self declares it as a Prolog interpreter, but no hint for compilation.

但是似乎有Mandarax(1.1.0)的较新版本， 某种编译器，但也许Prova已经分支了 在编译器到达之前，它仍然是一个犯罪者.

But there seems to be a newer version of Mandarax (1.1.0) which was some kind of compiler, but maybe Prova was already branched out before the compiler arrived, and its still an interpeter.

因此，尽管它自己声明为Prolog解释器，但大多数情况下 可能不是ISO Prolog系统，因为例如缺少op/3. 我猜它使用了一个带有一些硬接线员的令牌生成器和一个 具有一些硬接线运算符表达式的解析器. (*)

So although it self declares as a Prolog interpreter, it is most likely not an ISO Prolog systems, since for example op/3 is missing. I guess it uses aa tokenizer with some hard wired operators and a parser with some hard wired operator expressions. (*)

尽管如此，它可能会提供一些好处，但是从 文档和二进制文件大小，可能不会很多.哪个 直接嵌入Java的能力可能会补偿 用点表示法调用:

It might nevertheless offer some goodies, but judging from the documentation and binary size, they might not be many. Which is possibly compensated by the ability to directly embed Java calls by the dot notation:

http://prova.ws/confluence/display/REWRITEDEV/从+ Prova + rulebases调用+ Java +

再见

(*) Prova语法走得更远，需要最终用户 写fail()而不是fail.语法变体 在新的SWI-Prolog 7中发现，尽管没有那么激烈 对最终用户的影响，他/她将不再被允许使用 原子作为目标.

(*) The Prova syntax goes even that far, that it requires the end-user to write fail() instead of fail. A syntax variant that is also found in the new SWI-Prolog 7, although not with the same drastic effect on the end-user that he/she would be not anymore allowed to use atoms as goals.

这篇关于Prova是通过Prolog编译器或Prolog解释器实现的吗?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！