The Datalog Educational System (DES) is a basic deductive database with both Datalog and SQL as query languages developed for education. It can be used from most common Prolog interpreters over any supported OS and from executables (Windows and Linux).
Browse Files for Datalog Educational System
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| releasenotesDES1.7.0.txt |
|
3.6 KB | 2009-10-30 15:15:23 GMT | 23 | |
| releasenotesDES1.7.0 |
|
3.6 KB | 2009-10-30 15:15:17 GMT | 3 | |
| readmeDES1.7.0.txt | 824 Bytes | 2009-10-30 15:15:09 GMT | 1 | ||
| readmeDES1.7.0 | 795 Bytes | 2009-10-30 15:14:53 GMT | 1 | ||
| manualDES1.7.0.pdf | 536.4 KB | 2009-10-30 15:14:46 GMT | 22 | ||
| DES1.7.0SWI.zip | 910.4 KB | 2009-10-30 15:14:32 GMT | 12 | ||
| DES1.7.0SWI.tar.gz | 900.2 KB | 2009-10-30 15:14:19 GMT | 10 | ||
| DES1.7.0Sicstus.zip | 910.6 KB | 2009-10-30 15:13:37 GMT | 9 | ||
| DES1.7.0Sicstus.tar.gz | 900.3 KB | 2009-10-30 15:13:21 GMT | 1 | ||
| DES1.7.0GNU.zip | 910.4 KB | 2009-10-30 15:13:01 GMT | 8 | ||
| DES1.7.0GNU.tar.gz | 900.2 KB | 2009-10-30 15:12:36 GMT | 4 | ||
| DES1.7.0Ciao.zip | 911.3 KB | 2009-10-30 15:12:09 GMT | 4 | ||
| DES1.7.0Ciao.tar.gz | 900.7 KB | 2009-10-30 15:11:47 GMT | 5 | ||
| DES1.7.0Linux.tar.gz | 3.4 MB | 2009-10-30 15:11:14 GMT | 6 | ||
| DES1.7.0Windows.zip | 1.3 MB | 2009-10-30 15:10:29 GMT | 33 | ||
| All Files | Subscribe | ||||
| des | 95.2 MB | 2009-10-30 15:15:23 GMT | 20,926 | Subscribe Folder view | |
| des1.7.0 | 12.5 MB | 2009-10-30 15:15:23 GMT | 142 | Subscribe Folder view | |
| releasenotesDES1.7.0.txt |
|
3.6 KB | 2009-10-30 15:15:23 GMT | 23 | |
| releasenotesDES1.7.0 |
|
3.6 KB | 2009-10-30 15:15:17 GMT | 3 | |
| readmeDES1.7.0.txt | 824 Bytes | 2009-10-30 15:15:09 GMT | 1 | ||
| readmeDES1.7.0 | 795 Bytes | 2009-10-30 15:14:53 GMT | 1 | ||
| manualDES1.7.0.pdf | 536.4 KB | 2009-10-30 15:14:46 GMT | 22 | ||
| DES1.7.0SWI.zip | 910.4 KB | 2009-10-30 15:14:32 GMT | 12 | ||
| DES1.7.0SWI.tar.gz | 900.2 KB | 2009-10-30 15:14:19 GMT | 10 | ||
| DES1.7.0Sicstus.zip | 910.6 KB | 2009-10-30 15:13:37 GMT | 9 | ||
| DES1.7.0Sicstus.tar.gz | 900.3 KB | 2009-10-30 15:13:21 GMT | 1 | ||
| DES1.7.0GNU.zip | 910.4 KB | 2009-10-30 15:13:01 GMT | 8 | ||
| DES1.7.0GNU.tar.gz | 900.2 KB | 2009-10-30 15:12:36 GMT | 4 | ||
| DES1.7.0Ciao.zip | 911.3 KB | 2009-10-30 15:12:09 GMT | 4 | ||
| DES1.7.0Ciao.tar.gz | 900.7 KB | 2009-10-30 15:11:47 GMT | 5 | ||
| DES1.7.0Linux.tar.gz | 3.4 MB | 2009-10-30 15:11:14 GMT | 6 | ||
| DES1.7.0Windows.zip | 1.3 MB | 2009-10-30 15:10:29 GMT | 33 | ||
| des1.6.2 | 11.0 MB | 2009-03-10 15:32:08 GMT | 1,478 | Subscribe Folder view | |
| releasenotesDES1.6.2.txt | 3.4 KB | 2009-03-10 15:32:08 GMT | 45 | Release Notes | |
| releasenotesDES1.6.2 | 3.4 KB | 2009-03-10 15:32:06 GMT | 11 | Release Notes | |
| readmeDES1.6.2.txt | 816 Bytes | 2009-03-10 15:32:05 GMT | 12 | Release Notes | |
| readmeDES1.6.2 | 787 Bytes | 2009-03-10 15:32:04 GMT | 12 | Release Notes | |
| DES1.6.2SWI.tar.gz | 760.0 KB | 2009-03-10 15:32:02 GMT | 77 | Release Notes | |
| DES1.6.2Sicstus.tar.gz | 760.1 KB | 2009-03-10 15:31:26 GMT | 34 | Release Notes | |
| DES1.6.2Linux.tar.gz | 3.2 MB | 2009-03-10 15:31:09 GMT | 161 | Release Notes | |
| DES1.6.2GNU.tar.gz | 760.0 KB | 2009-03-10 15:30:00 GMT | 40 | Release Notes | |
| DES1.6.2Ciao.tar.gz | 740.4 KB | 2009-03-10 15:29:42 GMT | 34 | Release Notes | |
| manualDES1.6.2.pdf | 481.0 KB | 2009-03-10 15:29:23 GMT | 269 | Release Notes | |
| DES1.6.2Windows.zip | 1.2 MB | 2009-03-10 15:29:12 GMT | 435 | Release Notes | |
| DES1.6.2SWI.zip | 774.7 KB | 2009-03-10 15:28:44 GMT | 155 | Release Notes | |
| DES1.6.2Sicstus.zip | 774.9 KB | 2009-03-10 15:28:26 GMT | 67 | Release Notes | |
| DES1.6.2GNU.zip | 774.7 KB | 2009-03-10 15:28:09 GMT | 70 | Release Notes | |
| DES1.6.2Ciao.zip | 754.5 KB | 2009-03-10 15:27:52 GMT | 56 | Release Notes | |
| des1.6.1 | 10.9 MB | 2008-11-10 12:55:44 GMT | 2,216 | Subscribe Folder view | |
| releasenotesDES1.6.1.txt | 2.3 KB | 2008-11-10 12:55:44 GMT | 9 | Release Notes | |
| releasenotesDES1.6.1 | 2.2 KB | 2008-11-10 12:55:43 GMT | 7 | Release Notes | |
| readmeDES1.6.1.txt | 870 Bytes | 2008-11-10 12:55:42 GMT | 6 | Release Notes | |
| readmeDES1.6.1 | 839 Bytes | 2008-11-10 12:55:40 GMT | 13 | Release Notes | |
| DES1.6.1SWI.tar.gz | 686.4 KB | 2008-11-10 12:09:41 GMT | 88 | Release Notes | |
| DES1.6.1SunOS5.4.tar.gz | 686.6 KB | 2008-11-10 12:09:26 GMT | 56 | Release Notes | |
| DES1.6.1Sicstus.tar.gz | 686.6 KB | 2008-11-10 12:09:12 GMT | 52 | Release Notes | |
| DES1.6.1Linux.tar.gz | 3.2 MB | 2008-11-10 12:08:57 GMT | 116 | Release Notes | |
| DES1.6.1GNU.tar.gz | 686.4 KB | 2008-11-10 12:07:51 GMT | 66 | Release Notes | |
| DES1.6.1Ciao.tar.gz | 671.3 KB | 2008-11-10 12:07:35 GMT | 68 | Release Notes | |
| manualDES1.6.1.pdf | 465.6 KB | 2008-11-10 12:07:19 GMT | 832 | Release Notes | |
| DES1.6.1Windows.zip | 1.1 MB | 2008-11-10 12:07:07 GMT | 385 | Release Notes | |
| DES1.6.1SWI.zip | 696.6 KB | 2008-11-10 12:06:44 GMT | 257 | Release Notes | |
| DES1.6.1Sicstus.zip | 696.7 KB | 2008-11-10 12:06:28 GMT | 84 | Release Notes | |
| DES1.6.1GNU.zip | 696.6 KB | 2008-11-10 12:06:13 GMT | 96 | Release Notes | |
| DES1.6.1Ciao.zip | 681.0 KB | 2008-11-10 12:05:57 GMT | 81 | Release Notes | |
| des1.6.0 | 7.9 MB | 2008-07-28 13:04:36 GMT | 2,133 | Subscribe Folder view | |
| releasenotesDES1.6.0.txt | 1.8 KB | 2008-07-28 13:04:36 GMT | 8 | Release Notes | |
| manualDES1.6.0.pdf | 435.8 KB | 2008-07-28 13:02:09 GMT | 326 | Release Notes | |
| readmeDES1.6.0.txt | 866 Bytes | 2008-07-28 10:38:55 GMT | 8 | Release Notes | |
| DES1.6.0Windows.zip | 1.1 MB | 2008-07-28 10:38:28 GMT | 376 | Release Notes | |
| DES1.6.0SWI.zip | 650.8 KB | 2008-07-28 10:38:15 GMT | 223 | Release Notes | |
| DES1.6.0SunOS5.4.tar.gz | 1.2 MB | 2008-07-28 10:38:10 GMT | 153 | Release Notes | |
| DES1.6.0SWI.tar.gz | 641.0 KB | 2008-07-28 10:38:02 GMT | 172 | Release Notes | |
| DES1.6.0Sicstus.zip | 651.1 KB | 2008-07-28 10:37:51 GMT | 126 | Release Notes | |
| DES1.6.0Sicstus.tar.gz | 641.4 KB | 2008-07-28 10:37:49 GMT | 138 | Release Notes | |
| DES1.6.0GNU.zip | 650.8 KB | 2008-07-28 10:37:39 GMT | 143 | Release Notes | |
| DES1.6.0GNU.tar.gz | 641.0 KB | 2008-07-28 10:37:37 GMT | 148 | Release Notes | |
| DES1.6.0Ciao.zip | 639.9 KB | 2008-07-28 10:37:27 GMT | 169 | Release Notes | |
| DES1.6.0Ciao.tar.gz | 630.2 KB | 2008-07-28 10:37:26 GMT | 143 | Release Notes | |
| des1.5.0 | 9.6 MB | 2007-12-30 19:25:32 GMT | 2,171 | Subscribe Folder view | |
| releasenotesDES1.5.0 | 3.0 KB | 2007-12-30 19:25:32 GMT | 11 | ||
| releasenotesDES1.5.0.txt | 3.0 KB | 2007-12-30 19:25:31 GMT | 27 | ||
| readmeDES1.5.0 | 839 Bytes | 2007-12-30 19:25:30 GMT | 27 | ||
| readmeDES1.5.0.txt | 870 Bytes | 2007-12-30 19:25:29 GMT | 32 | ||
| DES1.5.0Linux.tgz | 2.8 MB | 2007-12-30 19:25:28 GMT | 123 | ||
| DES1.5.0SunOS5.4.tar.gz | 1.1 MB | 2007-12-30 19:25:18 GMT | 69 | ||
| DES1.5.0SWI.tar.gz | 540.5 KB | 2007-12-30 19:25:08 GMT | 86 | ||
| DES1.5.0Sicstus.tar.gz | 540.7 KB | 2007-12-30 19:25:03 GMT | 130 | ||
| DES1.5.0GNU.tar.gz | 540.5 KB | 2007-12-30 19:24:59 GMT | 93 | ||
| DES1.5.0Ciao.tar.gz | 540.5 KB | 2007-12-30 19:24:55 GMT | 78 | ||
| manualDES1.5.0.pdf | 389.4 KB | 2007-12-30 19:24:51 GMT | 469 | ||
| DES1.5.0Windows.zip | 964.1 KB | 2007-12-30 19:24:47 GMT | 525 | ||
| DES1.5.0SWI.zip | 548.1 KB | 2007-12-30 19:24:41 GMT | 152 | ||
| DES1.5.0Sicstus.zip | 548.5 KB | 2007-12-30 19:24:37 GMT | 109 | ||
| DES1.5.0GNU.zip | 548.2 KB | 2007-12-30 19:24:13 GMT | 127 | ||
| DES1.5.0Ciao.zip | 548.7 KB | 2007-12-30 19:23:27 GMT | 113 | ||
| des1.4.0 | 8.1 MB | 2007-09-02 15:26:36 GMT | 1,862 | Subscribe Folder view | |
| releasenotesDES1.4.0.txt | 4.0 KB | 2007-09-02 15:26:36 GMT | 11 | Release Notes | |
| releasenotesDES1.4.0 | 3.9 KB | 2007-09-02 15:26:36 GMT | 19 | Release Notes | |
| readmeDES1.4.0.txt | 874 Bytes | 2007-09-02 15:26:34 GMT | 24 | Release Notes | |
| readmeDES1.4.0 | 843 Bytes | 2007-09-02 15:26:34 GMT | 32 | Release Notes | |
| DES1.4.0Linux.tar.gz | 2.0 MB | 2007-09-02 15:26:33 GMT | 113 | Release Notes | |
| DES1.4.0SunOS5.4.tar.gz | 1.1 MB | 2007-09-02 15:26:26 GMT | 72 | Release Notes | |
| DES1.4.0SWI.tar.gz | 464.6 KB | 2007-09-02 15:26:21 GMT | 87 | Release Notes | |
| DES1.4.0Sicstus.tar.gz | 464.9 KB | 2007-09-02 15:26:17 GMT | 80 | Release Notes | |
| DES1.4.0GNU.tar.gz | 464.6 KB | 2007-09-02 15:26:13 GMT | 81 | Release Notes | |
| DES1.4.0Ciao.tar.gz | 464.8 KB | 2007-09-02 15:26:10 GMT | 66 | Release Notes | |
| manualDES1.4.0.pdf | 356.4 KB | 2007-09-02 15:26:06 GMT | 608 | Release Notes | |
| DES1.4.0Windows.zip | 887.8 KB | 2007-09-02 15:26:03 GMT | 305 | Release Notes | |
| DES1.4.0SWI.zip | 471.7 KB | 2007-09-02 15:25:58 GMT | 131 | Release Notes | |
| DES1.4.0Sicstus.zip | 472.2 KB | 2007-09-02 15:25:54 GMT | 92 | Release Notes | |
| DES1.4.0GNU.zip | 471.8 KB | 2007-09-02 15:25:51 GMT | 76 | Release Notes | |
| DES1.4.0Ciao.zip | 472.3 KB | 2007-09-02 15:25:44 GMT | 65 | Release Notes | |
| des1.3.0 | 9.3 MB | 2007-05-08 17:05:57 GMT | 1,601 | Subscribe Folder view | |
| DES1.3.0Ciao.tar.gz | 556.0 KB | 2007-05-08 17:05:57 GMT | 82 | Release Notes | |
| DES1.3.0Ciao.zip | 559.5 KB | 2007-05-08 17:05:33 GMT | 71 | Release Notes | |
| DES1.3.0SWI.tar.gz | 545.9 KB | 2007-05-07 09:13:29 GMT | 90 | Release Notes | |
| DES1.3.0GNU.tar.gz | 545.9 KB | 2007-05-07 09:13:22 GMT | 72 | Release Notes | |
| DES1.3.0SWI.zip | 548.8 KB | 2007-05-07 09:12:58 GMT | 123 | Release Notes | |
| DES1.3.0GNU.zip | 548.8 KB | 2007-05-07 09:12:50 GMT | 60 | Release Notes | |
| releasenotesDES1.3.0 | 1.2 KB | 2007-05-02 17:48:09 GMT | 16 | Release Notes | |
| releasenotesDES1.3.0.txt | 1.2 KB | 2007-05-02 17:48:08 GMT | 20 | Release Notes | |
| readmeDES1.3.0 | 837 Bytes | 2007-05-02 17:48:07 GMT | 13 | Release Notes | |
| DES1.3.0Linux.tar.gz | 2.1 MB | 2007-05-02 17:48:06 GMT | 107 | Release Notes | |
| DES1.3.0SunOS5.4.tar.gz | 1.1 MB | 2007-05-02 17:48:00 GMT | 66 | Release Notes | |
| DES1.3.0Sicstus.tar.gz | 546.2 KB | 2007-05-02 17:47:51 GMT | 73 | Release Notes | |
| manualDES1.3.0.pdf | 673.5 KB | 2007-05-02 17:47:40 GMT | 453 | Release Notes | |
| DES1.3.0Windows.zip | 964.9 KB | 2007-05-02 17:47:35 GMT | 304 | Release Notes | |
| DES1.3.0Sicstus.zip | 549.3 KB | 2007-05-02 17:47:27 GMT | 51 | Release Notes | |
| des1.2.0 | 8.5 MB | 2007-02-09 13:19:23 GMT | 1,834 | Subscribe Folder view | |
| DES1.2.0Linux.tar.gz | 2.0 MB | 2007-02-09 13:19:23 GMT | 104 | Release Notes | |
| DES1.2.0GNU.tar.gz | 478.4 KB | 2007-02-09 13:18:27 GMT | 81 | Release Notes | |
| releasenotesDES1.2.0.txt | 1.7 KB | 2007-02-09 11:58:54 GMT | 8 | Release Notes | |
| DES1.2.0SunOS5.4.tar.gz | 1.1 MB | 2007-02-09 11:58:52 GMT | 85 | Release Notes | |
| DES1.2.0SWI.tar.gz | 478.4 KB | 2007-02-09 11:58:46 GMT | 87 | Release Notes | |
| DES1.2.0Sicstus.tar.gz | 478.6 KB | 2007-02-09 11:58:40 GMT | 104 | Release Notes | |
| DES1.2.0Ciao.tar.gz | 478.8 KB | 2007-02-09 11:58:32 GMT | 84 | Release Notes | |
| manualDES1.2.0.pdf | 640.8 KB | 2007-02-09 11:58:05 GMT | 453 | Release Notes | |
| DES1.2.0Windows.zip | 897.1 KB | 2007-02-09 11:57:53 GMT | 280 | Release Notes | |
| DES1.2.0SWI.zip | 481.2 KB | 2007-02-09 11:57:32 GMT | 131 | Release Notes | |
| DES1.2.0Sicstus.zip | 481.5 KB | 2007-02-09 11:57:29 GMT | 233 | Release Notes | |
| DES1.2.0GNU.zip | 481.3 KB | 2007-02-09 11:57:25 GMT | 100 | Release Notes | |
| DES1.2.0Ciao.zip | 482.0 KB | 2007-02-09 11:57:21 GMT | 84 | Release Notes | |
| des1.1.2 | 5.7 MB | 2006-12-20 16:58:03 GMT | 1,039 | Subscribe Folder view | |
| DES1.1.2SunOS5.4.tar.gz | 1.0 MB | 2006-12-20 16:58:03 GMT | 62 | Release Notes | |
| DES1.1.2SWI.tar.gz | 409.9 KB | 2006-12-20 16:57:52 GMT | 76 | Release Notes | |
| DES1.1.2Sicstus.tar.gz | 409.8 KB | 2006-12-20 16:57:40 GMT | 61 | Release Notes | |
| DES1.1.2GNU.tar.gz | 409.7 KB | 2006-12-20 16:57:32 GMT | 72 | Release Notes | |
| DES1.1.2Ciao.tar.gz | 410.2 KB | 2006-12-20 16:57:25 GMT | 82 | Release Notes | |
| manual1.1.2.pdf | 560.9 KB | 2006-12-20 16:57:01 GMT | 263 | Release Notes | |
| DES1.1.2Windows.zip | 829.6 KB | 2006-12-20 16:56:44 GMT | 157 | Release Notes | |
| DES1.1.2SWI.zip | 414.0 KB | 2006-12-20 16:56:33 GMT | 60 | Release Notes | |
| DES1.1.2Sicstus.zip | 414.0 KB | 2006-12-20 16:56:20 GMT | 87 | Release Notes | |
| DES1.1.2GNU.zip | 413.9 KB | 2006-12-20 16:56:03 GMT | 54 | Release Notes | |
| DES1.1.2Ciao.zip | 414.6 KB | 2006-12-20 16:55:47 GMT | 65 | Release Notes | |
| des1.1.1 | 8.2 MB | 2005-02-21 18:30:30 GMT | 4,506 | Subscribe Folder view | |
| releasenotes | 226 Bytes | 2005-02-21 18:30:30 GMT | 7 | Release Notes | |
| releasenotes.txt | 232 Bytes | 2005-02-21 18:30:27 GMT | 15 | Release Notes | |
| readme | 839 Bytes | 2005-02-21 18:30:12 GMT | 11 | Release Notes | |
| readme.txt | 870 Bytes | 2005-02-21 18:30:09 GMT | 27 | Release Notes | |
| DES1.1.1SWI.tar.gz | 417.3 KB | 2005-02-21 18:06:22 GMT | 139 | Release Notes | |
| DES1.1.1SunOS5.4.tar.gz | 999.1 KB | 2005-02-21 18:04:34 GMT | 96 | Release Notes | |
| DES1.1.1Sicstus.tar.gz | 417.2 KB | 2005-02-21 18:01:55 GMT | 127 | Release Notes | |
| DES1.1.1GNU.tar.gz | 417.2 KB | 2005-02-21 17:59:45 GMT | 118 | Release Notes | |
| DES1.1.1Ciao.tar.gz | 415.8 KB | 2005-02-21 17:59:12 GMT | 116 | Release Notes | |
| DES1.1.1Linux.tar.gz | 2.0 MB | 2005-02-21 17:28:03 GMT | 274 | Release Notes | |
| DES1.1Sicstus.tar.gz | 398.8 KB | 2005-02-21 16:15:03 GMT | 78 | Release Notes | |
| manual1.1.1.pdf | 559.0 KB | 2005-02-21 16:14:46 GMT | 810 | Release Notes | |
| DES1.1.1Windows.zip | 855.5 KB | 2005-02-21 16:14:31 GMT | 1,437 | Release Notes | |
| DES1.1.1SWI.zip | 440.0 KB | 2005-02-21 16:14:17 GMT | 431 | Release Notes | |
| DES1.1.1Sicstus.zip | 439.9 KB | 2005-02-21 16:13:52 GMT | 454 | Release Notes | |
| DES1.1.1GNU.zip | 439.8 KB | 2005-02-21 16:13:42 GMT | 195 | Release Notes | |
| DES1.1.1Ciao.zip | 433.3 KB | 2005-02-21 16:13:23 GMT | 171 | Release Notes | |
| des1.1 | 3.5 MB | 2004-06-10 08:38:05 GMT | 1,944 | Subscribe Folder view | |
| DES1.1GNU.tar.gz | 398.8 KB | 2004-06-10 08:38:05 GMT | 124 | Release Notes | |
| DES1.1Ciao.tar.gz | 399.0 KB | 2004-06-10 08:37:54 GMT | 119 | Release Notes | |
| DES1.1SunOS5.4.tar.gz | 990.4 KB | 2004-06-10 08:37:47 GMT | 220 | Release Notes | |
| DES1.1SWI.tar.gz | 398.9 KB | 2004-06-10 08:37:31 GMT | 97 | Release Notes | |
| manual1.1.pdf | 201.5 KB | 2004-06-10 08:37:23 GMT | 437 | Release Notes | |
| DES1.1Sicstus.zip | 143.8 KB | 2004-06-10 08:37:17 GMT | 191 | Release Notes | |
| DES1.1Windows.zip | 559.4 KB | 2004-06-10 08:37:12 GMT | 392 | Release Notes | |
| DES1.1Ciao.zip | 144.2 KB | 2004-06-10 08:37:05 GMT | 82 | Release Notes | |
| DES1.1SWI.zip | 143.9 KB | 2004-06-10 08:36:55 GMT | 184 | Release Notes | |
| DES1.1GNU.zip | 143.8 KB | 2004-06-10 08:36:51 GMT | 98 | Release Notes | |
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
