ECLiPSe – From LP to CLP
| |
|
|
apice = {EclipseTplp12},
author = {Joachim Schimpf and Kish Shen},
doi = {10.1017/S1471068411000469},
eissn = {1475-3081},
issn = {1471-0684},
journal = {Theory and Practice of Logic Programming},
keywords = {Prolog, logic programming system, constraint, solver, modelling},
month = jan,
number = {1-2},
numpages = 30,
openalex = {W2007301302},
pages = {127--156},
publisher = {Cambridge University Press},
title = {ECLiPSe -- From LP to CLP},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/eclipse-from-lp-to-clp/3AA1A4B6D1553CA2976C9D0856C16200},
volume = 12,
year = 2012
}