The following versions of Prolog and other systems have been used.
|SWI-Prolog (Multi-threaded, Version 5.6.49); http://www.swi-prolog.org/|
|SICStus 3.12.8 (i386-darwin-8.9.1); http://www.sics.se/isl/sicstuswww/site/index.html|
|SICStus 4.0.4 (i386-darwin-8.11.1); http://www.sics.se/isl/sicstuswww/site/index.html|
|BinProlog, #11.20; http://www.binnetcorp.com/BinProlog/|
refers to a straightforward metainterpreter
for abductive logic programming;
see reference  below; executed under SICStus 4.0.1 (i386-darwin-8.9.1)
|Asystem, Version Asystem 2.1 release: 20 november 2004; executed under SICStus 3.12.8 (i386-darwin-8.9.1); see reference  below.|
|CIFF, v4.0: 28/08/2006. See reference  below.|
|Smodels version 2.28; see reference  below.|
|Test program||Hyp. SWI.0.2||Hyp. SWI.0.2, non-opt.||Hyp. SP3.0.2||Hyp. SP3.0.2, non-opt.||Hyp. SP4.0.2||Hyp. SP4.0.2, non-opt.||BinProlog||SICStus4 metainterp||Asystem||CIFF||Smodels|
BinProlog contains a built-in version of assumptions, which is about 10 times as fast the fastest version of HYPROLOG. In previous publications, we mentioned an estimate of the slow-down factor of 3-5 based on tests performed on different hardware which was, thus, misleading.
Asystem and CIFF are systems for abductive logic programming based in metainterpretation. Asystem was developed under an earlier version of SICStus Prolog, which is the reason why programs build15 and graph5 could not be tested. Both Asystem and CIFF integrate the SICStus' clpfd solver, which is employed in the tests for the program graph5, whereas the tests in HYPROLOG use clpq.
Smodels is an answer set programming system, which as such is capable of executing abductive logic programs; however, its model construction strategy involves the unfolding of all possible ground instances of clauses in the program, which makes it prohibitively slow for any abductive problem of a certain size.
The reason which the metainterpreter the metainterpreter is faster that HYPROLOG for the build15 problem is discussed in reference  below; we expect that future improvements of CHR's use of indexing will change this.