Prolog実装の比較

以下のProlog 実装の比較は、Prologコンピュータプログラミング言語のさまざまな実装の相対的な機能セットとパフォーマンスの参考になります。最も重要なPrologシステムに関する包括的な議論は、ジャーナル「Theory and Practice of Logic Programming (TPLP)」の Prolog 50 周年記念号に掲載された記事で紹介されています。^[1]

ポータビリティ

Prologの実装には根本的に異なるものがあり、構文や意味論が異なります（Visual Prologなど）^[2]。また、さまざまな実装を中心にサブコミュニティが形成されてきました。^[2]

ISO-Prologコア言語に厳密に準拠したコードは、ISO準拠の実装間で移植可能です。ただし、モジュールのISO標準は、ほとんどのPrologシステムで完全に採用されていない拡張機能です。^[2]^[1]

移植性に悪影響を与える要因としては、有界整数演算と無界整数演算の使用、文字列オブジェクトなどの追加型、高度な数値型（有理数、複素数）、Unicode、スレッド、テーブル化などの機能拡張などがあります。^[3] 他の実装では利用できないライブラリの使用とライブラリ構成：^[2]

現在、述語がライブラリやシステム組み込みに分散されている方法は大きく異なります。 [...] 幸いなことに、同じ名前で異なるセマンティクスを持つ述語が見つかるケースはほとんどありません (例delete/3)

主な特徴

オペレーティングシステムと Web 関連の機能

静的解析

最適化

リリース

ベンチマーク

ベンチマークの問題：奇妙なPrologベンチマーク、パフォーマンスの違い。^[8]
ベンチマークソフトウェア: 古いもの、Dobry's Benchmarks、Aquariusベンチマークスイート、(Bothe、1990)、^[9] (Demoen et al. 2001)、ベンチマークの説明
ベンチマーク結果: B-Prolog、SICStus、XSB、^[10] SICStus vs Yap vs hProlog ^[11]
ベンチマーク結果: Michael Zeising による Java Prolog エンジンの調査
ベンチマーク結果: OpenRuleBench ルールエンジンの年間オープンソースベンチマーク

注記

^ ab C/Java インターフェースはグラフィックスや OS 制御にも使用できます。

参考文献

^ フィリップ・ケルナー氏;マイケル・ロイシェル;ジョアン・バルボーサ。ビトール・サントス・コスタ。ヴェロニカ・ダール。マヌエル・V・エルメネジルド。ホセ・F・モラレス。ヤン・ヴィーレメーカー;ダニエル・ディアス;サルバドール・アブレウ。 Giovanni Ciatto (2022 年 11 月)、「Fifty Years of Prolog and Beyond」、論理プログラミングの理論と実践、22 (6)、doi : 10.1017/S1471068422000102、hdl : 10174/33387
^ abcd Wielemaker, J.; Costa, VTS (2011). 「Prolog アプリケーションの移植性について」.宣言型言語の実用的側面. コンピュータサイエンスの講義ノート. 第 6539 巻. 69–83 ページ. CiteSeerX 10.1.1.1030.9396 . doi :10.1007/978-3-642-18378-2_8. ISBN 978-3-642-18377-5。
^ Jan Wielemaker と Vıtor Santos Costa: Prolog プログラムの移植性: 理論とケーススタディ。CICLOPS-WLPE ワークショップ 2010、Wayback Machineに 2010-07-16 にアーカイブ。
^ 「DOS-Prolog 8.0」。Logic Programming Associates。2023年11月5日。
^ ab "JLog ホームページ". jlogic.sourceforge.net . 2023年11月3日閲覧。
^ “Jtrolog — Java.net”. 2012-11-13. 2012-11-13時点のオリジナルよりアーカイブ。2023年11月3日閲覧。
^ 「WIN-Prolog 8.0」。Logic Programming Associates。2023年11月5日。
^ B. Demoen、P. Nguyen、「Prolog 実装間の不要なパフォーマンスの違いについて」、制約および論理プログラミングシステムの実装に関するコロキウムの議事録 (CICLOPS 2001)
^ Bothe, K. (1990). 「Prolog空間ベンチマークスイート」. ACM SIGPLAN Notices . 25 (12): 54–60. doi : 10.1145/122193.122197 .
^ XSB パフォーマンスの概要 (1993)
^ Demoen, B.; Nguyen, PL; Vandeginste, R. (2002). 「WAM のコピーガベージコレクション: マークするべきか、しないべきか?」.ロジックプログラミング. コンピュータサイエンスの講義ノート. 第 2401 巻. pp. 194–208. CiteSeerX 10.1.1.13.2586 . doi :10.1007/3-540-45619-8_14. ISBN 978-3-540-43930-1。

外部リンク

Ulrich Neumerkel による Prolog システムの概要
適合性評価 I: 構文

[C-4] C/Java インターフェースはグラフィックスや OS 制御にも使用できます。

[prolog50-1] フィリップ・ケルナー氏;マイケル・ロイシェル;ジョアン・バルボーサ。ビトール・サントス・コスタ。ヴェロニカ・ダール。マヌエル・V・エルメネジルド。ホセ・F・モラレス。ヤン・ヴィーレメーカー;ダニエル・ディアス;サルバドール・アブレウ。 Giovanni Ciatto (2022 年 11 月)、「Fifty Years of Prolog and Beyond」、論理プログラミングの理論と実践、22 (6)、doi : 10.1017/S1471068422000102、hdl : 10174/33387

[portability2011-2] Wielemaker, J.; Costa, VTS (2011). 「Prolog アプリケーションの移植性について」.宣言型言語の実用的側面. コンピュータサイエンスの講義ノート. 第 6539 巻. 69–83 ページ. CiteSeerX 10.1.1.1030.9396 . doi :10.1007/978-3-642-18378-2_8. ISBN 978-3-642-18377-5。

[3] Jan Wielemaker と Vıtor Santos Costa: Prolog プログラムの移植性: 理論とケーススタディ。CICLOPS-WLPE ワークショップ 2010、Wayback Machineに 2010-07-16 にアーカイブ。

[5] 「DOS-Prolog 8.0」。Logic Programming Associates。2023年11月5日。

[JLog_Homepage-6] "JLog ホームページ". jlogic.sourceforge.net . 2023年11月3日閲覧。

[7] “Jtrolog — Java.net”. 2012-11-13. 2012-11-13時点のオリジナルよりアーカイブ。2023年11月3日閲覧。

[8] 「WIN-Prolog 8.0」。Logic Programming Associates。2023年11月5日。

[9] B. Demoen、P. Nguyen、「Prolog 実装間の不要なパフォーマンスの違いについて」、制約および論理プログラミングシステムの実装に関するコロキウムの議事録 (CICLOPS 2001)

[10] Bothe, K. (1990). 「Prolog空間ベンチマークスイート」. ACM SIGPLAN Notices . 25 (12): 54–60. doi : 10.1145/122193.122197 .

[11] XSB パフォーマンスの概要 (1993)

[12] Demoen, B.; Nguyen, PL; Vandeginste, R. (2002). 「WAM のコピーガベージコレクション: マークするべきか、しないべきか?」.ロジックプログラミング. コンピュータサイエンスの講義ノート. 第 2401 巻. pp. 194–208. CiteSeerX 10.1.1.13.2586 . doi :10.1007/3-540-45619-8_14. ISBN 978-3-540-43930-1。