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

Related topics

Related topics

32 relations
B-PrologBacktrackingCHIP (programming language)CLP(R)
(More)

Broader (2)

Constraint programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Constraint Logic Programming
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
Integrating answer set programming and constraint logic programming
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
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
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
ACLP: Abductive Constraint Logic Programming
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
Semiring-based Constraint Logic Programming
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
ECLiPSe: A Platform for Constraint Logic Programming
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
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 Languages
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
Solving the Car-Sequencing Problem in Constraint Logic Programming
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
Constraint Logic Programming
We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach… (More)
Is this relevant?