{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:50:45Z","timestamp":1725551445822},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540309475"},{"type":"electronic","value":"9783540316855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11603023_9","type":"book-chapter","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T13:45:28Z","timestamp":1135259128000},"page":"118-133","source":"Crossref","is-referenced-by-count":6,"title":["Adding Constraint Solving to Mercury"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Becket","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Garcia","family":"de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoltan","family":"Somogyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"B-Prolog, \n                  \n                    www.sci.brooklyn.cuny.edu\/~zhou\/bprolog.html"},{"key":"9_CR2","unstructured":"ILOG CPLEX, \n                  \n                    www.cplex.com"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Demoen, B., Garcia de la Banda, M., Harvey, W., Marriott, K., Stuckey, P.J.: An overview of HAL. In: Proceedings of the Fourth International Conference on Principles and Practices of Constraint Programming, pp. 174\u2013188 (1999)","DOI":"10.1007\/978-3-540-48085-3_13"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-27775-0_8","volume-title":"Logic Programming","author":"G.J. Duck","year":"2004","unstructured":"Duck, G.J., Garc\u00eda de la Banda, M., Stuckey, P.J.: Compiling ask constraints. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 105\u2013119. Springer, Heidelberg (2004)"},{"key":"9_CR5","unstructured":"ECLiPSe, \n                  \n                    http:\/\/www.icparc.ic.ac.uk\/eclipse\/"},{"key":"9_CR6","unstructured":"Henderson, F., Conway, T., Somogyi, Z., Jeffery, D., Schachte, P., Taylor, S., Speirs, C.: The Mercury language reference manual (2000). Available from, \n                  \n                    http:\/\/www.cs.mu.oz.au\/mercury\/"},{"key":"9_CR7","unstructured":"Hermenegildo, M., Bueno, F., Cabeza, D., Garcia de la Banda, M., L\u00f3pez, P., Puebla, G.: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, Commack (1999)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"Holzbaur, C.: Metastructures vs. attributed variables in the context of extensible unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 260\u2013268. Springer, Heidelberg (1992)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proceedings of POPL 1987, pp. 111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"key":"9_CR10","unstructured":"Mozart, \n                  \n                    http:\/\/www.mozart-oz.org"},{"key":"9_CR11","unstructured":"SICStus Prolog, \n                  \n                    http:\/\/www.sics.se\/sicstus\/"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming\u00a029, 17\u201364 (1996)","journal-title":"Journal of Logic Programming"},{"key":"9_CR13","unstructured":"Warren, D.H.D.: An abstract Prolog instruction set. Technical Report 309, SRI International, Menlo Park, U.S.A (October 1983)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11603023_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T09:54:40Z","timestamp":1552470880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11603023_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540309475","9783540316855"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11603023_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}