DES version 3.12 (released on December, 17th, 2015)

DES version 3.11 (released on August, 5th, 2015)

DES version 3.10 (released on January, 21st, 2015)

DES version 3.9 (released on November, 26th, 2014)

DES version 3.8 (released on July, 30th, 2014)

DES version 3.7 (released on April, 28th, 2014)

DES version 3.6 (released on March, 12th, 2014)

DES version 3.5 (released on February, 3rd, 2014)

DES version 3.4 (released on December, 18th, 2013)

DES version 3.3.2 (released on October, 22nd, 2013)

DES version 3.3.1 (released on July, 28th, 2013)

DES version 3.3 (released on July, 12th, 2013)

DES version 3.2 (released on February, 2nd, 2013)

DES version 3.1 (released on December, 20th, 2012)

DES version 3.0 (released on May, 2012)

Underlying Alternative Prolog Systems:

 Ciao Prolog

 GNU Prolog

 SICStus Prolog

 SWI-Prolog

DES 3.1 Beta 1.0 Release (released on November, 11th, 2012):

Windows with ACIDE GUI

Windows Console and Application