This web is for holding topics deemed as old or irrelevant for KitWiki. If you think the topic doesn't belong here, please check that it's named properly (is a WikiWord) and descriptively, contains relevant data, and is put back to a relevant web.

sicstus


SICStus Prolog, a development system for the Prolog programming language

Description

SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system, with over 10000 downloads since release 3.9.

SICStus is built around a high performance Prolog engine with optional native code generation for Sparc processors. SICStus Prolog is efficient and robust for large amounts of data and large applications.

It supports

  • Constraint Programming Technology.
  • Web Based Applications with SICStus and Java

SICStus Prolog provides constraint programming with several constraint solvers. The constraint technology has been successfully used in commercial applications as well as in research projects. A performance comparison.

Since release 3.11.0, SICStus Prolog has integrated support for developing web based applications. The new module, PrologBeans, makes it easy to use SICStus Prolog from a Java-based application server.

Read about further features.

Version and Copyright Information

version: Sictus Prolog 3.12.5 has been installed to corpus3.csc.fi.

copyright:

Usage

[corpus.csc.fi]$ sicstus
SICStus 3.12.5 (x86-linux-glibc2.3): Sun Mar 12 09:39:40 CET 2006
Licensed to csc.fi
| ?- [user].
% consulting user...
| member(X, [X|_]).
| member(X, [_|L]) :- member(X, L).
|
% consulted user in module user, 0 msec 280 bytes
yes
| ?- member(b, [a,b,c]).
yes
| ?- member(b, [a,c,d]).
no
| ?-

Help, Manuals and Documentation

help commands:

further information:
There is a comprehensive documentation in the web.

Programming tips for Prolog programming can be found at:

Bugs

A newer version, SICStus Prolog 3.12.7, has not been installed. We need also a separate link/TIP-page for users. We are not sure if the GNU Emacs mode for SICStus has been installed.

License Text

SICSTUS PROLOG
ACADEMIC SOFTWARE LICENSE AGREEMENT

This Software License Agreement (the Agreement) is entered into on (the Effective Date)

                ________________________________

between Swedish Institute of Computer Science, PO Box 1263, SE-164 29 Kista, Sweden (SICS) and

(organization)  ________________________________

(address)       ________________________________

                ________________________________

                ________________________________

(The User).

SICS and the User wish to enter into an agreement whereby the User will use the Software under the terms and conditions set forth below.

In consideration of the mutual covenants and conditions contained herein, the parties agree as follows:

1 Definitions

1.1 Software means the software products, SICStus Prolog, version 3 delivered as binary code and the Documentation delivered by SICS to the User.

1.2 Application Programs means the User's stand-alone applications developed on the Software and packaged with the parts of the Software known as bin/sprt*.*, lib/libsprt*.*, and any files from library/, where these paths are relative to the installation directory.

