Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
manualDESDevel.pdf | 2015-01-05 | 2.0 MB | |
DESDevelACIDE0.16Windows32SICStus.zip | 2015-01-05 | 20.0 MB | |
DESDevelWindows32SICStus.zip | 2015-01-05 | 5.8 MB | |
DESDevelSICStus.zip | 2015-01-05 | 2.9 MB | |
ReleaseNotesDES.txt | 2015-01-05 | 3.8 kB | |
Totals: 5 Items | 30.7 MB | 0 |
Datalog Educational System Files
Deductive Database with Datalog, SQL, RA, TRC, DRC
Brought to you by:
fsaenzperez