Download Latest Version
DES5.0.1ACIDE0.17WindowsSWI.zip (17.3 MB)
Get an email when there's a new version of Datalog Educational System
--------------------------------
| 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 ./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.htm
- http://des.sourceforge.net
Version 3.4 of DES (released on December, 18th, 2013)
* Enhancements:
o New version of ACIDE 0.12, including as upgrades:
- New PDG panel, displayed either when a /pdg command is
issued or on demand in the View menu. Display properties
of this panel have been added to the application menu
- Relocatable panels. A panel can be dragged to another
panel position, interchanging both panels' locations
o RA extended projection includes also the possibility of
renamings
o Added listing of offending rules for set variables
unsafety
o Added mode information for set variables unsafety
o Creation of incorrect views no longer displays the
generic error message
o Some incorrect SQL statements due to aggregates are
catched
o Constraints are checked along updates
o Datalog division operator can be nested
* Changes:
o Submitting an order_by related query overrides current
/order_answer flag. There is no need to submit
/order_answer off to make sorted listings work
o Duplicate elimination (duplicates disabled and distinct
operator) considers different nulls as the same null,
therefore behaving more closely to SQL
o Variable order in compiled rules
* Fixed bugs:
o The division operation was incorrect in RA and SQL
o Aggregates included extra tuples along nested
hypothetical assumptions
o Removed undeclared predicate warning for true/0 when
occurring as a condition
o The predicate group_by was functioning incorrectly in
some cases, depending on previous tabled results
o Undefined predicate warning removed for false/0
o SQL NOT EXISTS clause was incorrectly translated by
adding a top-1 goal
o Computing the order_by predicate was omitted for
/order_answer on. So, a query as top(1,order_by(t(X),[X]))
might deliver an incorrect answer
o In multiline mode, when processing a file containing a
tab and an SQL line remark (--), then the next line was
considered as a part of the remark
o Built-ins were tried to be made persistent for
persistent rules including them
o Retracting an IDB rule for a persistent predicate did
not refresh the database schema
o Assuming IDB rules in an hypothetical implication lead
to exceptions in some cases
o The combination of top and distinct metapredicates
produced extra tuples
o Translation of the Datalog division operator lead to
remove head variables not involved in the operation
o Anonymous variables in consulted rules were given names
