Download Latest Version DES5.0.1ACIDE0.17WindowsSWI.zip (17.3 MB)
Email in envelope

Get an email when there's a new version of Datalog Educational System

Home / devel / 2015-01-25
Name Modified Size InfoDownloads / Week
Parent folder
DESDevelACIDE0.16Windows32SWI.zip 2015-01-25 20.4 MB
0
DESDevelWindows64SWI.zip 2015-01-25 5.1 MB
0
DESDevelACIDE0.16Windows64SICStus.zip 2015-01-25 20.5 MB
0
DESDevelWindows64SICStus.zip 2015-01-25 6.5 MB
0
DESDevelWindows32SWI.zip 2015-01-25 5.0 MB
0
DESDevelSWI.zip 2015-01-25 2.9 MB
0
release_notes_history_DESDevel.pdf 2015-01-25 473.1 kB
0
manualDESDevel.pdf 2015-01-25 2.0 MB
0
readmeDESDevel.txt 2015-01-25 3.1 kB
0
DESDevelACIDE0.16Windows32SICStus.zip 2015-01-25 15.6 MB
0
DESDevelWindows32SICStus.zip 2015-01-25 5.8 MB
0
DESDevelSICStus.zip 2015-01-25 2.9 MB
0
Totals: 12 Items   87.1 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 January, 25th, 2015)
 
* Enhancements:
  o Datalog and SQL debugging omits questions abount nodes in subtrees
    of valid nodes
  
* Changes:
  o 
  
* Fixed bugs:
  o Removed non-relational predicates which innecesarily occurred in 
    the Prolog program when debugging a local SQL database
Source: readmeDESDevel.txt, updated 2015-01-25