DES version 4.2 (released on Septembre, 25th, 2016)

DES version 4.1 (released on April, 19th, 2016)

DES version 4.0 (released on February, 29th, 2016)

Underlying Alternative Prolog Systems:

 SICStus Prolog

 SWI-Prolog