********************************* * 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