## Constraint Logic Programming: A Survey

### Cached

### Download Links

- [www.math.luc.edu]
- [ftp.cis.ohio-state.edu]
- [pikas.inf.tu-dresden.de]
- DBLP

### Other Repositories/Bibliography

by
Joxan Jaffar
,
Michael J. Maher

Citations: | 792 - 24 self |

### BibTeX

@MISC{Jaffar_constraintlogic,

author = {Joxan Jaffar and Michael J. Maher},

title = {Constraint Logic Programming: A Survey},

year = {}

}

### Years of Citing Articles

### OpenURL

### Abstract

Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. The three main parts cover the theory, implementation issues, and programming for applications.