| 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.1
http://des.sourceforge.net
has been launched on July, 28th, 2013, and ported to
SWI-Prolog 6.4.1
The current release is mainly intended to fix a critical bug
that makes some queries to be incomplete. This bug is due to
the EDB optimization, which was enabled by default. However,
there are some enhancements, as a preliminary and automatic
inclusion of modes for unsafe predicates. These modes are
understood more from a documentation point-of-view than from
a constraint point-of-view, as mode assertions recall users
about expected properties for the queries (in addition to
the first message they got when compiling an unsafe rule).
Also, the Datalog debugger has been enhanced a bit, and it
does not require that the program to debug resides in a
file, and in addition it enjoys less memory requirements.
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.1 of DES (released on July, 28th, 2013)
* Enhancements:
o No longer need to load a file for debugging Datalog
goals
o Less memory requirements for debugging Datalog goals
o Expected modes for predicates with unsafe rules are
automatically added
o Some dead code removal
o New commands:
- /restore_default_status Restore the status of the
system to the initial status, i.e., sets all
user-configurable flags to their initial values,
including the default database and the start-up
directory
- /list_modes List the expected modes for unsafe
predicates in order to be correctly computed. Modes can
be 'i' (for an input argument) and 'o' (for an output
argument)
- /list_modes Name List expected modes, if any, for
predicates with name Name in order to be correctly
computed
- /list_modes Name/Arity List expected modes, if any,
for the given predicate Name/Arity in order to be
correctly computed
o New port to SWI-Prolog 6.4.1
* Changes:
o Fixpoint iterations displayed in statistics show the
number of iterations in solve_star (solve* [Diet87])
o Disabled EDB optimization
o Current file system path is not displayed when changing
it unless verbose mode is enabled
o Unified predicate existence message for /debug_datalog
o Added current database info to /status
* Fixed bugs:
o Incorrect message display when trying to successively
disable a multi-value flag
o Uppercase letters in the extended set of symbols were
not parsed
o Non-recursive predicate optimization was not compatible
with Datalog debugging