CINXE.COM

<!DOCTYPE HTML> <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html;charset=utf-8"> <meta NAME="keywords" CONTENT="prolog,free prolog,logic programming,sicstus,compiler,constraint,finite domain,iso,optimization,scheduling,planning,resource allocation,WAM,artificial intelligence,expert system,.NET,ODBC,Tcl/Tk,Java,BDB"> <meta NAME="description" CONTENT="SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system"> <title>SICStus Prolog Homepage</title> <LINK href="style.css" rel="stylesheet" type="text/css"> <LINK REL="SHORTCUT ICON" HREF="images/favicon.ico"> </head> <body> <div class="header"> <table class="table_860"> <tr> <td> <img alt="SICStus Prolog Homepage" SRC="images/logo_v4.jpg"> </td> <td class="align_right"> <span class="header1"> WELCOME TO<br> </span> <span class="header2"> SICStus Prolog<br> </span> <span class="header3"> Leading Prolog Technology </span> </td> </tr> <tr class="headersep"><td colspan="2"></td></tr> <tr class="headerfoot"> <td class="align_left">  <a href="index.html">SICStus Home</a> > Performance Summary </td> <td class="align_right"> <a href="eval.html">Download for Evaluation</a> </td> </tr> <tr class="headersep"><td colspan="2"></td></tr> </table> </div> <div class="menu"> <ul class="menu"> <li class="menuhead1"> About SICStus Prolog</li> <li><a href="index.html">Start Page</a></li> <li><a href="highlights.html">Feature Highlights</a></li> <li><a href="performance.html">Performance</a></li> <li><a href="portability.html">Platforms</a></li> <li><a href="spider/index.html">The Spider IDE</a></li> <li><a href="documentation.html">Documentation</a></li> <li><a href="comingfeatures.html">Coming Features</a></li> <li><a href="dontpanic.html">Don't Panic!</a></li> <li class="menuhead"> Sales and Support</li> <li><a href="customers.html">Customers</a></li> <li><a href="eval.html">Evaluate Product</a></li> <li><a href="order4.html">Pricing/Order Info</a></li> <li><a href="download4.html">Download SICStus</a></li> <li><a href="support.html">Support</a></li> <li class="menuhead"> Add-Ons & Third Party</li> <li><a href="rex.html">Extended Runtime</a></li> <li><a href="thirdparty.html">Other</a></li> <li class="menuhead"> More Information</li> <li><a href="contactinfo.html">Contact Information</a></li> <li><a href="community.html">Community</a></li> <li><a href="links.html">Links</a></li> </ul> </div> <table class="table_690"><tr><td> <table class="image table_align_right table_cellpadding_zero"> <tr><td class="align_center"><img src="images/timing.JPG" alt="Performance data for SICStus Prolog"></td></tr> <tr><td class="align_center"><p class="caption">Performance data for SICStus Prolog</p></td></tr> </table> <script data-jsd-embedded data-key="6397f52a-778e-42bb-97de-92bb4cebf178" data-base-url="https://embedded-jsd.atlassian.io" src="https://embedded-jsd.atlassian.io/assets/embed.js"></script> <h1>Performance Summary</h1> <p> The SICStus Prolog compiler produces portable, optimized virtual machine code. </p> <h2>Prolog Benchmarks</h2> <p> 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 <a href="/sicstus/bench.zip">here</a>. 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 <code>nreverse</code> benchmark, executing 497 inferences, indicates a rate of <span class="highlight">303 MLIPS</span>. </p> <table class="table_border_1_cellpadding_4_cellspacing_0"> <thead class="align_right"> <tr> <td>Benchmark</td> <td>Iterations</td> <td>seconds<br>no JIT</td> <td>seconds<br>JIT</td> </tr> </thead> <tbody class="align_right"> <tr> <td>boyer</td> <td>1000</td> <td>9.678</td> <td>4.607</td> </tr> <tr> <td>browse</td> <td>1000</td> <td>12.070</td> <td>10.649</td> </tr> <tr> <td>chat_parser</td> <td>10000</td> <td>31.998</td> <td>9.614</td> </tr> <tr> <td>crypt</td> <td>100000</td> <td>5.256</td> <td>3.687</td> </tr> <tr> <td>deriv</td> <td>10000000</td> <td>18.693</td> <td>7.394</td> </tr> <tr> <td>dynamic_unit_clause</td> <td>100000</td> <td>8.182</td> <td>7.141</td> </tr> <tr> <td>fast_mu</td> <td>1000000</td> <td>16.265</td> <td>7.375</td> </tr> <tr> <td>flatten</td> <td>1000000</td> <td>7.996</td> <td>4.431</td> </tr> <tr> <td>itak</td> <td>1000</td> <td>30.129</td> <td>26.497</td> </tr> <tr> <td>meta_qsort</td> <td>100000</td> <td>7.531</td> <td>3.007</td> </tr> <tr> <td>mu</td> <td>1000000</td> <td>12.429</td> <td>5.693</td> </tr> <tr> <td>nreverse</td> <td>10000000</td> <td>38.528</td> <td>16.348</td> </tr> <tr> <td>nreverse_builtin</td> <td>10000000</td> <td>17.166</td> <td>7.996</td> </tr> <tr> <td>poly</td> <td>10000</td> <td>6.684</td> <td>2.708</td> </tr> <tr> <td>primes</td> <td>1000000</td> <td>17.945</td> <td>9.825</td> </tr> <tr> <td>prover</td> <td>1000000</td> <td>15.658</td> <td>5.833</td> </tr> <tr> <td>qsort</td> <td>1000000</td> <td>8.891</td> <td>3.671</td> </tr> <tr> <td>queens</td> <td>100000</td> <td>1.843</td> <td>0.883</td> </tr> <tr> <td>query</td> <td>1000000</td> <td>7.075</td> <td>5.400</td> </tr> <tr> <td>reducer</td> <td>10000</td> <td>5.679</td> <td>2.325</td> </tr> <tr> <td>sendmore</td> <td>10000</td> <td>11.397</td> <td>7.902</td> </tr> <tr> <td>simple_analyzer</td> <td>50000</td> <td>13.352</td> <td>5.824</td> </tr> <tr> <td>tak</td> <td>10000</td> <td>15.227</td> <td>5.844</td> </tr> <tr> <td>unify</td> <td>500000</td> <td>17.395</td> <td>6.088</td> </tr> <tr> <td>zebra</td> <td>10000</td> <td>6.285</td> <td>4.319</td> </tr> </tbody> </table> <h2>Some CLPFD Benchmarks</h2> 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: <pre class="example"> | ?- <kbd>load_files(library('clpfd/examples/bench')).</kbd> | ?- <kbd>bench(default).</kbd> </pre> </td></tr></table> <div class="footer"> <table style="width: 600px; border-collapse: collapse; border: 0;"> <tr> <td colspan="3"> <br><br><br><br> <hr> </td> </tr> <tr> <td class="align_left"> Copyright © 2001-2024 <a href="https://www.ri.se/">RISE Research Institutes of Sweden AB,<br>Swedish org no: 556464-6874</a>, All Rights Reserved.<br>DUNS: 357295187<br> </td> <td class="align_center"> </td> <td class="align_right"> For more information on SICStus Prolog,<br> please email <a href="mailto:sicstus-request@ri.se">SICStus Request</a>. </td> </tr> </table> </div> </body> </html>