Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,144 papers from all fields of science
Search
Sign In
Create Free Account
Constraint logic programming
Known as:
Constraint store
, CLP
, Finite constraint
Expand
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
B-Prolog
Backtracking
CHIP (programming language)
CLP(R)
Expand
Broader (2)
Constraint programming
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
Visualization in Constraint Logic Programming
H. Simonis
,
J. Rostand
2008
Corpus ID: 59860178
Visualization tools can be an important help in the design, development and analysis of constraint programs. In this tutorial we…
Expand
2008
2008
Organisational change through influence
M. McCallum
,
W. Vasconcelos
,
T. Norman
Autonomous Agents and Multi-Agent Systems
2008
Corpus ID: 28016177
Influence is a phenomenon underpinning many types of interactions in both human and artificial organisations, and has a…
Expand
Review
2005
Review
2005
Constraint Logic Programming B An Informal Introduction *
Thom Friihwirth
,
A. Herold
,
+4 authors
M. Wallace
2005
Corpus ID: 27545315
Abs t rac t . Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativity of logic…
Expand
1998
1998
Introduction to Constraint Logic Programming
K. Marriott
,
Peter James Stuckey
1998
Corpus ID: 59684427
From the Publisher: The job of the constraint programmer is to use mathematical constraints to model real world constraints and…
Expand
1998
1998
A sound interval constraint logic programming system
T. Hickey
,
Qun Ju
1998
Corpus ID: 117661442
This thesis presents the design and implementation of a sound interval Constraint Logic Programming (CLP) system, which is based…
Expand
1995
1995
A Reactive Constraint Logic Programming Scheme
F. Fages
,
J. Fowler
,
T. Sola
International Conference on Logic Programming
1995
Corpus ID: 5055942
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to deene the…
Expand
1995
1995
Linear Equation Solving for Constraint Logic Programming
Jennifer J. Burg
,
Peter James Stuckey
,
Jason C. H. Tai
,
R. Yap
International Conference on Logic Programming
1995
Corpus ID: 33616733
Linear constraint solving in constraint logic programming requires in cremental checks of the satis ability of a system of…
Expand
1995
1995
A Reactive Constraint Logic Programming Scheme
L. Sterling
1995
Corpus ID: 64216131
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to define…
Expand
1992
1992
Constraint monitoring in TOSCA
H. Beck
1992
Corpus ID: 10242118
The Job-Shop Scheduling Problem (JSSP) deals with the allocation of resources over time to factory operations. Allocations are…
Expand
1990
1990
Computational complexity and constraint logic programming languages
J. Cox
,
K. McAloon
,
C. Tretkoff
Annals of Mathematics and Artificial Intelligence
1990
Corpus ID: 666608
We give a complexity analysis of a variety of languages across the spectrum of the CLP scheme. By varying the logic and memory…
Expand