Datalog Educational System Files

   --------------------------------
  | DES INSTALLATION (quick guide) |
   --------------------------------

================================================
Windows Binary Distribution with ACIDE GUI
================================================
- Double-click on des_acide.jar for starting the 
  ACIDE GUI. Requires Java JDK 1.8

================================================
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 files des and des_start,
  typically with:
    chmod +x ./bin/des
    chmod +x ./bin/des_start
  or from the file explorer.
- Check unixodbc is installed
- Start ACIDE from a terminal with:
  java -jar des_acide.jar  
  Requires Java JDK 1.8

================================================
Linux/MacOSX Binary Distribution
================================================
- Add execute permission to files des and des_start,
  typically with:
    chmod +x ./bin/des
    chmod +x ./bin/des_start
  or from the file explorer.
- Check unixodbc is installed
- 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://des.sourceforge.net/html/download.html
- http://des.sourceforge.net


Version Devel of DES (released on October, 20th, 2021)
 
"	Enhancements:
o	Intermediate files from a Datalog debugging session are removed
o	Setting fuzzy mode disables non-Datalog languages. As well, setting 
a non-Datalog language in fuzzy mode selects (crisp-)Datalog
o	Commands /ls and /dir accepts a filename as argument. Also, extended
help provided for these commands
o	Text help added for the command /debug_dl_set_node
o	New commands:
"	/debug_dl_solutions Display Datalog debugging solutions for the 
current question. TAPI enabled
"	/nodebug Disable debugging in the host Prolog interpreter. Only 
working for source distributions 
"	/unset Var Unset the user variable Var so it becomes no longer 
defined up to a new setting 
"	/unset_flag FlagName Unset the system flag with name FlagName so it 
becomes no longer defined up to a new setting 
"	Changes:
o	
"	Fixed bugs:
o	The file des_pchr.pl was not located were expected and the debugging
session could not proceed
o	Some functions incorrectly propagated semantic bindings, leading to 
false positives for inconsistent conditions
o	The command /current_flag failed when applied to a user flag