Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

SICStus Prolog

Known as: SICStus 
SICStus is an ISO conforming Prolog system.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
This paper presents a newcumulatives constraint, which generalizes the original cumulative constraint in different ways. The two… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2001
2001
Wanting to improve execution speed and reduce code size of SICStus Prolog programs, we embarked on a project whose aim was to… Expand
Is this relevant?
1998
1998
The development of intelligent software agents and other complex applications which continuously interact with their environments… Expand
  • figure 1
  • figure 3
  • table 1
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We introduce Mercury, a new purely declarative logic programming language designed to provide the support that groups of… Expand
Is this relevant?
1996
1996
Mercury is a new purely declarative logic programming language. The Mercury determin-ism system allows programmers to specify… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We describe in this paper the compilation scheme of the GNU Prolog system. This system is built on our previous experience of… Expand
Is this relevant?
1994
1994
SICStus Prolog is a sequential Prolog implementation built around a version of the Warren Abstract Machine (WAM). For several… Expand
  • figure 1
  • table 1
  • table 3
  • table 4
  • table 6
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This manual describes a Prolog system developed at the Swedish Institute of Computer Science. Parts of the system were developed… Expand
Is this relevant?
1991
1991
  • Geoo Sutcliie
  • 1991
  • Corpus ID: 9926867
This paper presents an embedding of the Linda parallel programming paradigm into Prolog, resulting in a coarsely grained parallel… Expand
Is this relevant?
1991
1991
The SICStus Prolog External Database implements an efficient way of storing possibly non-ground Prolog terms on disk with… Expand
Is this relevant?