Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,796,746 papers from all fields of science
Search
Sign In
Create Free Account
SICStus Prolog
Known as:
SICStus
SICStus is an ISO conforming Prolog system.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Comparison of Prolog implementations
Constraint Handling Rules
ECLiPSe Constraint Logic Programming System
Logic programming
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A General Local Search Solver for FlatZinc
Sara Ceschia
,
L. Gaspero
,
Andrea Schaerf
,
Tommaso Urli
2015
Corpus ID: 16939072
MiniZinc [5, 7] is a high-level declarative modeling language that has become quite popular in the lastfew years. One of the main…
Expand
2013
2013
Generation of Implied Constraints for Automaton-Induced Decompositions
María Andreína Francisco Rodríguez
,
P. Flener
,
J. Pearson
IEEE International Conference on Tools with…
2013
Corpus ID: 7332740
Automata, possibly with counters, allow many constraints to be expressed in a simple and high-level way. An automaton induces a…
Expand
Review
1999
Review
1999
Grail: an Interactive Parser for Categorial Grammars
R. Moot
1999
Corpus ID: 16162910
Since early work by Lambek [Lambek 58], linguists and logicians have been trying to specify grammar s as logical theories (see e…
Expand
1998
1998
Prolog(Elex): A New Tool to Generate Prolog Tokenizers
Gertjan van Noord
1998
Corpus ID: 2271481
This paper presents a tool called Elex(Prolog) to construct tokenizers (lexical analysers, scanners , lexers) in Prolog. It is…
Expand
1997
1997
Entailment and Projection for Clp(b) and Clp(q) in Sicstus Prolog
F. Mesnard
1997
Corpus ID: 14808755
The idea of using the CLP framework to reason about CLP programming leads to not only an elegant theory but also to practical and…
Expand
Review
1994
Review
1994
Efficient deduction in many-valued logics
Reiner Hähnle
IEEE International Symposium on Multiple-Valued…
1994
Corpus ID: 5450642
This paper tries to identify the basic problems encountered in automated theorem proving in many-valued logics and demonstrates…
Expand
1993
1993
SICStus Prolog user's manual, version 2.1 #8
J. Andersson
,
Stefan Andersson
,
+4 authors
Johan Widén
1993
Corpus ID: 59640924
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programming language developed at the…
Expand
1992
1992
Objektorientering i SICStus Prolog
Thomas Sjöland
1992
Corpus ID: 59683838
Denna tekniska utredning har gjorts pa uppdrag av projektet "Applied logic programming". Innitiativtagare var Seif Haridi, SICS…
Expand
1991
1991
Implementing a module system for SICStus Prolog
Stefan Andersson
1991
Corpus ID: 59786995
This report covers the specification and implementation of a predicate based module system for SICStus Prolog. There is also a…
Expand
1982
1982
A Note on Garbage-Collection in Prolog Interpreters
M. Bruynooghe
International Conference on Logic Programming
1982
Corpus ID: 5434454
We provide a proof-of-concept for a new approach to flexible and portable implementation of programming languages. More precisely…
Expand