Versions and downloads

In 2008, small bugs were corrected and the system ported to other platforms mentioned below. The following versions are available.

Make sure you have read conditions of use before downloading; see left menu.

Platform	HYPROLOG Version	Download files	Tested Prolog version	Status
SICStus Prolog 3	HYPROLOG SP3.0.2	hyprologSP3-0-2.zip	3.8.12	Internal and external testing Tested on included sample programs
SICStus Prolog 4	HYPROLOG SP4.0.2	hyprologSP4-0-2.zip	4.0.4	Adapted from SP3.0.2 Tested on included sample programs
SWI Prolog until version 6	HYPROLOG SWI.0.2	hyprologSWI-0-2.zip	5.6.61	Adapted from SP3.0.2 Tested on included sample programs
SWI Prolog	HYPROLOG SWI.0.3 Version 7 and later	hyprologSWI-0-3.zip	7.2.3	Adapted from SWI.0.2 Tested on included sample programs

The different HYPROLOG versions are maintained in separate sets of files. The different Prolog versions differs in

• Low-level facilities available for CHR
• Term expansion facilities that are used heavily in the implementation of HYPROLOG
• Notation for character codes (subtle differences).
• Implementation of Prolog precedence parsing (subtle differences).

HYPROLOG SWI.0.3 adapts to changes in SWI Prolog version 7 concerning the internal representation of strings. HYPROLOG SWI.0.2 will not run under SWI Prolog 6 or earlier; however, HYPROLOG SWI.0.3 will likely also run under the earlier versions of SWI Prolog.