Download of DES6.7MacOSX64SICStus.zip (DES6.7MacOSX64SICStus.zip ( external link: SF.net): 17,957,030 octetos) will begin shortly. If not so, click link on the left.
The Datalog Educational System (DES) is a deductive database with Datalog, Relational Algebra and SQL as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).
