XSB
XSB
パラダイム論理プログラミング
設計者David S. Warren、Terrance Swift、Kostis Sagonas
安定版リリース
5.0 / 2022年5月12日 （2022年5月12日）
OSクロスプラットフォーム
ファイル名拡張子.P
ウェブサイトxsb .sf .net
影響を受けている
Prolog、PSB-Prolog、SB-Prolog

XSBは、 Prologプログラミング言語の方言とその実装の名前であり、ストーニーブルック大学がルーヴェン・カトリック大学、リスボン新大学、ウプサラ大学、ソフトウェアベンダーのXSB, Inc. と共同で開発しました

XSB は、テーブル解決とHiLogを使用して Prolog を拡張します。

特徴

XSBは、ウォーレン抽象機械に基づくPrologのコンパイル型方言です。[ 1 ] Quintusから派生したシステムとは異なり、XSBはPrologアトムに基づくモジュールシステムを使用しています。[ 1 ]テーブル解決機能を備え、HiLog言語をサポートしています（限定的な高階論理プログラミングを許可）。[ 1 ]テーブル化により、XSBはwell-founded semantics [ 1 ]を実装でき、演繹データベースエンジンとして適しています。[ 2 ]オープンソースのXSB実装には、Pythonプログラミング言語へのインターフェースが含まれています。[ 3 ]

歴史

XSBは、もともとストーニーブルック大学でDavid S. Warren、Terrance Swift、Kostis Sagonasによって開発され、1993年から1994年にかけて開始されました。XSBは、同じくストーニーブルック大学で1986年に開発されたSB-Prolog言語をベースにしており、テーブル解決の最初の実装でした。[ 1 ]

構文

XSBは、整数、浮動小数点数、アトムなどのISO規格のPrologデータ型をサポートしています。XSBの整数は複数の基数で解釈できます。デフォルトでは整数は10進数で解釈されますが、 2から36までの基数の範囲で解釈できます。[ 4 ]

参照

参考文献

  1. ^ a b c d eケルナー、フィリップ;ロイシェル、マイケル。バルボサ、ジョアン。コスタ、ビトール・サントス。ダール、ベロニカ。エルメネジルド、マヌエル V.モラレス、ホセ F.ヤン・ヴィーレメーカー；ディアス、ダニエル。アブレウ、サルバドール。シアット、ジョバンニ（2022年11月）。「プロローグの50年とその先へ」。論理プログラミングの理論と実践。22 (6 ) : 776–858.arXiv : 2201.10816 。土井：10.1017/S1471068422000102。ISSN 1471-0684。 
  2. ^ Brass, Stefan; Wenzel, Mario (2019). 「演繹システムとSQLデータベースのパフォーマンス分析と比較」(PDF) . Alviano, Mario (編). Datalog 2.0 2019 . CEURワークショップ議事録. 第2368巻. pp.  27– 38.
  3. ^ Andersen, Carl; Swift, Theresa (2023)、「Janusシステム：新しいPrologアプリケーションへの架け橋」、Prolog：次の50年、Cham：Springer Nature Switzerland、pp.  93– 104、doi：10.1007/978-3-031-35254-6_8、ISBN 978-3-031-35253-9、 2023年11月14日取得{{citation}}：CS1メンテナンス：ISBN付き作品パラメータ（リンク）
  4. ^ Swift, Theresa; Warren, David S. (2022年5月13日). XSBシステム バージョン5.0.x プログラマーズマニュアル

さらに詳しい参考文献

スタブアイコン

このプログラミング言語関連の記事はスタブです。不足している情報を追加してWikipediaに貢献してください。

「 https://en.wikipedia.org/w/index.php?title=XSB&oldid=1292771522」から取得