Datalog Educational System version 6.3 (released on October, 14th, 2019):

	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):

Requires Java JRE 1.8 Windows with GUI (recommended for Windows 10 32bit) Built with SICStus Prolog Windows with GUI (recommended for Windows 10 64bit) Built with SICStus Prolog Windows with GUI (32bit, Windows 10) Built with SWI-Prolog Windows with GUI (64bit, Windows 10) Built with SWI-Prolog Windows OSs (32bit, Windows 10) Windows and console applications built with SICStus Prolog Windows OSs (64bit, Windows 10) Windows and console applications built with SICStus Prolog Windows OSs (32bit, Windows 10) Windows and console applications built with SWI-Prolog Windows OSs (64bit, Windows 10) Windows and console applications built with SWI-Prolog Requires Java JRE 1.8 Ubuntu with GUI (32bit, Ubuntu, Intelx86) Built with SICStus Prolog Ubuntu with GUI (64bit, Ubuntu, Intelx86) Built with SICStus Prolog     Linux OSs (32bit, Ubuntu, Intelx86) Console application built with SICStus Prolog on Ubuntu 16.04 LTS Linux OSs (64bit, Ubuntu, Intelx86) Console application built with SICStus Prolog on Ubuntu 16.04 LTS   Requires Java JRE 1.8 MacOSX with GUI (64bit, MacOS High Sierra, Intelx86) Built with SICStus Prolog   Homebrew formula This makes it possible to install DES (and its dependencies) from the command line with brew install des.   Mac OS X (64bit, Mac OS High Sierra, Intelx86) Console application built with SICStus Prolog

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 Java JRE1.8, SICStus Prolog 4.4.x (zipped) and the sicstus binary in the path

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

Underlying Alternative Prolog Systems:

 SICStus Prolog

 SWI-Prolog

Download Previous Versions