February, 10th, 2012

Added mailing list.

January, 9th, 2012

Reworked web site.

January, 3rd, 2012

DES 2.7 released with Extended Relational Algebra processor, switchable multi-line input, and SQL extensions.

October, 26th, 2011

DES 2.6 released with SQL hypothetical queries, top-n SQL and Datalog queries, new commands and syntax error enhancing.

September, 14th, 2011

Releases for MS Windows 64bit built with SWI-Prolog 5.10.5, and Mac OS X Snow Leopard built with SWI-Prolog 5.10.4 are also available.

September, 13th, 2011

DES 2.5 released with a textual API (TAPI) for communication with external programs, a bundle of new commands and SQL statements, type inferencing for SQL queries, and new ports.

July, 7th, 2011

DES 2.4 released with safety and computability revisited for metapredicates, enhanced syntax error reporting, and a new GUI version: ACIDE 0.8.

May, 24th, 2011

DES 2.3 released with a SQL declarative debugger, Datalog distinct operator and SQL distinct clause for projection list and aggregates.

March, 25th, 2011

Stand-alone executables for MacOSX Snow Leopard (built with SWI-Prolog) and Linux (built under Ubuntu 10.04.1 with SICStus Prolog) uploaded. Added instructions on how to build binaries with SICStus Prolog, and updated instructions for SWI-Prolog.

March, 24th, 2011

DES 2.2 released with enhanced type system, connections to ODBC datasources and new ports to SICStus Prolog 4.2.0 and Ciao Prolog 1.13.0.

November, 30th, 2010

DES 2.1 released with strong integrity constraints and enabled access from SQL statements to Datalog relations via type constraints.

October, 7th, 2010

DES 2.0.1 SICStus source version patched Datalog queries against ODBC connections (no advertisements were made for this release as it was a minor one).

September, 22nd, 2010

DES 2.0.1 executable for Mac OS X Leopard (32bit, Intelx86).

(Easy) Instructions on how to build your own executable.

ODBC connections successfully tested on Ubuntu 10.04.1.

Updated list of Publications.

September, 13th, 2010

DES 2.0.1 patches to SWI source distributions in order to support SWI-Prolog 5.10.1 (no advertisements were made for this DES release as it was a minor one).

August, 31st, 2010

DES 2.0 released, allowing access to relational DBMS via ODBC and including Datalog and SQL query tracers.

March, 17th, 2010

DES 1.8.1 released, fixing errors in the binary distributions.

December, 21st, 2009

“Applying Constraint Logic Programming to SQL Test Case Generation”, Accepted for publication in the 10th International Symposium on Functional and Logic Programming (FLOPS 2010).

December, 18th, 2009

DES 1.8.0 released with a more mature test case generator

October, 30th, 2009

DES 1.7.0 released with Datalog and SQL aggregates, types, constraints and test case generation

March, 10th, 2009

DES 1.6.2 released with null values, Datalog outer join operators and SQL outer join clauses

November, 10th, 2008

DES 1.6.1 released with arithmetic expressions and subqueries in SQL comparisons

July, 28th, 2008

DES 1.6.0 released with SQL integrated

December, 30th, 2007

DES 1.5.0 released with new features and Linux executable fixed

September, 2nd, 2007

DES 1.4.0 released and equipped with arithmetic

August, 20th, 2007

ACIDE 0.6 released

June, 4th, 2007

ACIDE 0.5 released

May, 18th, 2007

ACIDE 0.4 released

ACIDE 0.4 tested with DES 1.3.0. No changes are now required on DES

April, 25th, 2007

ACIDE 0.3 released

April, 16th, 2007

ACIDE 0.2 released

April, 9th, 2007

ACIDE 0.1 released

May, 2nd, 2007

DES 1.3.0 released and equipped with a declarative debugger

March, 16th, 2007

ACIDE 0.0 released, a configurable integrated development environment tested for DES

February, 22th, 2007

Emacs Development Environment released, which provides an integration of DES into Emacs

February, 9th, 2007

DES 1.2.0 released with many improvements

December, 20th, 2006

DES 1.1.2 released, fixing some bugs

February, 21st, 2005

DES 1.1.1 released, containing a Linux executable version

March, 4th, 2004

DES 1.1 released and published by sourceforge.net

December, 2003

DES 1.0 launched