Constraint Logic Programming [chapter]

Marco Gavanelli, Francesca Rossi
2010 Lecture Notes in Computer Science  
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications. Since the original proposal, it has developed enormously: many languages and systems are now available either as open source programs or as commercial systems. Also, CLP has been one of the technologies able to recruit researchers from other communities to the declarative programming
more » ... cause. Current CLP engines include technologies and results developed in other communities, which themselves discovered logic as an invaluable tool to model and solve real-life problems.
doi:10.1007/978-3-642-14309-0_4 fatcat:ozoif5tgorhw3mbhnyw3aijpfu