SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home > Performance Summary Download for Evaluation
Performance data for SICStus Prolog

Performance data for SICStus Prolog

Performance Summary

The SICStus Prolog compiler produces portable, optimized virtual machine code.

Prolog Benchmarks

The table below shows performance for selected benchmarks from the Aquarius benchmark suite, plus a few additions from other sources. The benchmark sources can be found here. The benchmark environment was SICStus Prolog 4.3.0, Ubuntu Linux 10.04 (glibc2.15), on a quad core 2.8 GHz Intel Core i7-860. In terms of LIPS performance (Logical Inferences Per Second), the nreverse benchmark, executing 497 inferences, indicates a rate of 134 MLIPS.

Benchmark Iterations seconds
no JIT
seconds
JIT
boyer 1000 14.8 10.7
browse 1000 34.5 37.7
chat_parser 1000 5.9 2.7
crypt 100000 8.0 5.6
deriv 1000000 3.2 2.2
dynamic_unit_clause 100000 8.6 9.2
fast_mu 100000 2.9 2.2
flatten 1000000 14.4 8.6
itak 1000 33.6 35.9
meta_qsort 50000 7.1 4.4
mu 100000 2.3 1.8
nreverse_builtin 1000000 2.4 2.1
nreverse 1000000 7.9 3.7
poly 10000 11.1 7.2
primes 100000 2.7 2.5
prover 100000 2.9 1.7
qsort 1000000 15.6 10.9
queens 100000 2.7 2.0
query 1000000 11.9 10.5
reducer 5000 5.1 3.1
sendmore 5000 8.5 7.0
simple_analyzer 5000 2.4 1.2
tak 10000 20.8 15.2
unify 200000 12.1 6.4
zebra 5000 5.3 5.7

Some CLPFD Benchmarks

We do not maintain benchmark figures for the finite domain constraint solver, but the distribution comes with a number of demonstration programs and a benchmark harness for these. To run the harness and view the performance figures, type the following:
| ?- load_files(library('clpfd/examples/bench')).
| ?- bench.

Valid HTML 4.01 Transitional