Details:
Title | Constraint Logic Programming: A Survey | Author(s) | Joxan Jaffar, Michael J. Maher | Type | Article in Journal | 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. |
URL |
dx.doi.org/10.1016/0743-1066(94)90033-7 |
Language | English | Journal | Journal of Logic Programming | Volume | 19/20 | Pages | 503-581 | Year | 1994 | Edition | 0 | Translation |
No | Refereed |
No |
|