README (README( 外部リンク: SF.net): 905 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
Datalog パッケージには軽量演繹データベース システムが含まれています。クエリとデータベースの更新は Datalog に表されます-宣言型論理言語でそれぞれの数式は関数無料ホーン句と句の頭の中ですべての変数する必要がありますに表示されます、句の本体。Datalog 構文を使用して噛み合わせ中間結果に基づいて実装されるすべてのクエリを終了します。
