Proven in mission-critical applications worldwide
SICStus Prolog customers have proven its efficiency for large amounts of data and complex applications. From space exploration to telecommunications, SICStus powers critical systems across diverse industries.
Clarissa, a fully voice-operated procedure browser, has been developed by the NASA Intelligent Systems Division for use on the International Space Station.
On the ISS, astronauts execute thousands of complex procedures to maintain life support systems, check out space suits, and conduct science experiments. Clarissa enables astronauts to be more efficient by navigating through complex procedures using spoken commands, allowing them to give full attention to their tasks.
The system was implemented mainly using SICStus Prolog and the Nuance speech recognition toolkit. Application-specific spoken command grammars were built using the SICStus-based Regulus platform.
Read MoreEricsson Network Resource Manager (NRM) provides capabilities for configuring and managing complex multi-vendor IP backbone networks. NRM assists operators in making decisions when planning, configuring, and implementing configuration changes.
The modelling part of the NRM software—an expert tool assisting the network operator—is implemented in SICStus Prolog. The constructed network model, created by analyzing actual router configurations, is used both for graphical representation and for validating the network.
SICS developed a dispensation order generation algorithm for Pyrosequencing's sequence analysis instruments using constraint programming with SICStus.
The algorithm functions as a compiler, calculating instruction sequences based on input specifications. Applications include genetics, drug discovery, microbiology, SNP and mutation analysis, forensic identification using mtDNA, pharmacogenomics, and bacterial and viral typing.
RedPrairie Corporation, a leading provider of real-time logistics solutions, developed COPLEX—a real-time optimization engine capable of managing continuous flows of changes in orders, capacities, and constraints dynamically.
COPLEX adjusts optimal consolidation solutions in real-time to achieve significant cost savings. The kernel of the engine is written in SICStus Prolog using its finite domain constraint solver library.
Compumine's Rule Discovery System (RDS) was implemented in SICStus Prolog. RDS is a powerful tool for generating reliable, accurate, and interpretable rule-based prediction models by automatically searching databases for significant patterns and relationships.
RDS has been successfully applied to problems in pharmaceutical research, language technology, engineering, and other data-intensive areas.
See how SICStus Prolog can power your next project.