1.3 Documentation means all documentation in machine readable form of the accompanying manuals (User's Manual and Release Notes) that is provided by SICS with the Software.

1.4 Anniversary Date means the last day of the month in which the Software was shipped to the User.

1.5 Maintenance means in writing consultation, bug fixes and error corrections.

1.6 Site means: a branch or campus of a public institution such as a university.

2 Grant of License

SICS grants the User and the User accepts the following license:

2.1 Subject to the terms and conditions of this Agreement, SICS hereby grants the User, a non-exclusive, non-transferable, paid-up license to use and copy the Software as follows:

    * To use the Software only for the purpose of research and education within the User's ordinary field of activities and within the Site, 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 User for any commercial purposes whatsoever.
    * To copy the Software for use in accordance with this Agreement. The User will furnish each copy with proprietary marks and symbols identical to those affixed to the Software. All copies of the Software are subject to the provisions of this Agreement.
    * To make available any number of copies of the Application Programs to third parties, pursuant to the provisions of this Agreement. 

2.2 The User will make available to SICS any improvements, corrections and modifications introduced by the User to the Software together with any and all documents and know-how related thereto. Such documents, in English, will be furnished without any charge, except delivery costs to SICS at request in each case.

2.3 The User will grant to SICS without any charge a non-exclusive right to use such User's know-how as is furnished to SICS under this Agreement and a non-exclusive license to exercise such User's copyrights and patents relating to the Software, inclusive of sub-licensing of said User's know-how, copyrights and patents in connection with SICS's licensing of the Software.

2.4 Subject to the terms and conditions of this Agreement and upon payment of the Sub-licensing Right Fee stated in Exhibit B, SICS grants the User a non-exclusive, non-transferable, time-limited right to sub-license the binary code of the Software to individual students registered with the User free-of-charge pursuant to the conditions stated in Exhibit D. The grant of right to sub-license the binary code of the Software shall remain in force as long as the User is provided Maintenance according to Section 8 of this Agreement.

3 Ownership

By virtue of this Agreement the User acquires only the rights in Section 2 Grant of License. All right, title and interest in the Software remains with SICS. However, the Software consists of modules for which there are and shall remain other exclusive owners. Such other owners are specified in Exhibit A.

4 Shipment and Payment

4.1 SICS shall provide the User one copy of the Software along with one copy of Documentation. The Software and the Documentation are delivered Ex Works SICS (INCOTERMS 1990). SICS will however, unless otherwise directed in writing by the User, pre-pay transit insurance and freight and bill the User.

4.2 Any amounts payable under this agreement are net amounts and are payable in full to SICS without any deduction for any withholding taxes. The User agrees to pay any withholding taxes due directly to the relevant taxing authority.

4.3 Payment for the Software licenses shall be the ones stated in Exhibit B and in accordance with the payment terms therein. The User shall make payment to SICS within thirty (30) days after date of invoice.

4.4 The Maintenance Fee listed in Exhibit B shall be payable yearly in advance within thirty (30) days after the first Anniversary Date and, unless Maintenance is canceled by either party, at least thirty days before each subsequent Anniversary Date.

4.5 Payment for the User's right to sub-license the Software to its students pursuant to conditions of Exhibit D shall be the one stated in Exhibit B.

5 Warranty

5.1 Provided that the User has paid for Maintenance, SICS warrants to the User for a period of three months from the first Anniversary Date that the Software will perform the functions described in the Documentation provided by SICS. If SICS finds a deviation in the Software's performance during this period, SICS will use its best efforts to replace or modify the Software so that it performs substantially in accordance with the Documentation.

Other than as stated in this Section, there is no representation or warranty, express or implied, as to any matter whatsoever, including without limitation, the condition of Software, its merchantability or fitness for a particular purpose.

5.2 If the User does not pay for Maintenance, the Software is distributed as is.

6 Indemnification

To the best of SICS's knowledge the Software or the use thereof does not infringe any third party's rights. SICS shall have no responsibility whatsoever for any claims of infringements of patents, trademarks, industrial designs, copyrights or other property rights affecting the User's use of the Software.

The foregoing states the entire liability and obligation of SICS with respect to infringement or claims of infringement of any patent, copyright, trade secret, or any other proprietary right.

7 Non-Disclosure

By virtue of this Agreement, the parties may have access to information that is confidential to one another (Confidential Information). Confidential Information shall be limited to the Software and all information clearly marked as confidential.

A party's Confidential Information shall not include information which a) is or becomes a part of the public domain through no act or omission of the other party; or b) was in the User's lawful possession prior to the disclosure and had not been obtained by the User either directly or indirectly from SICS; or c) is lawfully disclosed to the other party by a third party without restriction of disclosure; or d) is independently developed by the other party.

The parties agree, both during the term of this Agreement and for a period of five years after termination of the Agreement and of all licenses granted hereunder, to hold each other's Confidential Information in confidence. The parties agree not to make each other's Confidential Information available in any form to any third party or to use each other's Confidential Information for any other purpose than the implementation of this Agreement. Each party agrees to take all reasonable steps to ensure that Confidential Information is not disclosed or distributed by its employees, students or agents in violation of the provisions of this Agreement.

8 Maintenance

8.1 After payment of the Maintenance Fee listed in Exhibit B, the User shall be provided Maintenance according to this Section. The User shall be solely responsible for Maintenance for its own internal customers/students.

