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