Constraint logic programming

Known as: Constraint store, CLP, Finite constraint 
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We introduce a knowledge representation language ${\cal AC(C)}$ extending the syntax and semantics of ASP and CR-Prolog, give… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We extend the Constraint Logic Programming (CLP) formalism in order to handle semiringbased constraint systems. This allows us to… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper introduces the Constraint Logic Programming (CLP) platform ECL i PS e. ECL i PS e is designed to be more than an… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Hierarchical Constraint Logic Programming 
  • figure 6-2
  • figure 7-1
  • figure 7-2
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Constraint Logic Programming (CLP) is an extension of Logic Programming aimed at replacing the pattern matching mechanism of… (More)
  • figure 2
  • table I
Is this relevant?
Highly Cited
1988
Highly Cited
1988
CHIP is a new constraint logic programming language combining the declarative aspect of logic programming with the efficiency of… (More)
  • table 3'3
  • table 3'2
  • table 3-4
Is this relevant?
Highly Cited
1987
Highly Cited
1987
We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach… (More)
Is this relevant?