8.2 The User shall appoint one E-mail address as the principal Maintenance Contact Point for the communication of bugs and errors to SICS and for the receipt of bug and error fixes, if any.

8.3 SICS shall appoint one E-mail address as the principal Maintenance Contact Point for the receipt of bugs and errors from the User and for the communication to the User of bug and error fixes, if any.

8.4 The initial Maintenance Contact Points for SICS and the User are listed in Exhibit C.

8.5 Maintenance of the Software under this Agreement is available for not longer than 12 months after the new version becomes generally available.

8.6 SICS undertakes to make reasonable efforts to provide the User the following Maintenance services in respect to the use of the Software, as stated in the Section 8.7 through 8.11.

8.7 Error(s) verification. Any reproducible error(s) for which verification is required shall be reported in writing to SICS. The User undertakes, before an Error(s) report is sent to SICS, to ascertain that the Error(s) has not already been reported by SICS; verify that the Error(s) is reproducible; and provide to SICS, in machine readable form, all the information necessary to reproduce the Error(s). SICS undertakes to confirm receipt of the Error(s) report in writing to the User; analyze the Error(s) report and verify the existence of the Error(s); and, if the reported Error(s) seriously affects the use of the Software and can be circumvented, to create a temporary solution.

8.8 Consultation and Advice. SICS shall in writing provide answers to questions regarding installation, configuration and documentation, as well as generally advice regarding submitted reports on Error(s).

8.9 Updating of the Software. SICS shall make available to the User all updates of the Software as soon as these have been officially introduced by SICS.

8.10 Provisions of new version. SICS shall advise the User of new versions of the Software forthwith upon their being made generally available.

8.11 SICS will have no obligation to correct defects or difficulties due to the User modifying the Software, changing its system or computer environment, using the Software on equipment not recommended by SICS or installing it in a way not recommended by SICS, or other causes external to the Software. Such recommendations are found in the Release Notes which are part of the Software delivered by SICS.

8.12 The User will pay a Maintenance reinstatement fee according to Exhibit B if the User should choose not to start Maintenance directly after the delivery or if Maintenance is discontinued and the User wishes to reinstate Maintenance at a later point.

9 Termination

If either party defaults in the material performance of any provision of this Agreement, then the non-defaulting party may give written notice to the defaulting party that if the default is not cured within thirty (30) days the Agreement will be terminated. If the non-defaulting party gives such notice and the default is not cured in the non-defaulting party's reasonable opinion during the thirty day period, the Agreement will terminate immediately upon notice by the non-defaulting party.

Termination of this Agreement shall not limit either party from pursuing any other remedies available to it, including injunctive relief, nor shall such termination relieve the User's obligation to pay all fees that accrued prior to termination.

If a license granted in this Agreement is terminated, the User shall a) cease using, copying and sub-licensing the Software and Documentation, and b) certify to SICS within one month after termination that the User has destroyed or has returned the Software and Documentation including all copies thereof. This requirement applies to copies in all forms, partial and complete, and all types of media and computer memory and whether or not modified or merged into other materials.

Use of Application Programs distributed by the User to its customers and use of the Software sub-licensed by the User to its students in accordance with this Agreement shall not be affected by the termination of this Agreement.

10 Limitation of Liability

   1. SICS shall not be liable to the 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.

   2. Notwithstanding the generality of 1. above, SICS 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.

   3. Regardless of whether any remedy fails of its essential purpose, in no event will SICS be liable for incidental, indirect, special or consequential damages, notwithstanding being aware of the possibility of such damages. 

If the User is furnishing Application Programs to a third party by contract, the User shall obtain from such third party a provision affording SICS and its suppliers the protection of this Section.

11 Term

The Software shall be under license effective from the date of shipment and shall remain in force until the User discontinues the use of the Software; or the license is otherwise terminated as provided herein.

New versions of the Software are available under separate agreement and are not covered or provided by this license.

12 Jurisdiction

The rights and obligations of the parties under this Agreement shall not be governed by the U.N. Convention on Contracts for the International Sales of Goods.

13 Entire Agreement

