| Xsb. XSB - UNIX様およびWindowsプラットフォーム用のロジックプログラミングおよび演繹データベースシステム |
今すぐダウンロード |
Xsb. ランキングとまとめ
Xsb. タグ
Xsb. 説明
XSB - UNIX様およびWindowsプラットフォーム用のロジックプログラミングと演繹データベースシステム XSBは、UNIXのような、Windows Platformのための論理プログラミングおよび演繹的データベースシステムです。Stony Brook大学のコンピュータサイエンス部、XSB、Inc、Katholieke Universiteit Leuven、Nova de Lisboa、Nova Deboa、そしてUppSala Universitet.HHEENは "XSB"の主な機能です。・成層化されていない否定のエンジンレベルプログラムで評価され、成層集計を持つプログラムは、カットを含むテーブルコードで完全なプロローグ機能を可能にします。意味的制限)、メタ論理述語の中、2次述語などで、ダイナミックコードもテーブルがテーブルされている可能性があります。・システムによって自動的にまたはユーザーが手動で宣言することができます。さらに、効率のために、または両方のために使用することができる標準タブリング述語を自動的に実行することができます。・単調な推論と知識表現で多くのアプリケーションをプログラムするために使用できる標準のタブリング述語を提供します。・インクリメンタルタブリングはプログラムに使用できます。テーブル・ネゲーションを必要としないプログラム・フラグメントのコール・分散でタブリングを使用します。テーブルがダイナミックコード(おそらく間接的に)依存している場合は、コードへのアサートまたは後退が自動的にさまざまなテーブルに増分されます。・テーブルを動的にコンパイルします。これは動的に索引付けされ、どのフルメモリ管理が提供されているか。・デフォルトのメモリ管理が提供されています。・ローカル評価と呼ばれるタブレーション戦略は、クエリにすべての回答を返すために効率的であり、プログラム分析や非単調推論などのアプリケーションに役立ちます。構成の代替案として、バッチ付き評価は、クエリに対する最初の回答を効率的に返すプロローゴのようなタブレーション戦略である。・テーブル(およびプロローグ)の評価のために機能するヒープガベージコレクタがあります。テーブルが廃止された後、テーブルガベージコレクタがそのスペースが正しく再生されることを保証します。
Xsb. 関連ソフトウェア