{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:54:26Z","timestamp":1725562466809},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221524"},{"type":"electronic","value":"9783540259510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25951-0_15","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T06:46:58Z","timestamp":1280904418000},"page":"499-538","source":"Crossref","is-referenced-by-count":0,"title":["Herbrand Constraints in HAL"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Warwick","family":"Harvey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Overton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"A\u00eft-Kaci, H.: Warren\u2019s Abstract Machine. MIT Press, Cambridge (1991)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-48085-3_13","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"B. Demoen","year":"1999","unstructured":"Demoen, B., la de Banda, M.G., Harvey, W., Marriott, K., Stuckey, P.J.: An overview of HAL. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 174\u2013189. Springer, Heidelberg (1999)"},{"key":"15_CR3","unstructured":"Dowd, T., Schachte, P., Henderson, F., Somogyi, Z.: Using impurity to create declarative interfaces in Mercury. Technical Report 2000\/17, Department of Computer Science, University of Melbourne (2000), http:\/\/www.cs.mu.oz.au\/research\/mercury\/information\/papers.html"},{"key":"15_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1007\/3-540-44957-4_85","volume-title":"Computational Logic - CL 2000","author":"M.G. Banda la de","year":"2000","unstructured":"la de Banda, M.G., Stuckey, P.J., Harvey, W., Marriott, K.: Mode checking in HAL. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1270\u20131284. Springer, Heidelberg (2000)"},{"key":"15_CR5","unstructured":"Programming Systems Group. SICStus Prolog User\u2019s Manual, release 3.11.0 edition (2003)"},{"key":"15_CR6","doi-asserted-by":"crossref","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)","DOI":"10.1007\/3-540-55844-6_141"},{"key":"15_CR7","unstructured":"Jeffery, D., Henderson, F., Somogyi, Z.: Type classes in mercury. Technical Report Technical Report 98\/13, Department of Computer Science, University of Melbourne, Melbourne, Australia (1998)"},{"key":"15_CR8","unstructured":"Lindgren, T., Mildner, P., Bevemyr, J.: On Taylor\u2019s scheme for unbound variables. Technical report, UPMAIL (October 1995)"},{"key":"15_CR9","unstructured":"Mari\u00ebn, A., Janssens, G., Mulkers, A., Bruynooghe, M.: The impact of abstract interpretation: an experiment in code generation. In: Proc. of the ICLP 1989, pp. 33\u201347 (1989)"},{"key":"15_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: an Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: an Introduction. MIT Press, Cambridge (1998)"},{"key":"15_CR11","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":"15_CR12","doi-asserted-by":"crossref","unstructured":"Taylor, A.: PARMA\u2013bridging the performance gap between imperative and logic programming. Journal of Logic Programming 29(1-3) (1996)","DOI":"10.1016\/S0743-1066(96)00065-9"},{"key":"15_CR13","unstructured":"Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? Report 90\/600, UCB\/CSD, Berkeley, California 94720 (December 1990)"},{"key":"15_CR14","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","Program Development in Computational Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25951-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T23:52:26Z","timestamp":1591746746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25951-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221524","9783540259510"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25951-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}