This Agreement, including Exhibit A, Exhibit B, Exhibit C, and Exhibit D, sets forth the entire agreement and understanding of the parties relating to the subject matter herein and merges all prior agreements, discussions, and understandings between them. No modification of or amendment to the Agreement, nor any waiver of any rights under this Agreement shall be effective unless in writing signed by an officer of SICS and the User. The terms and conditions of this Agreement shall supersede the terms and conditions of the User's purchase order, if any.

14 Notices

Any notice required or permitted by this Agreement shall be in writing and shall be sent by certified mail, return receipt requested, addressed to SICS's and the User's addresses shown at the beginning of this Agreement. Notices sent will be sent Attn: Contracts Administration.

15 Force Majeure

The performance required of each party by this Agreement shall be excused by a period reasonable under the circumstances if the failure or delay thereof is caused by industrial disputes or by any other causes beyond the parties control such as acts of God, riot, wars, accident, embargo or requisition. In case of Force Majeure either party shall promptly notify the other party in writing on the intervention and on the cessation thereof and furnish the other party with all relevant information thereto.

16 Assignment

Neither party shall have the right to assign this Agreement or any rights herein without the written consent of the other party, which written consent shall not be unreasonably withheld by either party; provided, however, that a party shall not withhold consent to the other party to assign this Agreement to a successor in interest, and the User shall not withhold consent to wholly or partially delegate applicable obligations in regard to Maintenance, training or consulting.

17 Waiver

The failure by either party to enforce any provision of this Agreement or to exercise any right in respect thereto shall not be construed as constituting a waiver of its rights thereof.

18 Governing Law, Arbitration

This Agreement shall be governed by and construed in accordance with the substantive laws of Sweden.

All disputes, differences or questions between the parties to the Agreement with respect to any matter arising out of or relating to the Agreement shall be finally settled under the Rules of Conciliation and Arbitration of the International Chamber of Commerce, in Stockholm, by three (3) arbitrators appointed in accordance with the said Rules and the proceedings shall be conducted in the Swedish language.

All awards may if necessary be enforced by any court having jurisdiction in the same manner as a judgment in such court.

In witness whereof,
this Agreement has been duly signed by the parties hereto in duplicate.

(The User)                            (SICS)

Signature:___________________________ Signature:_____________________________
                                                         
Name:________________________________ Name:__________________________________

_____________________________________ Swedish Institute of Computer Science
(organization)

EXHIBIT A

List of software modules owned by third parties distributed by SICS with the SICStus Prolog Software.

CHR
     Ludwig-Maximilians-University, Munich. 
clp(Q,R)
     Austrian Research Institute for Artificial Intelligence. 
clp(R) examples
     Monash University. 
console.c
     Jan Wielemaker. 
PiLLoW
     Technical University of Madrid. 
prolog.el
     Free Software Foundation. 
MD5 Message-Digest Algorithm
     RSA Data Security, Inc. 
qsort.ic
     Regents of the University of California. The full copyright notice is in the file library/clpfd/qsort.ic. 
strtod.c
     AT&T. The full copyright notice is in the file library/strtod.h. 
library(xml)
    in the public domain. 

EXHIBIT B

Fees applicable to SICStus Prolog release 3 exclusive Value Added Tax (VAT). The fees are subject to change by SICS once a year. For customers in Sweden there will be Swedish VAT added (at present 25%).

One Time License Fee

    * Euros 1,320 

Yearly Maintenance Fee

    * free of charge for the first year after the Anniversary Date
    * Euros 440 from the second year 

The User will be deemed the registered subscriber to SICS Maintenance services for a period of one (1) year from the Anniversary Date. The subscription will be prolonged for a period of one (1) year at a time upon timely receipt of payment of the Maintenance Fee.

Maintenance Reinstatement Fee

    * Euros 880 

Sub-licensing Right Fee

    * Euros 880 

Tick one box as appropriate. Yes (___). No (___).

By payment of the Sub-licensing Right Fee, the User registered as a subscriber to SICS Maintenance services is granted a time-limited right to sub-license the binary code of the Software to individual students registered with the User free-of-charge pursuant to the conditions stated in Exhibit D. The grant of right to sub-license will be prolonged for a period of one (1) year at a time upon timely receipt of payment of the Maintenance Fee.
EXHIBIT C
Contact Points at SICS
Ordering information

