3

Javaには参照実装があります。

ISO-Prolog には参照実装がありますか?

私はINCITS/ISO/IEC 13211-1:1995 (R 2007)を持っているので、それを示唆する必要はありません。

編集

注記:適合性テスト I: 構文

4

4 に答える 4

2

いいえ。しかし、GNU Prologは ISO Prolog Core標準に非常に厳密に従っています。strict_isoまた、フラグを提供することにも注意してください。

優れた標準準拠を提供する他の Prolog コンパイラもあります。

于 2013-11-21T11:39:26.627 に答える
1

SICStus Prolog マニュアル 4.3.0 から直接:

ISO準拠

SICStus Prolog は、国際規格 ISO/IEC 13211-1 (PROLOG: Part 1—General Core) に完全に準拠しており、Technical Corrigenda 1 および 2 によって補強されています。

標準に準拠したプログラムを作成したいプログラマーを支援するために、このマニュアルでは、ISO Prolog 標準の一部である組み込みの述語と算術ファンクターに [ISO] の注釈が付けられています。

考慮してください: 何らかの理由で更新できない大量のレガシー コードを実行したい場合を除き、一般的な方法を除いて、1995 年に委員会が発行した技術文書への準拠を示す必要性を正当化するのは困難です。古代 (Sun のワークステーションに 120 MHz の CPU と 24 MiB の RAM が搭載されていた時代) からの時期尚早な規範的基準に準拠するのではなく、最新のアイデアと機能を使用して実行したいと考えています。

SWI Prolog マニュアルのPositioning SWI-Prologの章も参照してください。

人々を検索から解放するために、リスト:

于 2014-12-25T13:17:40.240 に答える