standards - 是否有 ISO-Prolog 引用实现？

Question

Java有一个 reference implementation .
ISO-Prolog 有引用实现吗？
我有 INCITS/ISO/IEC 13211-1:1995 (R 2007)所以没有必要提出这个建议。
编辑
注:Conformity Testing I: Syntax

Answer 1

让我首先澄清您所说的引用实现是什么意思。您的意思是被视为代表 的示例实现标准的有效解释。永远不清楚这样的实现可能具有什么规范值(value)——想想导致许多系统循环的 Java 浮点语法错误。
ISO Prolog 没有引用实现。就像 C、C++ 或任何其他 ISO/IEC 标准化编程语言没有一样。请注意，Java 没有被任何标准化机构(如 ISO、IEC、ITU 或 CEN)或任何国家机构(如 ANSI)标准化；而是由一家公司。正是那家公司提供了引用实现。
此外，Prolog 早在 1972 年就存在——早在任何标准化发生之前。它一直是同类和范式中的第一种语言。它很快 split 成几种不同的语法不兼容的方言(Prolog 1、Edinburgh、Prolog II 等)。最早的标准相关文件之一——Draft Proposed Standard for Prolog Evaluable Predicates by Richard O'Keefe是 circulated 1984 . BSI 始于 1984 年； AFNOR 1985。1987 年 ISO 流程开始，1995 年交付 ISO/IEC 13211-1。
相比之下，Java 是从以前的语言(如 C、C++ 以及其他面向对象的语言)演变而来的，并从它们那里继承了很多。它的开发完全不同，一家公司坚决捍卫语言免受各种偏差——想想看:即使是手册的副本也被禁止在互联网上提供。
在任何情况下，具有最接近一致性的 Prolog 系统是:

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

GNU Prolog 1.4.4 ( git version )。不会误读任何有效的 Prolog 文本。算术上的一些差异。否则 Cor.1、Cor.2。

IF/Prolog V5。唯一提供严格符合模式的系统(参见 ISO/IEC 13211-1:1995 子条款 5.1 e)。

一个具体的比较 w.r.t. syntax (reading and writing)让您对您可以从这些和其他实现中获得什么有一些印象。