{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:19Z","timestamp":1763468059731,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298219"},{"type":"electronic","value":"9783642298226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29822-6_24","type":"book-chapter","created":{"date-parts":[[2012,5,20]],"date-time":"2012-05-20T13:21:09Z","timestamp":1337520069000},"page":"307-316","source":"Crossref","is-referenced-by-count":28,"title":["The Finite Domain Constraint Solver of SWI-Prolog"],"prefix":"10.1007","author":[{"given":"Markus","family":"Triska","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint Logic Programming. In: POPL, pp. 111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"key":"24_CR2","unstructured":"Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming\u00a06 (2001)"},{"key":"24_CR3","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. Technical Report (1997)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0033845","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Carlsson","year":"1997","unstructured":"Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol.\u00a01292, pp. 191\u2013206. Springer, Heidelberg (1997)"},{"key":"24_CR5","unstructured":"Zhou, N.F., Nagasawa, I.: An Efficient Finite-domain Constraint Solver in Beta-Prolog. Journal of Japanese Society for Artificial Intelligence\u00a09 (1994)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Walsh, T.: CSPLib: A Benchmark Library for Constraints. In: Proceedings of the 5th Int. Conf. PPCP (1999)","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"24_CR7","unstructured":"Wielemaker, J.: An Overview of the SWI-Prolog Programming Environment. In: Proceedings of the 13th International Workshop on LP Environments (2003)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/11799573_49","volume-title":"Logic Programming","author":"A.F. Silva da","year":"2006","unstructured":"da Silva, A.F., Santos Costa, V.: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 461\u2013462. Springer, Heidelberg (2006)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Zoeteweij, P.: An Analysis of Arithmetic Constraints on Integer Intervals. Constraints\u00a04 (2007)","DOI":"10.1007\/s10601-007-9017-9"},{"key":"24_CR10","unstructured":"Holzbaur, C.: OFAI CLP(Q,R) Manual, TR (1995)"},{"key":"24_CR11","unstructured":"Pritchard, P., Gries, D.: The Seven-Eleven Problem, TR (1994)"},{"key":"24_CR12","unstructured":"Demoen, B.: Dynamic attributes, their hProlog implementation, and a first evaluation. Technical Report (2002)"},{"key":"24_CR13","unstructured":"Burckel, S., Hoarau, S., Mesnard, F., Neumerkel, U.: cTI: Bottom-Up Termination Inference for Logic Programs. In: WLP 15 (2000)"},{"issue":"8","key":"24_CR14","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/6424.315691","volume":"29","author":"J. Bentley","year":"1986","unstructured":"Bentley, J.: Little languages. Communications of the ACM\u00a029(8), 711\u2013721 (1986)","journal-title":"Communications of the ACM"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Codognet, P., Diaz, D.: Compiling Constraints in clp(FD). Journal of Logic Programming\u00a027(3) (1996)","DOI":"10.1016\/0743-1066(95)00121-2"},{"issue":"4","key":"24_CR16","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv.\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"24_CR17","doi-asserted-by":"crossref","first-page":"2155","DOI":"10.1002\/j.1538-7305.1978.tb02147.x","volume":"56","author":"S.C. Johnson","year":"1987","unstructured":"Johnson, S.C., Lesk, M.E.: Language development tools. Bell System Technical Journal\u00a056(6), 2155\u20132176 (1987)","journal-title":"Bell System Technical Journal"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Schulte, C., Tack, G.: Perfect Derived Propagators. CoRR entry (2008)","DOI":"10.1007\/978-3-540-85958-1_44"},{"key":"24_CR19","unstructured":"Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming (JFLP)\u00a02001(6) (2001)"},{"issue":"5","key":"24_CR20","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1017\/S1471068405002590","volume":"6","author":"N.-F. Zhou","year":"2006","unstructured":"Zhou, N.-F.: Programming Finite-Domain Constraint Propagators in Action Rules. Theory and Practice of Logic Programming\u00a06(5), 483\u2013508 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and Practice of Constraint Handling Rules. Special Issue on Constraint Logic Programming, J. of Logic Programming\u00a037(1-3) (1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-642-04244-7_30","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"A.M. Frisch","year":"2009","unstructured":"Frisch, A.M., Stuckey, P.J.: The Proper Treatment of Undefinedness in Constraint Languages. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 367\u2013382. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29822-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:22:43Z","timestamp":1743157363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29822-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298219","9783642298226"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29822-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}