Constraint Logic Programming: A Survey

@article{citeulike:382049, 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, ...}, author = {Jaffar, Joxan and Maher, Michael J. }, citeulike-article-id = {382049}, journal = {Journal of Logic Programming}, pages = {503--581}, posted-at = {2006-05-13 05:59:20}, priority = {2}, title = {Constraint Logic Programming: A Survey}, url = {http://citeseer.ist.psu.edu/334926.html}, volume = {19/20}, year = {1994} }

TY - JOUR ID - citeulike:382049 L3 - citeulike-article-id:382049 N2 - 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, ... JF - Journal of Logic Programming EP - 581 TI - Constraint Logic Programming: A Survey VL - 19/20 SP - 503 AU - Jaffar, Joxan AU - Maher, Michael PY - 1994/// UR - http://citeseer.ist.psu.edu/334926.html ER -