Download of DES6.7ACIDE0.18WindowsSICStus.zip (DES6.7ACIDE0.18WindowsSICStus.zip ( external link: SF.net): 27,809,294 字节) 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).
