SourceForge.net Logo
Download DES 6.4

Datalog Educational System version 6.4 (released on January, 20th, 2020):

    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

    Enlarge image

    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

    Enlarge image

    Enlarge image

    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

    Enlarge image

    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

    Enlarge image

     

    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

    Enlarge image

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

    Download Previous Versions