*********************************
* Development Version Downloads *
*********************************
Documents
***********
readmeDESDevel.txt (Describes QUICK Installation Notes)
manualDESDevel.pdf (Comprehensive user manual, also extending installation notes)
ReleaseNotesDES.txt (Release notes of this development version)
release_notes_history_DESDevel.pdf (Release notes of old releases)
Building_executables_SICStus_Prolog.txt (For building your own binaries with SICStus Prolog)
Building_executables_SWI-Prolog.txt (For building your own binaries with SWI-Prolog)
Applications
************
Several alternatives for download are listed below, depending on the OS, Prolog system, and the need for an IDE.
* Windows binaries with IDE:
* 64 bit:
* Built with SICStus Prolog: DESDevelACIDE0.17Windows64SICStus.zip
* Built with SWI-Prolog Prolog: DESDevelACIDE0.17Windows64SWI.zip
* 32 bit:
* Built with SICStus Prolog: DESDevelACIDE0.17Windows32SICStus.zip
* Built with SWI-Prolog Prolog: DESDevelACIDE0.17Windows32SWI.zip
* Windows binaries without IDE:
* 64 bit:
* Built with SICStus Prolog: DESDevelWindows64SICStus.zip
* Built with SWI-Prolog Prolog: DESDevelWindows64SWI.zip
* 32 bit:
* Built with SICStus Prolog: DESDevelWindows32SICStus.zip
* Built with SWI-Prolog Prolog: DESDevelWindows32SWI.zip
* Sources (multiplatform) with IDE:
* Windows:
- Requiring SWI-Prolog 7.x: DESDevelACIDE0.17WindowsSWI.zip
- Requiring SICStus Prolog 4.3.x: DESDevelACIDE0.17WindowsSICStus.zip
* Linux / OS X:
- Requiring SWI-Prolog 7.x: DESDevelACIDE0.17UnixesSWI.zip
- Requiring SICStus Prolog 4.3.x: DESDevelACIDE0.17UnixesSICStus.zip
* Sources (multiplatform) without IDE:
- Requiring SWI-Prolog 7.x: DESDevelSWI.zip
- Requiring SICStus Prolog 4.3.x: DESDevelSICStus.zip
Datalog Educational System Files
Deductive Database with Datalog, SQL, RA, TRC, DRC
Brought to you by:
fsaenzperez