DES version 5.0.1 (released on May, 29th, 2017)

DES version 5.0 (released on February, 24th, 2017)

Underlying Alternative Prolog Systems:

 SICStus Prolog

 SWI-Prolog