9

Is there a description of Prolog language (syntax and semantics) available online?

There are a lot of reference manuals for implementations. But neither of those is a language description. For example the SWI Prolog manual states

This manual does not describe the full syntax and semantics of Prolog.

And refers to a set of books printed on paper, published in the nineteen eighties. And to ISO standard which is for money and "should be available from my country's ISO representative" gibberish.

4

1 に答える 1

5

ISO 規格は、ANSI Web ストアからINCITS ドキュメントとして非常に低価格 (現在30,60米ドル)で入手できます。そこでは、2つの正誤表も無料で入手できます。現在のすべてのドキュメントについては、 iso-prolog タグ情報を参照してください。ここでは、Cor.1 と Cor.2 を含むすべての組み込み述語の包括的な概要を示します。

印刷版が必要な場合は、10 ページが欠落している (意図的に空白のままにしている) ことに注意して、INCITS ドキュメントの上に自分で印刷することをお勧めします。そうしないと、奇数ページが左側に表示されます。ドキュメントは、1 ページに 2 列の A4 スキャンです。非公式の附属書 A は、別のバインディングの方が適しています。代わりに、2 つの正誤表を追加してください。

あるいは、SAIがハードコピーを販売しています。

于 2012-06-06T12:37:06.950 に答える