Datalog パッケージには軽量演繹データベース システムが含まれています。クエリとデータベースの更新は Datalog に表されます-宣言型論理言語でそれぞれの数式は関数無料ホーン句と句の頭の中ですべての変数する必要がありますに表示されます、句の本体。Datalog 構文を使用して噛み合わせ中間結果に基づいて実装されるすべてのクエリを終了します。
最新ファイル(5件) |
|||
|---|---|---|---|
| 名前 | サイズ | 日付 | ダウンロード数 |
| ChangeLog | 12.0 KB | 2016-06-01 22:03 | 1 |
| README | 1.3 KB | 2016-06-01 22:03 | 17 |
| datalog-2.6.tar.gz | 671.2 KB | 2016-06-01 22:03 | 4 |
| datalog-2.5.tar.gz | 651.3 KB | 2015-05-08 23:49 | 9 |
| README | 1.3 KB | 2015-04-28 23:10 | 16 |
その他全ファイル |
|||
| ChangeLog | 12.0 KB | 2016-06-01 22:03 | 1 |
| README | 1.3 KB | 2016-06-01 22:03 | 17 |
| datalog-2.6.tar.gz | 671.2 KB | 2016-06-01 22:03 | 4 |
| datalog-2.5.tar.gz | 651.3 KB | 2015-05-08 23:49 | 9 |
| README | 1.3 KB | 2015-04-28 23:10 | 16 |
| ChangeLog | 11.6 KB | 2015-04-28 23:10 | 1 |
| ChangeLog | 11.3 KB | 2013-03-24 06:20 | 13 |
| datalog-2.4.tar.gz | 590.9 KB | 2013-03-24 06:20 | 8 |
| README | 1.3 KB | 2013-03-24 06:20 | 9 |
| datalog-2.3-1.fc17.src.rpm | 593.6 KB | 2012-09-30 03:22 | 0 |
| ChangeLog | 11.1 KB | 2012-09-30 03:22 | 5 |
| datalog-2.3.tar.gz | 587.5 KB | 2012-09-30 03:22 | 18 |
| README | 1.3 KB | 2012-09-30 03:22 | 5 |
| datalog-2.2-3.fc16.src.rpm | 583.0 KB | 2012-06-05 21:02 | 6 |
| datalog-2.2-2.fc16.src.rpm | 582.7 KB | 2012-05-25 20:37 | 0 |
| stackless.diff | 2.7 KB | 2012-04-30 20:04 | 4 |
| datalog-2.2-1.fc16.src.rpm | 583.0 KB | 2012-04-26 21:56 | 2 |
| datalog-2.2.tar.gz | 577.5 KB | 2012-04-26 21:56 | 8 |
| README | 1.3 KB | 2012-04-26 21:06 | 2 |
| NEWS | 2.1 KB | 2012-04-26 21:06 | 2 |
| ChangeLog | 10.6 KB | 2012-04-26 21:06 | 3 |
| datalog-2.1-1.fc16.src.rpm | 575.1 KB | 2012-04-09 06:26 | 3 |
| ChangeLog | 9.9 KB | 2012-04-09 06:26 | 3 |
| NEWS | 1.7 KB | 2012-04-09 06:26 | 3 |
| datalog-2.1.tar.gz | 569.6 KB | 2012-04-09 06:26 | 3 |
| README | 0.9 KB | 2012-04-09 06:26 | 0 |
| datalog-2.0-1.fc16.src.rpm | 573.3 KB | 2012-04-08 00:19 | 3 |
| ChangeLog | 9.3 KB | 2012-04-08 00:18 | 1 |
| datalog-2.0.tar.gz | 567.8 KB | 2012-04-08 00:18 | 4 |
| README | 0.9 KB | 2012-04-08 00:18 | 4 |
| datalog-1.8-2.fc16.src.rpm | 566.6 KB | 2012-01-31 07:45 | 4 |
| README | 0.9 KB | 2012-01-20 12:41 | 0 |
| datalog-1.8-1.fc16.src.rpm | 566.6 KB | 2012-01-20 12:07 | 2 |
| datalog-1.8.tar.gz | 561.6 KB | 2012-01-20 12:07 | 3 |
| ChangeLog | 7.0 KB | 2012-01-20 12:06 | 4 |
| ChangeLog | 6.2 KB | 2011-09-30 20:19 | 0 |
| datalog-1.7-1.fc15.src.rpm | 565.4 KB | 2011-09-30 20:18 | 4 |
| datalog-1.7.tar.gz | 561.1 KB | 2011-09-30 20:18 | 3 |
| README | 0.8 KB | 2011-09-30 20:18 | 4 |
| datalog-1.6-2.src.rpm | 349.3 KB | 2011-09-21 00:20 | 11 |
| datalog-1.6-1.fc15.i386.rpm | 122.2 KB | 2011-08-01 20:11 | 5 |
| datalog-devel-1.6-1.fc15.i386.rpm | 19.5 KB | 2011-08-01 20:11 | 6 |
| datalog-1.6-1.fc15.src.rpm | 349.3 KB | 2011-08-01 20:11 | 2 |
| README | 0.7 KB | 2011-07-13 16:19 | 2 |
| datalog-1.6.tar.gz | 345.2 KB | 2011-07-13 16:04 | 5 |
| ChangeLog | 5.4 KB | 2011-07-13 16:04 | 3 |
| ChangeLog | 5.0 KB | 2010-05-28 02:49 | 3 |
| datalog-1.5.tar.gz | 342.5 KB | 2010-05-28 02:45 | 3 |
| datalog-1.4.tar.gz | 309.4 KB | 2009-04-13 08:23 | 8 |
