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.6.0, Ubuntu Linux 18.04 on a quad core 3.60GHz Intel Core i7-4790. In terms of LIPS performance (Logical Inferences Per Second), the nreverse benchmark, executing 497 inferences, indicates a rate of 303 MLIPS.

Benchmark Iterations seconds
no JIT
seconds
JIT
boyer 1000 9.678 4.607
browse 1000 12.070 10.649
chat_parser 10000 31.998 9.614
crypt 100000 5.256 3.687
deriv 10000000 18.693 7.394
dynamic_unit_clause 100000 8.182 7.141
fast_mu 1000000 16.265 7.375
flatten 1000000 7.996 4.431
itak 1000 30.129 26.497
meta_qsort 100000 7.531 3.007
mu 1000000 12.429 5.693
nreverse 10000000 38.528 16.348
nreverse_builtin 10000000 17.166 7.996
poly 10000 6.684 2.708
primes 1000000 17.945 9.825
prover 1000000 15.658 5.833
qsort 1000000 8.891 3.671
queens 100000 1.843 0.883
query 1000000 7.075 5.400
reducer 10000 5.679 2.325
sendmore 10000 11.397 7.902
simple_analyzer 50000 13.352 5.824
tak 10000 15.227 5.844
unify 500000 17.395 6.088
zebra 10000 6.285 4.319

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(default).