| 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.3.2
http://des.sourceforge.net
has been launched on October, 22nd, 2013, and ported to
SWI-Prolog 6.4.1
The current release adds several enhancements, changes and
fixes several bugs. For the former, the preliminary
inclusion of modes for unsafe predicates has been upgraded.
Aggregates have been revisted, extending its use with
expressions as arguments and providing a more efficient
implementation. Informational messages have been extended
with offending constraints, view name alternatives and
dangling relations. The SQL statement for dropping views has
been extended with an exists clause. Some changes have been
also made, as automatically dropping dependent persistent
assertions. Also, assumptions in hypothetical rules are
considered unique for subsequent contexts.
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.3.2 of DES (released on October, 22nd, 2013)
* Enhancements:
o Rule-level modes, allowing to update modes on rule
retracting
o Adding, removal and updating a mode assertion are
reported in verbose mode
o Simplified and more efficient computation of aggregate
predicates
o Arguments of aggregate functions and predicates can be
arithmetic expressions, as in sum(t(X,Y),X*Y,S)
o SQL aggregate arguments can also be arithmetic
expressions, as in SELECT SUM(a*b) FROM t
o Added warnings on dangling relations when dropping
tables and views
o Display of the offending constraints due to syntax
errors when consulting files
o Clause IF EXISTS added to SQL statement DROP VIEW
o Display of view name alternatives for DROP VIEW
o New command:
- /use_ddb Shorthand for /use_db $des
* Changes:
o Meanings of subqueries are displayed in order in the
Datalog debugger
o Dropping a persistent assertion for which further
persistent assertions have been made automatically drops
all such assertions too
o Assumptions in hypothetical rules for different contexts
are considered different when duplicates are enabled
* Fixed bugs:
o Modes were not listed for all unsafe rules
o Syntax errors when reading a file lead to an exception
o TAPI outputs were added both with a leading and a
trailing carriage return when compact listing was disabled
o Fixed length types raised an exception when persisting a
predicate
o A persistent predicate overloaded with a local
definition in a WITH SQL clause caused its external view
to be dropped
o String data types were not handled correctly for
persistent predicates, raising errors and/or exceptions
o The division operation was incorrectly translated in
some cases