Email: sicstus-request@sics.se
Fax:   +46 8 751 7230
Phone: +46 8 633 1500

Contract Administration/Invoicing

Email: sicstus-contract@sics.se
Fax:   +46 8 751 7230
Phone: +46 8 633 1500

Maintenance Contact

Email: sicstus-support@sics.se
Fax:   +46 8 751 7230
Phone: +46 8 633 1500

Contact Points at The User
(please use block letters)

Contract Administration/Invoicing

Title/Name: ___________________________________________

Email: ________________________________________________

Fax:   ________________________________________________

Phone: ________________________________________________

Address: ______________________________________________

VAT number: ___________________________________________

Your Purchase Order Number:____________________________


Maintenance Contact

Title/Name: ___________________________________________

Email: ________________________________________________

Fax:   ________________________________________________

Phone: ________________________________________________

Address: ______________________________________________

Research/Educational Contact

Title/Name: ___________________________________________

Email: ________________________________________________

Fax:   ________________________________________________

Phone: ________________________________________________

Address: ______________________________________________

EXHIBIT D (Student Sub-licensing)

This Software License Agreement (the Agreement) is a legal agreement between you the end user (the End User) and Swedish Institute of Computer Science, PO Box 1263, SE-164 29 Kista, Sweden (SICS).

1 Definitions

1.1 Software means the software product, SICStus Prolog, version 3, except facilities for generating Runtime Systems, delivered as binary code and Documentation delivered by SICS to the End User.

1.2 Documentation means all documentation in machine readable form (User's Manual and Release Notes) that is provided with the Software.

2 Grant of License

2.1 Subject to the terms and conditions of this Agreement, SICS hereby grants the End User, and the End User accepts, a non-exclusive, non-transferable, paid-up license to use Software as follows:

    * 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.
    * 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.
    * To make one (1) copy of the Software for archival or back-up purposes. All archival and back-up copies of the Software are subject to the provisions of this Agreement.
    * To make available any number of copies of the programs developed on the Software to third parties , pursuant to the provisions of this Agreement. 

2.2 The End User agrees not to cause or permit the reverse engineering, disassembly, or decompilation of the Software.

3 Ownership

By virtue of this Agreement the End User acquires only the rights in Section 2, Grant of License. All right, title and interest in the Software remains with SICS. However, the Software consists of modules for which there are and shall remain other exclusive owners. Such other owners are specified in Exhibit A.

4 Warranty

SICS represents no warranty, expressed or implied, as to any matter whatsoever, including without limitation, the condition of Software, its merchantability or fitness for a particular purpose.

The Software is distributed as is.

5 Indemnification

To the best of SICS's knowledge the Software or the use thereof does not infringe any third party's rights. SICS shall have no responsibility what so ever for any claims of infringements of patents, trademarks, industrial designs, copyrights or other property rights affecting the End User's use of the Software.

The foregoing states the entire liability and obligation of SICS with respect to infringement or claims of infringement of any patent, copyright, trade secret, or any other proprietary right.

6 Limitation of Liability

SICS 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.

Notwithstanding the generality of the above, SICS 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.

Regardless of whether any remedy fails of its essential purpose, in no event will SICS be liable for incidental, indirect, special or consequential damages, notwithstanding being aware of the possibility of such damages.

7 Governing Law

This Agreement shall be governed by and construed in accordance with the substantive laws of Sweden.

Other Information

Field of science: Linguistics

Available:
corpus

License: LicenseTypeACSCPaysTheCopy

To be copied to: https://wwwk.csc.fi/english/research/software/sicstus
To be seen at: http://www.csc.fi/english/research/software/sicstus
See also: KitWiki.SuomenKielipankki:Dev:Linguistics_Software, Old.ToolResources
The users may add their own comments to: ToolResource_sicstus_Comments

When editing, please move cursor to the form below. Do not add anything here.
Topic revision: r6 - 2008-11-21 - HennaRiikkaLaitinen
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback