Datalog Educational System version 6.0 (released on April, 9th, 2018):

	Documentation:
		User Manual (pdf) (Includes Release Notes)
		Quick Installation Guide (txt) Release Notes (txt)
		Release Notes History (pdf) (Only Previous versions)
	Executable Distribution (Includes documentation):

Windows with GUI (recommended for 32bit, Windows XP and later). Built with SICStus Prolog Windows with GUI (recommended for 64bit, Windows XP and later). Built with SICStus Prolog Windows with GUI (32bit, Windows XP and later). Built with SWI-Prolog Windows with GUI (64bit, Windows XP and later). Built with SWI-Prolog Windows OSs (32bit, Windows XP and later). Windows and console applications built with SICStus Prolog Windows OSs (64bit, Windows XP and later). Windows and console applications built with SICStus Prolog Windows OSs (32bit, Windows XP and later). Windows and console applications built with SWI-Prolog Windows OSs (64bit, Windows XP and later). Windows and console applications built with SWI-Prolog IMPORTANT: Add executable permission to file des Linux with GUI (32bit, glibc2.12, Intelx86 platforms). Built with SICStus Prolog on Ubuntu 16.04 LTS. Requires unixodbc. Linux with GUI (64bit, glibc2.12, Intelx86 platforms). Built with SICStus Prolog on Ubuntu 16.04 LTS. Requires unixodbc.   IMPORTANT: Add executable permission to file des Requires unixodbc. Linux OSs (32bit, glibc2.12, Intelx86 platforms). Console application built with SICStus Prolog on Ubuntu 16.04 LTS. Linux OSs (64bit, glibc2.12, Intelx86 platforms). Console application built with SICStus Prolog on Ubuntu 16.04 LTS.   IMPORTANT: Add executable permission to file des Requires unixodbc 2.3.6 (brew install unixodbc). MacOSX with GUI (64bit, MacOS High Sierra, Intelx86). Built with SICStus Prolog. MacOSX with GUI (64bit, MacOS High Sierra, Intelx86). Built with SWI-Prolog. Requires SWI-Prolog 6.2.6. Homebrew formula This makes it possible to install DES (and its dependencies) from the command line with brew install des. IMPORTANT: Add executable permission to file des Mac OS X (64bit, Mac OS High Sierra, Intelx86). Console application built with SICStus Prolog. Requires unixodbc 2.3.6 (brew install unixodbc).

Building your own executable with SICStus Prolog
(64bit, other OS’s, CPUs, ...)

Building your own executable with SWI-Prolog
(64bit, other OS’s, CPUs, ...)

Source Distribution (Includes documentation). You can execute DES with or without GUI if you have the required Prolog system installed already.

 Sources for console application. Requires SICStus Prolog 4.4.x (zipped)

 Sources for console application. Requires SWI-Prolog 7.x (zipped)

 ACIDE bundle with DES sources for Windows. Requires SICStus Prolog 4.4.x (zipped) and the sicstus binary in the path

 ACIDE bundle with DES sources for Linux / OS X (zipped). Requires SICStus Prolog 4.4.x and the sicstus binary in the path

Underlying Alternative Prolog Systems:

 SICStus Prolog

 SWI-Prolog

Download Previous Versions