| Newsgroups |
gmane.comp.ai.prolog.swi |
| Message-ID |
<[email protected]> |
[Apologies for multiple receptions]
Hello.
This is a mail just for informing that the new release
Datalog Educational System version 3.5
http://des.sourceforge.net
has been launched on February, 3rd, 2014, and tested for
SWI-Prolog 6.6.1
The main novelty of the current release is the ACIDE bundle,
which includes a new version 0.13 featuring some
enhancements and fixes in the Data View panel, PDG panel,
file editors, and panel arrangement. With respect to DES
itself, SQL constraints can be added and dropped with the
now-supported ALTER TABLE statement. Following SWI-Prolog
approach, Datalog rules are checked for both syntactic and
semantic singletons. Batch processing can now be nested and
a configuration file for silent setup is introduced. New
commands to control warnings and banner display are
provided. Some changes related to display and help have been
made. Some issues related to ODBC have been fixed, as
allowing DES to process SQL statements with local
definitions (CTE, common table expressions) when the current
database is external.
A complete list of enhancements, changes and fixed bugs is
attached to the end of this message.
Please, see http://des.sourceforge.net for details.
Best regards.
=============================================================
Fernando Saenz Perez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingenieria del Software e Inteligencia Artificial /
Department of Software Engineering and Artificial
Intelligence
Universidad Complutense de Madrid
Facultad de Informatica
C/Profesor Jose Garcia Santesmases, s/n
E - 28040 Madrid. Spain
=============================================================
Version 3.5 of DES (released on February, 3rd, 2014)
* Enhancements:
o New version ACIDE 0.13, including upgradings and fixings
to:
- File Editors
- Data View panel
- PDG panel
- Relocatable panels
o Added ALTER TABLE SQL statement for adding and dropping
table constraints
o Singleton variable warning added for both syntactic and
semantic singletons
o Better compilation of aggregate goals, avoiding
unnecessary columns
o A configuration file des.cnf can be added with inputs to
be silently and batch processed
o Batch processing can be nested
o Input history enabled for SWI distros, allowing to
recover input from former sessions
o Added options 'no' and 'prolog' to the command /prompt
o New commands:
- /display_banner Display whether the system banner is
displayed at startup
- /display_banner Switch Enable or disable the display
of the banner at startup (on or off, resp.)
- /safety_warnings Display whether safety warnings are
enabled
- /safety_warnings Switch Enable or disable safety
warnings (on or off, resp.)
- /singleton_warnings Display whether singleton warnings
are enabled
- /singleton_warnings Switch Enable or disable singleton
warnings (on or off, resp.)
- /undef_pred_warnings Display whether undefined
predicate warnings are enabled
- /undef_pred_warnings Switch Enable or disable
undefined predicate warnings (on or off, resp.)
* Changes:
o Info messages for unsafe, set, and unrestricted
variables span only one line
o Singleton variables appearing along compilations are
named as anonymous
o Changed 'Undeclared' by 'Undefined' for undefined
predicate warnings in queries
o Slight changes is several info, warning and error
messages
o Rearranged help on commands, adding new categories
o Relaxed the requirement for parentheses surrounding the
parameter of the SQL CHECK clause
* Fixed bugs:
o A group by operation was not terminating when providing
fresh nulls as in outer joins
o Some anonymous variables were incorrectly removed upon
some compilations
o Variable names lost in the translation of full joins
(for compiled rules as seen in development mode)
o Not all undefined predicates were warned in queries
o Some basic compound goals in aggregates were not
translated
o Added (extra) input modes for rules with set variables
in head
o Missing blank trailing line after some syntax errors
with compact listings disabled
o Some state flags were not restored upon exceptions
o Forcing DES to compute SQL statements for an opened ODBC
database failed for assumptions and local view definitions
o Changed compilation message for RA statements that
referred to SQL instead of RA
o RA statements could not be issued from opened ODBC
connections for defining new relations
o Fixed documentation on command /statistics