Leading Prolog Technology
|SICStus Home > Performance Summary||Download for Evaluation|
Performance SummaryThe SICStus Prolog compiler produces portable, optimized virtual machine code.
Prolog BenchmarksThe 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.
Some CLPFD BenchmarksWe 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.