Skip to search formSkip to main contentSkip to account menu

SICStus Prolog

Known as: SICStus 
SICStus is an ISO conforming Prolog system.
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Comparison of Prolog implementationsConstraint Handling RulesECLiPSe Constraint Logic Programming SystemLogic programming

Broader (1)

Constraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Sicstus PROLOG User's Manual 4.3
SICStus Prolog is the de-facto standard industrial Prolog programming environment. With more than 25 years in fielded… 
2011
2011
Dynamic constraint satisfaction problems over models
In early phases of designing complex systems, models are not sufficiently detailed to serve as an input for automated synthesis… 
2002
2002
Access to Multimedia Information through Multisource and Multilanguage Information Extraction
We describe our work on information extraction from multiple sources for the Multimedia Indexing and Searching Environment, a… 
2001
2001
Finite domain constraints in SICStus prolog
The solver provides three ways of defining propagators: (a) in Prolog, via a public API; (b) in C, using an internal API; and (c… 
1994
1994
Native Code Compilation in SICStus Prolog
SICStus Prolog is a sequential Prolog implementation built around a version of the Warren Abstract Machine (WAM). For several… 
1993
1993
SICStus Prolog user's manual, version 2.1 #8
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programming language developed at the… 
1993
1993
Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog
  • G. Sutcliffe
  • ICLP Workshop on Blackboard-Based Logic…
  • 1993
  • Corpus ID: 18437345
This paper presents an embedding of the Linda parallel programming paradigm into Prolog, resulting in a coarsely grained parallel… 
Highly Cited
1993
Highly Cited
1993
PHI - A Logic-Based Tool for Intelligent Help Systems
We introduce a logic-based system which improves the performance of intelligent help systems by supplying them with plan… 
1991
1991
Boolean constraints in SICStus Prolog
This report documents the implementation of a Boolean constraint solver and its integration with a Prolog engine. The solver… 
1989
1989
PROLOG programming
The course for which these notes are designed is intended for undergraduate students who have some programming experience and may… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)