有 ISO-Prolog 参考实现吗？

Java https://jdk7.java.net/java-se-7-ri/ has a 参考实现 http://en.wikipedia.org/wiki/Reference_implementation.

ISO-Prolog 有参考实现吗？

我有INCITS/ISO/IEC 13211-1:1995 (R 2007) http://webstore.ansi.org/RecordDetail.aspx?sku=INCITS/ISO/IEC%2013211-1-1995%20%28R2007%29所以没必要这么建议。

EDIT

值得注意的是：一致性测试 I：语法 http://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing

首先让我澄清一下参考实现的含义。您的意思是一个被视为代表的示例实现a标准的有效解释。我们永远不清楚这样的实现可能具有什么规范价值——想想导致许多系统循环的 Java float 语法错误。

ISO Prolog 没有参考实现。就像 C、C++ 或任何其他 ISO/IEC 标准化编程语言一样。请注意，Java 并未由 ISO、IEC、ITU 等任何标准化机构、CEN 或 ANSI 等国家机构标准化；而是由一家公司负责。正是该公司提供了参考实施。

此外，Prolog 自 1972 年就存在——早在任何标准化发生之前。它是同类语言和范例中的第一种语言。它很快分裂成几种语法不兼容的不同方言（Prolog 1、Edinburgh、Prolog II 等）。第一个标准相关文件之一 -Richard O'Keefe 的 Prolog 可评估谓词拟议标准草案 http://www.complang.tuwien.ac.at/ulrich/iso-prolog/okeefe.txt was 1984年发行 http://www.complang.tuwien.ac.at/ulrich/iso-prolog/plstd-announce.txt。 BSI 始于 1984 年； AFNOR 1985。ISO 流程于 1987 年启动，并于 1995 年发布了 ISO/IEC 13211-1。

与此相比，Java 是从以前的语言（如 C、C++ 以及其他面向对象语言）发展而来的，并继承了它们的很多东西。它的开发方式完全不同，一家公司极力捍卫语言免受各种偏差的影响——想想看：甚至禁止在互联网上提供手册的副本。

无论如何，最符合的 Prolog 系统是：

1. SICStus Prolog 4.3 beta 1。不知道会误读任何有效的 Prolog 文本。完全支持 Cor.1、Cor.2。

2. GNU Prolog 1.4.4 (git版本 http://sourceforge.net/p/gprolog/code/ci/457f7b447c2b9e90a09956ff15fd277d269b1d98/tree/）。不知道会误读任何有效的 Prolog 文本。算术上的一些差异。否则 Cor.1、Cor.2。

3. IF/Prolog V5。唯一提供严格符合模式的系统（参见 ISO/IEC 13211-1:1995 第 5.1 e 款）。

具体比较 w.r.t.语法（阅读和写作） http://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing让您对这些和其他实现的期望有一些印象。