DES 1.6.0 Released

[Apologies for multiple receptions]

Hello.
This is a mail just for informing that the new release

Datalog Educational System version 1.6.0
http://des.sourceforge.net

has been launched on 28th, July, 2008 and ported to

Ciao Prolog 1.10p5
GNU Prolog 1.3.0
Sicstus Prolog 3.12.2
SWI Prolog 5.6.55

Release notes are attached to the end of this message.
Please, see http://des.sourceforge.net for details.

Best regards.

================================================== ============
Fernando Sáenz Pérez
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. Ingeniería del Software e Inteligencia Artificial /
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informática
C/Profesor José García Santesmases, s/n
E - 28040 Madrid. Spain
================================================== ============



Version 1.6.0 of DES adds to previous version (1.5.0):

Enhancements:
o SQL query language added to the system: DDL (Data Definition
Language), DML (Data Manipulation Language), and DQL (Data Query
Language)
o Common database for different query languages. Relations
defined via SQL or via Datalog can be interchangeably accessed by
queries in any language
o Pretty-print listings for Datalog programs and SQL statements
o Processing of batch files via the new command /process File
o Display of 'File not found' errors
o Lexicographically ordered listings
o New commands:
§ /datalog Switches to Datalog interpreter
§ /datalog Query Executes a Datalog query
§ /prolog Switches to Prolog interpreter
§ /sql Switches to SQL interpreter
§ /sql Query Executes a SQL query
§ /dbschema Displays the database schema
§ /pretty_print Switch Enables/Disables pretty print
§ /pretty_print Switch Enables/Disables pretty print
§ /process File Processes the contents of File as if they
were typed at the system prompt
Changes:
o Changed some output formatting for the debugger
o Some tweaks on system messages, mainly referring to safety/
computability
o Initial status: Program transformation and time display are
disabled by default
o System status is listed at start-up
o Listings of Datalog rules are ordered
Fixed bugs:
o The debugger in Sicstus-based releases yielded incorrect
results
o Asserting/Consulting some unsafe clauses without program
transformation yielded failure, raising an input error /failing to
consult