Software:SICStus Prolog
| Original author(s) | Mats Carlsson |
|---|---|
| Developer(s) | RISE SICS |
| Initial release | 1986 |
| Stable release | 4.9.0
/ December 18, 2023 |
| Written in | C, Prolog |
| Operating system | Cross-platform |
| Type | Logic programming |
| License | Proprietary |
| Website | sicstus |
SICStus Prolog is a proprietary, ISO-conforming implementation of the logic programming language Prolog. It is developed by the Swedish Institute of Computer Science since 1985 and puts a strong focus on performance and scalability.
History
Around 1985, the Swedish Institute of Computer Science (SICS) was founded and Mats Carlsson joined SICS to develop a Prolog engine that would be a platform for research in or-parallelisation of Prolog. This work was performed in the context of the informal Gigalips project, involving David H.D. Warren at SRI International and researchers from Manchester and Argonne National Laboratory, as well as and-parallel efforts. This resulted in quite mature or-parallel Prologs, such as Aurora and MUSE. The objective of these Prologs was to achieve effective speedups through or-parallel execution transparently for the programmer while supporting full Prolog. This led to SICS distributing SICStus Prolog, which quickly became popular in the academic environment.[1]
A preliminary specification of SICStus existed in 1986, drawing inspiration from DEC-10 Prolog as well as from Quintus. In addition to the open-source nature, powerful reasons for its popularity were the compatibility with the DEC-10 and Quintus Prolog de-facto standards, very good performance, and compact generated code. Execution profiling and native code compilation were also added later. At the end of the 80s, the Swedish Funding Agency and several companies funded the industrialization of SICStus, which eventually became a commercial product.
By 1995, SICStus was considered a de-facto reference the performance of Prolog implementations.[2]
In 1998, SICS acquired Quintus Prolog and a number of its features made their way into newer SICStus Prolog versions. It also supports several constraint domains, including a powerful finite domain solver. The SICStus codebase is still actively maintained by SICS.[1]
Features
SICStus is an ISO-conforming Prolog implementation based on the Warren Abstract Machine, which has a strong focus on performance and stability.[1] It also provides support for web-based applications. SICStus supports several constraint domains, incorporating an externally developed implementation of the constraint logic programming library CLP(R) based on attributed variables,[3] for constraint solving over real and rational numbers, and a high-performance native implementation of CLP(FD) for constraint solving over integers.[4] It features many essentials for constraint solvers, such as coroutines, attributed variables, and unbounded integers. The block coroutining declaration is particularly efficient. It also incorporates many of the characteristics, features, and library modules of Quintus Prolog. Since release 4.3, SICStus also contains a JIT (just-in-time) compiler to native code, but currently has no multithreading or tabling support.[1]
SICStus includes a modified version of the plunit unit testing library originally developed for SWI-Prolog and a custom integrated development environment named SPIDER.[1]
Influence
SICStus is used in many commercial applications, and has also served as the basis for other logic programming systems.[1] As part of the Gigalips project, SICStus was the basis for the original development of the and-parallel Prolog implementation &-Prolog, which later developed into the Ciao system.[1] The reference implementation of the logic programming language Gödel, that first appeared around 1992, was built on top of SICStus Prolog, employing a different syntax style.[1]
References
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan et al. (2022). "Fifty Years of Prolog and Beyond" (in en). Theory and Practice of Logic Programming 22 (6): 776–858. doi:10.1017/S1471068422000102. ISSN 1471-0684. https://www.cambridge.org/core/product/identifier/S1471068422000102/type/journal_article.
- ↑ Codognet, Philippe; Diaz, Daniel (1995-06-16), "wamcc: Compiling Prolog to C", Logic Programming (The MIT Press): pp. 317–332, ISBN 978-0-262-29143-9, http://dx.doi.org/10.7551/mitpress/4298.003.0037, retrieved 2023-12-18
- ↑ Holzbaur, Christian (1995). "OEFAI clp(q,r) Manual Revision 1.3.2,". ÖFAI Technical Reports Online (95-09). https://web.archive.org/web/20010520132506/http://www.ai.univie.ac.at/cgi-bin/tr-online?number+95-09.
- ↑ Geleßus, David; Leuschel, Michael (2022). "Making ProB Compatible with SWI-Prolog" (in en). Theory and Practice of Logic Programming 22 (5): 755–769. doi:10.1017/S1471068422000230. ISSN 1471-0684. https://www.cambridge.org/core/product/identifier/S1471068422000230/type/journal_article.
Further reading
- Carlsson, Mats; Mildner, Per (2012). "SICStus Prolog—The first 25 years" (in en). Theory and Practice of Logic Programming 12 (1-2): 35–66. doi:10.1017/S1471068411000482. ISSN 1475-3081. https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/sicstus-prologthe-first-25-years/B3064E91946AA95B5ED3FD3768726325.
As of 16 Dec 2023, this article is derived in whole or in part from Fifty Years of Prolog and Beyond. The copyright holder has licensed the content in a manner that permits reuse under CC BY-SA 3.0 and GFDL. All relevant terms must be followed.
 |  |
