CINXE.COM

SICStus Prolog Homepage

<!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">&nbsp; <a href="index.html">SICStus Home</a> > Download for Evaluation </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">&nbsp;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">&nbsp;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">&nbsp;Add-Ons &amp; Third Party</li> <li><a href="rex.html">Extended Runtime</a></li> <li><a href="thirdparty.html">Other</a></li> <li class="menuhead">&nbsp;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/download.JPG" alt="Get an evaluation license!"></td></tr> <tr><td class="align_center"><p class="caption">Get an evaluation license!</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> <script> <!-- var confirmFunction = null; function showConfirm(callback) { var cbox = document.getElementById('evallicensebox'); var cboxbg = document.getElementById('confirmboxbg'); var y=0; if (document.body.scrollHeight > document.body.offsetHeight) { // all but Explorer Mac y = document.body.scrollHeight; } else { // Explorer Mac; //would also work in Explorer 6 Strict, Mozilla and Safari y = document.body.offsetHeight; } if (y > 0) { cboxbg.style.height = y + "px"; } else { cboxbg.style.height = "100%"; } cboxbg.style.display='block'; if (self.pageYOffset) { // all except Explorer y = self.pageYOffset; } else if (document.documentElement && document.documentElement.scrollTop) { // Explorer 6 Strict y = document.documentElement.scrollTop; } else if (document.body) { // all other Explorers y = document.body.scrollTop; } else { y = 0; } y += 46; cbox.style.top = y + "px"; cbox.style.display='block'; confirmFunction = callback; } function closeConfirm(result) { document.getElementById('evallicensebox').style.display='none'; document.getElementById('confirmboxbg').style.display='none'; if (confirmFunction != null) { confirmFunction(result); } } function myCallB(result) { if(result) { document.forms[1].ACCEPT.value = "TRUE"; } else { document.forms[1].ACCEPT.value = "FALSE"; } } //--> </script> <div id="confirmboxbg"></div> <div id="evallicensebox"> <!-- BODY CUT HERE BEGIN --> <div style="text-align: center;"> <h1>SICSTUS PROLOG<br>EVALUATION SOFTWARE LICENSE AGREEMENT</h1> </div> <p> By ordering the Software (as defined below) this Software License Agreement (the <i>Agreement</i>) will be a binding Agreement between you&mdash;as the End User&mdash;(the <i>End User</i>) and RISE AB, Swedish org no: 556464-6874, PO Box 1263, SE-164 29 Kista, Sweden (<i>RISE</i>). </p> <h2>1 Definitions</h2> <p> 1.1 <i>Software</i> means the software products, SICStus Prolog, version 4, except facilities for Runtime Systems, delivered as binary code and Documentation delivered by RISE to the End User. </p> <p> 1.2 <i>Documentation</i> means all documentation in machine readable form of the accompanying manuals (<i>User&apos;s Manual</i> and <i>Release Notes</i>) that is provided with the Software. </p> <h2 id="GRANT">2 Grant of License</h2> <p> 2.1 Subject to the terms and conditions of this Agreement, RISE hereby grants the End User, and the End User accepts, a non-exclusive, non-transferable, license to use the Software for one single user as follows: </p> <ul> <li> <p> To use the Software only for the purpose of research and education, but not including producing commercial versions of the Software itself or to use the Software as a basis for or in design of a commercial software or hardware nor shall it be employed by the End User for any commercial purposes whatsoever. </p> </li> <li> <p> To use the Software on one single computer provided the Software is in use only on one computer at any time. The Software is in use on one computer when it is loaded into the temporary memory (i.e. RAM) or installed into the permanent memory (e.g. hard disk, CD ROM, or other storage device) of that computer, except that the Software installed on a network server for the sole purpose of distribution to other computers is not in use. </p> </li> <li> <p> The End User agrees not to cause or permit the reverse engineering, disassembly, or decompilation of the Software. </p> </li> </ul> <h2>3 Ownership</h2> <p> By virtue of this Agreement the End User acquires only the rights in <A HREF="#GRANT">Section 2</A> Grant of License. All right, title and interest in the Software remains with RISE. However, the Software consists of modules for which there are and shall remain other exclusive owners. Such other owners are specified in <A HREF="#EXHA">Exhibit A</A>. </p> <h2>4 Warranty</h2> <p> The Software is licensed <strong>as is</strong>. </p> <p> <strong>Other than as stated in this Section 4, there is no representation or warranty, express or implied, as to any matter whatsoever, including without limitation, the condition of the software, its merchantability or fitness for a particular purpose.</strong> </p> <h2>5 Maintenance</h2> <p> No Maintenance is included. </p> <h2>6 Indemnification</h2> <p> To the best of RISE&apos;s knowledge the Software or the use thereof does not infringe any third party&apos;s rights. RISE shall have no responsibility whatsoever for any claims of infringements of patents, trademarks, industrial designs, copyrights or other property rights affecting the End User&apos;s use of the Software. </p> <p> <strong>The foregoing states the entire liability and obligation of RISE with respect to infringement or claims of infringement of any patent, copyright, trade secret, or any other proprietary right.</strong> </p> <h2>7 Non-Disclosure</h2> <p> The End User undertakes (i) to keep in confidence all such information concerning the Software received under this Agreement, (ii) to use such information exclusively for the purpose stated in <A HREF="#GRANT">Section 2</A>, and (iii) to prevent the disclosure of such information. </p> <h2>8 Limitation of Liability</h2> <p> <strong> RISE shall not be liable to the End User for any loss or damage whatsoever or howsoever caused arising directly or indirectly in connection with this agreement, the software, its use or otherwise. </strong> </p> <p> <strong> Notwithstanding the generality of the above, RISE expressly excludes liability for consequential loss or damage which may arise in respect of the software, its use, the system or in respect of other equipment or property, or for loss of profit, business revenue, goodwill or anticipated savings. </strong> </p> <p> <strong> Regardless of whether any remedy fails of its essential purpose, in no event will RISE be liable for incidental, indirect, special or consequential damages, notwithstanding being aware of the possibility of such damages. </strong> </p> <h2>11 Entire Agreement</h2> <p> This Agreement, including <A HREF="#EXHA">Exhibit A</A> and <A HREF="#EXHC">Exhibit C</A>, sets forth the entire agreement and understanding of the parties relating to the subject matter herein. </p> <h2>12 Governing Law</h2> <p> This Agreement shall be governed by and construed in accordance with the substantive laws of Sweden. </p> <hr> <h1 id="EXHA">EXHIBIT A</h1> <p> List of software modules owned by third parties distributed by RISE with the SICStus Prolog Software. </p> <dl> <dt>CHR <dd>&copy; Katholieke Universiteit, Leuven. The full copyright notice is in the file <code>library(&apos;chr.pl&apos;)</code>. </dd> <dt>clp(Q,R) <dd>&copy; Austrian Research Institute for Artificial Intelligence. </dd> <dt>clp(R) examples <dd>&copy; Monash University. </dd> <dt>console.c <dd>&copy; Jan Wielemaker. </dd> <dt>PiLLoW <dd>&copy; Technical University of Madrid. </dd> <dt>prolog.el <dd>&copy; Free Software Foundation. </dd> <dt>MD5 Message-Digest Algorithm <dd>&copy; RSA Data Security, Inc. </dd> <dt>qsort.ic <dd>&copy; Regents of the University of California. The full copyright notice is in the file <code>library(&apos;clpfd/qsort.ic&apos;)</code>. </dd> <dt>strtod.c <dd>&copy; AT&amp;T. The full copyright notice is in the file <code>library(&apos;strtod.h&apos;)</code>. </dd> <dt>library(xml) <dd>in the public domain. </dd> <dt>library(plunit) <dd>&copy; University of Amsterdam. </dd> <dt>library(&apos;zinc/globals.mzn&apos;), library(&apos;zinc/examples&apos;) <dd>in the public domain. </dd> <dt><A TARGET="_blank" HREF="https://zlib.net/">zlib</a> compression library <dd>in the public domain </dd> <dt><A TARGET="_blank" HREF="https://www.openldap.org/">OpenLDAP</a> database <dd>&copy; The OpenLDAP Foundation. The full copyright notice is in the file <code>library(&apos;lmdb/openldap/LICENSE&apos;)</code>. </dd> </dl> <hr> <h1 id="EXHC">EXHIBIT C</h1> <h2>Contact Points at RISE</h2> <h3>Orders, Invoices, Legal</h3> <pre> Email: <a href="mailto:sicstus-request@ri.se">sicstus-request@ri.se</a> </pre> <h2>Contact Points at The End User</h2> <p> (please use block letters) </p> <h3>End User</h3> <pre> Title/Name: ___________________________________________ Email: ________________________________________________ Fax: ________________________________________________ Phone: ________________________________________________ Address: ______________________________________________ VAT number (where applicable): ________________________ Your Purchase Order Number:____________________________ </pre> <h2>Platform Details</h2> <pre> Hardware model: _______________________________________ Operating system: _____________________________________ </pre> <hr> <!-- BODY CUT HERE END --> <form class="center" action="javascript:void(0);" method="post"> <input type="submit" value="Accept" onclick="closeConfirm(true)"> <input type="submit" value="Reject" onclick="closeConfirm(false)"> </form> </div> <h1>SICStus Prolog 4<br>Evaluation License Request</h1> <table class="table_border_0"> <TR> <TD class="valign_middle"> <p> Please complete all applicable fields. Registration and download information including a time-limited 30 days key for the latest release will be sent to you by email. The message will be sent by <code>sicstus-request@ri.se</code>. If you have a SPAM filter, please make sure that the message is accepted by the filter. We cannot investigate lost messages. </p> <p> If your platform is not listed, please contact <a href="mailto:sicstus-request@ri.se">SICStus Request</a>. </p> <p> All items are mandatory. </p> <form METHOD="POST" ACTION="scripts/evlicense.pl"> <INPUT TYPE="HIDDEN" NAME="ACCEPT" VALUE="FALSE"> <table class="table_border_0"> <TR> <TD class="align_right"> Title/Name:</TD> <TD><INPUT TYPE="TEXT" NAME="NAME" SIZE="40"></TD> </TR> <TR> <TD class="align_right"> Email:</TD> <TD><INPUT TYPE="TEXT" NAME="EMAIL" SIZE="40"></TD> </TR> <TR> <TD class="align_right"> Platform:</TD> <TD> <SELECT onChange="showConfirm(myCallB)" size="1" name="PLATFORM"> <OPTION selected value="none">[Choose one]</OPTION> <OPTION value="win32">Windows</OPTION> <OPTION value="linux">Linux</OPTION> <OPTION value="darwin">macOS</OPTION> </SELECT> </TD> </TR> </TABLE> <br> <INPUT TYPE="SUBMIT" VALUE="SEND REQUEST"> <INPUT TYPE="RESET"> </form> </TD> </TR> </TABLE> </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 &copy; 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>

Pages: 1 2 3 4 5 6 7 8 9 10