Prolog Performance

Benchmarks

Results of Prolog benchmarks (see Sicstus Prolog web site). Times in seconds.

BenchmarkIterations ECLiPSe 6.1#229
Ubuntu Linux 16.04
Intel Core i3-3240 3.40GHz
ECLiPSe 7.0#36
Ubuntu Linux 16.04
Intel Core i3-3240 3.40GHz
boyer1000 11.412.3
browse1000 18.315.6
chat_parser1000 5.75.1
crypt100000 7.96.5
deriv1000000 3.12.6
dynamic_unit_clause100000 104.5106.3
fast_mu100000 3.22.6
flatten1000000 15.214.8
itak1000 17.019.4
meta_qsort50000 6.25.4
mu100000 2.52.2
nreverse_builtin1000000 6.85.0
nreverse1000000 6.85.0
poly10000 11.610.6
primes100000 2.22.1
prover100000 3.43.1
qsort1000000 13.912.4
queens100000 2.82.7
query1000000 13.110.8
reducer5000 5.24.6
sendmore5000 9.08.8
simple_analyzer5000 2.42.3
tak10000 29.027.2
unify200000 10.810.5
zebra5000 5.84.8