Download

Datalog Educational System version 6.7 (released on September, 4th, 2021):

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):
GUI
Requires Java JRE 1.8
Windows with GUI (recommended for Windows 10 64bit)
Built with SICStus Prolog
Windows with GUI (recommended for Windows 10 32bit)
Built with SICStus Prolog
Console
Windows OSs (64bit, Windows 10)
Windows and console applications built with SICStus 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 SWI-Prolog
Windows OSs (32bit, Windows 10)
Windows and console applications built with SWI-Prolog
GUI
Requires Java JRE 1.8
Ubuntu with GUI (64bit, Ubuntu, Intelx86)
Built with SICStus Prolog
Ubuntu with GUI (32bit, Ubuntu, Intelx86)
Built with SICStus Prolog
Console

Linux OSs (64bit, Ubuntu, Intelx86)
Console application built with SICStus Prolog on Ubuntu 16.04 LTS
Linux OSs (32bit, Ubuntu, Intelx86)
Console application built with SICStus Prolog on Ubuntu 16.04 LTS
GUI
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.
Console

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.6.x (zipped). Most likely, it will work with higher versions, but probably not with series 8

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