OSDN -- Develop and Download Open Source Software

RSS
Download List

Project Description

The Datalog package contains a lightweight deductive database system. Queries and database updates are expressed using Datalog—a declarative logic language in which each formula is a function-free Horn clause, and every variable in the head of a clause must appear in the body of the clause. The use of Datalog syntax and an implementation based on tabling intermediate results, ensures that all queries terminate.

System Requirements

System requirement is not defined

Download Package list

Latest 5 files
Name Size Date Download count
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
All Files
datalog
2.6
ChangeLog12.0 KB2016-06-01 22:031
README1.3 KB2016-06-01 22:0317
datalog-2.6.tar.gz671.2 KB2016-06-01 22:034
2.5
datalog-2.5.tar.gz651.3 KB2015-05-08 23:499
README1.3 KB2015-04-28 23:1016
ChangeLog11.6 KB2015-04-28 23:101
2.4
ChangeLog11.3 KB2013-03-24 06:2013
datalog-2.4.tar.gz590.9 KB2013-03-24 06:208
README1.3 KB2013-03-24 06:209
2.3
datalog-2.3-1.fc17.src.rpm593.6 KB2012-09-30 03:220
ChangeLog11.1 KB2012-09-30 03:225
datalog-2.3.tar.gz587.5 KB2012-09-30 03:2218
README1.3 KB2012-09-30 03:225
2.2
datalog-2.2-3.fc16.src.rpm583.0 KB2012-06-05 21:026
datalog-2.2-2.fc16.src.rpm582.7 KB2012-05-25 20:370
stackless.diff2.7 KB2012-04-30 20:044
datalog-2.2-1.fc16.src.rpm583.0 KB2012-04-26 21:562
datalog-2.2.tar.gz577.5 KB2012-04-26 21:568
README1.3 KB2012-04-26 21:062
NEWS2.1 KB2012-04-26 21:062
ChangeLog10.6 KB2012-04-26 21:063
2.1
datalog-2.1-1.fc16.src.rpm575.1 KB2012-04-09 06:263
ChangeLog9.9 KB2012-04-09 06:263
NEWS1.7 KB2012-04-09 06:263
datalog-2.1.tar.gz569.6 KB2012-04-09 06:263
README0.9 KB2012-04-09 06:260
2.0
datalog-2.0-1.fc16.src.rpm573.3 KB2012-04-08 00:193
ChangeLog9.3 KB2012-04-08 00:181
datalog-2.0.tar.gz567.8 KB2012-04-08 00:184
README0.9 KB2012-04-08 00:184
1.8
datalog-1.8-2.fc16.src.rpm566.6 KB2012-01-31 07:454
README0.9 KB2012-01-20 12:410
datalog-1.8-1.fc16.src.rpm566.6 KB2012-01-20 12:072
datalog-1.8.tar.gz561.6 KB2012-01-20 12:073
ChangeLog7.0 KB2012-01-20 12:064
1.7
ChangeLog6.2 KB2011-09-30 20:190
datalog-1.7-1.fc15.src.rpm565.4 KB2011-09-30 20:184
datalog-1.7.tar.gz561.1 KB2011-09-30 20:183
README0.8 KB2011-09-30 20:184
1.6
datalog-1.6-2.src.rpm349.3 KB2011-09-21 00:2011
datalog-1.6-1.fc15.i386.rpm122.2 KB2011-08-01 20:115
datalog-devel-1.6-1.fc15.i386.rpm19.5 KB2011-08-01 20:116
datalog-1.6-1.fc15.src.rpm349.3 KB2011-08-01 20:112
README0.7 KB2011-07-13 16:192
datalog-1.6.tar.gz345.2 KB2011-07-13 16:045
ChangeLog5.4 KB2011-07-13 16:043
1.5
ChangeLog5.0 KB2010-05-28 02:493
datalog-1.5.tar.gz342.5 KB2010-05-28 02:453
1.4
datalog-1.4.tar.gz309.4 KB2009-04-13 08:238