ProjectSICStus Prolog - Leading Prolog Technology

SICStus Prolog - Leading Prolog Technology

SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system.

SICStus is built around a high performance Prolog engine that can use the full virtual memory space for 32 and 64 bit architectures alike. SICStus is efficient and robust for large amounts of data and large applications.


Please find all the information and download at

SICStus Prolog Keeps the World Flying

SICStus Prolog is a workhorse in the transport and logistics industries, running systems that handle a third of all airline tickets, and helping railways to operate their trains better.

Transport and logistics is one of the big applications for SICStus Prolog. In other languages, you express what should be done. By contrast, a Prolog program defines a set of facts and rules, and lets the Prolog engine compute the correct answer. In the case of airline ticketing, there are rules for which airlines offer good prices to passengers from other airlines, how much time is needed for a connecting flight depending on the airport, terminal, time of day, etc. In effect, the Prolog system is used as a an engine to process rules, and the programming of the system is greatly simplified.

“Most people probably have used SICStus Prolog without knowing it,” says Mats Carlsson, its lead developer. “One of our customers runs a flight booking system on SICStus which handles nearly a third of all airline tickets in the world.”

SICStus also has an award-winning extension for constraint programming, which is used to compute a set a possible solutions to a given problem. This is often used as one of the steps in an optimization process. This has been used by Tacton Systems, itself a spin-off from SICS, to build sales configuration systems for complex products such as industrial electrical engines and forklifts. Another application for the combined use of Prolog and constraint programming is SICS’ own work in the railway sector, where it has been used to reduce the need for locomotives and to optimize track utilization.

Another application for SICStus Prolog is natural language processing. NASA used SICStus Prolog for a voice-controlled system onboard the International Space Station, ISS.

External homepage:
Number of items: 14.

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Lorca, Xavier and Pearson, Justin and Petit, Thierry and Prud'homme, Charles (2015) A Modelling Pearl with Sortedness Constraints. In: Global Conference on Artificial Intelligence, October 16-19, 2015, Tbilisi, Georgia.

Beldiceanu, Nicolas and Carlsson, Mats and Douence, Rémi and Simonis, Helmut (2015) Using finite transducers for describing and synthesising structural time-series constraints. Constraints, 21 (1). pp. 22-40. ISSN 1383-7133 (Print) 1572-9354 (Online)

Grinchtein, Olga and Carlsson, Mats and Pearson, Justin (2015) A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. In: 9th International Conference, TAP 2015, Held as Part of STAF 2015.

Grinchtein, Olga and Carlsson, Mats and Pearson, Justin (2015) Testing of a telecommunication protocol using constraint programming. In: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2015.

Letort, Arnaud and Carlsson, Mats and Beldiceanu, Nicolas (2014) Synchronized sweep algorithms for scalable scheduling constraints. Constraints, 19 (4). pp. 1-52. ISSN 1383-7133 (Print) 1572-9354 (Online)

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Rodríguez, María Andreína Francisco and Pearson, Justin (2014) Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. In: 20th International Conference, CP 2014, 8-12 September 2014, Lyon, France.

Carlsson, Mats and Pearson, Justin and Grinchtein, Olga (2014) Protocol Log Analysis with Constraint Programming. In: SMT 2014, 12th International Workshop on Satisfiability Modulo Theories, July 17-18, 2014, Vienna, Austria.

Larson, Jeffrey and Johansson, Mikael and Carlsson, Mats (2014) An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. In: CPAIOR, 19-23 May 2014, Cork, Ireland.

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Pearson, Justin (2013) On matrices, automata, and double counting in constraint programming. Constraints, 18 (1). pp. 108-140.

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Pearson, Justin (2013) On the reification of global constraints. Constraints, 18 (1). pp. 1-6.

Letort, Arnaud and Carlsson, Mats and Beldiceanu, Nicolas (2013) A Synchronized Sweep Algorithm for the k-Dimensional Cumulative Constraint. In: CPAOIR, 18-22 May 2013, Yorktown Heights, NY, USA .

Carlsson, Mats and Mildner, Per (2012) SICStus Prolog -- The first 25 years. TPLP, 12 (1-2). pp. 35-66.

Letort, Arnaud and Beldiceanu, Nicolas and Carlsson, Mats (2012) A Scalable Sweep Algorithm for the "cumulative" Constraint. In: CP.

Simonis, Helmut and Davern, Paul and Feldman, Jacob and Mehta, Deepak and Quesada, Luis and Carlsson, Mats (2010) A Generic Visualization Platform for CP. In: CP 2010.

This list was generated on Mon Jul 22 18:43:29 2019 CEST.