Datalog Educational System version 4.0 (released on February, 29th, 2016):

	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 (32bit, Windows XP and later). Built with SICStus Prolog Windows with GUI (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, tested with Ubuntu). Built with SICStus Prolog   IMPORTANT: Add executable permission to file des Linux OSs (32bit, glibc2.7 and Intelx86 platforms). Console application built with SICStus Prolog on Ubuntu 10.04.1.   IMPORTANT: Add executable permission to file des MacOSX with GUI (64bit, MacOS Mavericks, Intelx86). Built with SICStus Prolog. Requires iODBC (built with version 3.52.10). MacOSX with GUI (64bit, MacOS Snow Leopard, 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, MacOS Mavericks, Intelx86). Console application built with SICStus Prolog. Requires iODBC (built with version 3.52.10). Mac OS X (64bit, MacOS Snow Leopard, Intelx86). Console application built with SWI-Prolog. Requires SWI-Prolog 6.2.6

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.3.x (zipped)

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

 ACIDE bundle with DES sources for Windows. Requires SICStus Prolog 4.3.x (zipped)

  ACIDE bundle with DES sources for Windows. Requires SWI-Prolog 7.x (zipped)

 ACIDE bundle with DES sources for Linux / OS X. Requires SICStus Prolog 4.3.x.
Add executable permission to file des (zipped)

 ACIDE bundle with DES sources for Linux / OS X. Requires SWI-Prolog 7.x.
Add executable permission to file des (zipped)

Underlying Alternative Prolog Systems:

 SICStus Prolog

 SWI-Prolog

Download Previous Versions