Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
DESDevelACIDE0.17Windows64SICStus.zip | 2016-02-25 | 18.9 MB | |
DESDevelACIDE0.17Windows32SICStus.zip | 2016-02-25 | 18.5 MB | |
DESDevelWindows32SWI.zip | 2016-02-25 | 5.9 MB | |
DESDevelWindows64SICStus.zip | 2016-02-25 | 7.7 MB | |
DESDevelWindows64SWI.zip | 2016-02-25 | 8.7 MB | |
DESDevelWindows32SICStus.zip | 2016-02-25 | 7.0 MB | |
DESDevelSWI.zip | 2016-02-25 | 3.3 MB | |
DESDevelSICStus.zip | 2016-02-25 | 3.3 MB | |
Building_executables_SICStus_Prolog.txt | 2016-02-25 | 8.2 kB | |
manualDESDevel.pdf | 2016-02-25 | 2.4 MB | |
readmeDESDevel.txt | 2016-02-25 | 4.7 kB | |
release_notes_history_DESDevel.pdf | 2016-02-25 | 509.7 kB | |
ReleaseNotesDES.txt | 2016-02-25 | 1.9 kB | |
Totals: 13 Items | 76.3 MB | 0 |
-------------------------------- | DES INSTALLATION (quick guide) | -------------------------------- ================================================ Windows Binary Distribution with ACIDE GUI ================================================ - Double-click on des_acide.jar for starting the ACIDE GUI ================================================ Windows Binary Distribution ================================================ - Double-click on deswin.exe for starting the Windows application - Execute des.exe for starting the console application ================================================ Linux/MacOSX Binary Distribution with ACIDE GUI ================================================ - Add execute permission to file des, typically with: chmod +x ./bin/des or from the file explorer. - Start ACIDE from a terminal with: java -jar des_acide.jar ================================================ Linux/MacOSX Binary Distribution ================================================ - Add execute persmission to file des, typically with: chmod +x ./des or from the file explorer. - Start ./des in a terminal from its installation path ================================================ Windows Source Distributions ================================================ 1. Create a shortcut in the desktop for running the Prolog interpreter of your choice. 2. Modify the start directory in the "Properties" dialog box of the shortcut to the installation directory for DES. This allows the system to consult the needed files at startup. 3. Append the following options to the Prolog executable complete filename, depending on the Prolog interpreter you use: (a) SICStus Prolog: -l des.pl (b) SWI Prolog: -g "ensure_loaded(des)" (remove --win_app if present) Another alternative is to write a batch file similar to the script file described just in the above section. ================================================ Linux/MacOSX Source Distributions ================================================ You can write a script for starting DES according to the selected Prolog interpreter, as follows: (a) SICStus Prolog: $SICSTUS -l des.pl Provided that $SICSTUS is the variable which holds the absolute filename of the SICStus Prolog executable. (b) SWI Prolog: $SWI -g "ensure_loaded(des)" Provided that $SWI is the variable which holds the absolute filename of the SWI Prolog executable. ================================================ More Information: ================================================ - See User Manual 'Documentation' entry in http://www.fdi.ucm.es/profesor/fernan/des/html/download.html - http://des.sourceforge.net Version Devel of DES (released on February, 25th, 2016) * Enhancements: o New formal languages with syntax and safety checking:: * Domain relational calculus (DRC) * Tuple relational calculus (TRC) o New Datalog existential quantifier provided with the metapredicate exists(Vars,Goal) o Pointing to the location where an unbalanced bracket is found o Improved some SQL syntax error messages o Improved unfolding for more simplified compilations o Unsafe calls including a negated goal with unrestricted variables that can be made safe are processed by safety transformations, therefore sugaring syntax for neater formulations o Unrestricted, underscored variables are assumed to be existential variables if not occurring in the head o Left operand of is is checked to be either a variable or number o New commands: * /drc Switch to DRC interpreter * /drc Query Execute a DRC query * /trc Switch to DRC interpreter * /trc Query Execute a TRC query * Changes: o * Fixed bugs: o RA listings failed due to a non-existent predicate. o An identifier starting with not would be split into a not metapredicate and the rest of the identifier. o Listings of RA view definitions with /dbschema failed (bug introduced in version 3.11) o Added error message for schema with no column. o A view with the name and arity of a Datalog built-in could be created. o Modes were not updated when retracting rules by identifier. o Negated literals as metapredicate arguments were required to be delimited between parentheses o Operators with textual names required blanks surrounding them o Compilation of some logical expressions including and, or and not were not correct due to operator precedence and associativity