Loading article…
| パラダイム | ロジックプログラミング |
|---|---|
| デザイン： | デビッド・S・ウォーレン、テランス・スウィフト、コスティス・サゴナス |
| 安定リリース | 5.0 / 2022年5月12日 |
| OS | クロスプラットフォーム |
| ファイル名拡張子 | .P |
| Webサイト | 出典: |
| 影響を受けた | |
| Prolog、PSB-Prolog、SB-Prolog | |
XSB は、 Prolog プログラミング言語の方言とその実装の名前であり、ストーニーブルック大学がルーヴェン・カトリック大学、リスボン新大学、ウプサラ大学、ソフトウェアベンダーのXSB, Inc. と共同で開発しました。
XSB は、テーブル解決とHiLog を備えた Prolog を拡張します。
特徴
XSB は、ウォーレン抽象マシンに基づく Prolog のコンパイルされた方言です。[1] Quintusから派生したシステムとは異なり、XSB はProlog アトムに基づくモジュールシステムを使用します。[1]テーブル解決を特徴とし、HiLog言語 (限定された高階論理プログラミングを許可) をサポートします。[1]テーブル化により、XSB はwell-founded セマンティクス[1]を実装でき、演繹データベースエンジンとして適しています。[2]オープンソースのXSB 実装には、Python プログラミング言語へのインターフェイスが含まれています。[3]
歴史
XSBはもともとストーニーブルック大学のDavid S. Warren、Terrance Swift、Kostis Sagonasによって開発され、1993年から1994年にかけて発表されました。これは同じくストーニーブルック大学で1986年に開発されたSB-Prolog言語に基づいており、テーブル解決の最初の実装でした。[1]
構文
XSBは、整数、浮動小数点数、アトムなどのISOで規定されたPrologデータ型をサポートしています。XSBの整数は複数の基数で解釈できます。デフォルトでは、整数は10進数で解釈されますが、 2から36までの基数の範囲で解釈できます。[4]
参照
参考文献
- ^ abcde ケルナー、フィリップ;ロイシェル、マイケル。バルボサ、ジョアン。コスタ、ビトール・サントス。ダール、ベロニカ。エルメネジルド、マヌエル V.モラレス、ホセ F.ヤン・ヴィーレメーカー;ディアス、ダニエル。アブレウ、サルバドール。シアット、ジョバンニ（2022年11月）。 「プロローグの50年とその先へ」。論理プログラミングの理論と実践。22 (6): 776–858。arXiv : 2201.10816。土井：10.1017/S1471068422000102。ISSN 1471-0684。
- ^ Brass, Stefan; Wenzel, Mario (2019). 「演繹システムと SQL データベースのパフォーマンス分析および比較」(PDF)。Alviano, Mario (編) 著。Datalog 2.0 2019。CEUR ワークショップ議事録。第 2368 巻。pp. 27–38。
- ^ アンダーセン、カール、スウィフト、テレサ（2023）、「Janusシステム：新しいPrologアプリケーションへの架け橋」、Prolog：次の50年、Cham：Springer Nature Switzerland、pp.93–104、ISBN 978-3-031-35253-9、 2023-11-14取得
- ^ Swift, Theresa; Warren, David S. (2022年5月13日). XSB システムバージョン5.0.x プログラマーズマニュアル。
さらに読む
- Warren, David (2020). Tabled Prolog でのプログラミング(PDF) (ドラフト版).
- Swift, Terrance; Warren, David S. (2012). 「XSB: テーブル型論理プログラミングによる Prolog の拡張」.論理プログラミングの理論と実践. 12 (1–2): 157–187. arXiv : 1012.5123 . doi :10.1017/S1471068411000500. ISSN 1471-0684. S2CID 6153112.
外部リンク
- エクセレント
- ストーニーブルックプロローグに関する情報