{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194820},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_7","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T18:27:08Z","timestamp":1167330428000},"page":"117-133","source":"Crossref","is-referenced-by-count":13,"title":["Compiling Constraint Handling Rules into Prolog with Attributed Variables"],"prefix":"10.1007","author":[{"given":"Christian","family":"Holzbaur","sequence":"first","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Banatre","year":"1988","unstructured":"Banatre, J.-P., Coutant, A., Le Metayer, D.: A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems\u00a04, 133\u2013144 (1988)","journal-title":"Future Generation Computer Systems"},{"key":"7_CR2","unstructured":"Benhamou, F., Older, W.J.: Bell Northern Research, Applying interval arithmetic to Integer and Boolean constraints, Technical Report (June 1992)"},{"key":"7_CR3","unstructured":"Brisset, P., et al.: ECLiPSe 4.0 User Manual, IC-Parc at Imperial College, London (July 1998)"},{"key":"7_CR4","unstructured":"Carlsson, M., Widen, J.: Sicstus Prolog Users Manual, Release 3#0, Swedish Institute of Computer Science, SICS\/R-88\/88007C (1995)"},{"key":"7_CR5","first-page":"774","volume-title":"Proceedings of the Tenth International Conference on Logic Programming","author":"D. Diaz","year":"1993","unstructured":"Diaz, D., Codognet, P.: A Minimal Extension of the WAM for clp(FD). In: Warren, D.S. (ed.) Proceedings of the Tenth International Conference on Logic Programming, pp. 774\u2013790. The MIT Press, Budapest (1993)"},{"key":"7_CR6","unstructured":"Dincbas, M., et al.: The Constraint Logic Programming Language CHIP. Fifth Generation Computer Systems, Tokyo, Japan (December 1988)"},{"key":"7_CR7","first-page":"654","volume-title":"Logic Programming - Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"S. Debray","year":"1992","unstructured":"Debray, S., Kannan, S., Paithane, M.: Weighted Decision Trees. In: Apt, K.R. (ed.) Logic Programming - Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 654\u2013668. MIT Press, Cambridge (1992)"},{"issue":"12","key":"7_CR8","doi-asserted-by":"publisher","first-page":"1337","DOI":"10.1002\/spe.4380231204","volume":"23","author":"S.K. Debray","year":"1993","unstructured":"Debray, S.K.: QD-Janus: A Sequential Implementation of Janus in Prolog. Software\u2014Practice and Experience\u00a023(12), 1337\u20131360 (1993)","journal-title":"Software\u2014Practice and Experience"},{"key":"7_CR9","unstructured":"Fr\u00fchwirth, T., Brisset, P.: High-Level Implementations of Constraint Handling Rules, Technical Report ECRC-95-20, ECRC Munich, Germany (June 1995)"},{"key":"7_CR10","unstructured":"Fr\u00fchwirth, T., Brisset, P.: Chapter on Constraint Handling Rules, in ECL iPSe 3.5.1 Extensions User Manual, ECRC Munich, Germany (December 1995)"},{"key":"7_CR11","unstructured":"Fr\u00fchwirth, T., Abdennadher, S., Meuss, H.: Confluence and Semantics of Constraint Simplification Rules. Constraint Journal. Kluwer Academic Publishers, Dordrecht (to appear)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming. In: Stuckey, P., Marriot, K. (eds.) Journal of Logic Programming, October 1998, vol.\u00a037(1-3), pp. 95\u2013138 (1998)","DOI":"10.1016\/S0743-1066(98)10005-5"},{"issue":"1-3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0004-3702(92)90006-J","volume":"58","author":"P. Hentenryck","year":"1992","unstructured":"Hentenryck, P., van, S.H., Dincbas, M.: Constraint Satisfaction Using Constraint Logic Programming. Artificial Intelligence\u00a058(1-3), 113\u2013159 (1992)","journal-title":"Artificial Intelligence"},{"key":"7_CR14","unstructured":"Herbig, B.: Eine homogene Implementierungsebene f\u00fcr einen hybriden Wissens repr\u00e4sentationsformalismus, Master Thesis, in German. University of Kaiserslautern, Germany (April 1993)"},{"key":"7_CR15","unstructured":"Holzbaur, C.: Specification of Constraint Based Inference Mechanisms through Extended Unification, Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Dissertation (1990)"},{"key":"7_CR16","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":"7_CR17","unstructured":"Holzbaur, C.: Extensible Unification as Basis for the Implementation of CLP Languages. In: Baader, F., et al. (eds.) Proceedings of the Sixth International Workshop on Unification, Boston University, MA, pp. 56\u201360 (1993) TR-93-004"},{"key":"7_CR18","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: Constraint Handling Rules Reference Manual, for SICStus Prolog. In: \u00d6sterreichisches Forschungsinstitut f\u00fcr Artificial Intelligence, Vienna, Austria (March 1998) TR-98-01"},{"key":"7_CR19","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: Compiling Constraint Handling Rules (CHR). In: Third ERCIM\/Compulog Network Workshop on Constraints, CWI Amsterdam, The Netherlands (September 1998)"},{"key":"7_CR20","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: Join Evaluation Schemata for Constraint Handling Rules. In: 13th Workshop Logische Programmierung WLP 1998, TU Vienna, Austria (September 1998)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/BFb0024181","volume-title":"Programming Language Implementation and Logic Programming","author":"S. Huitouze le","year":"1990","unstructured":"le Huitouze, S.: A new data structure for implementing extensions to Prolog. In: Deransart, P., Maluszunski, J. (eds.) Programming Language Implementation and Logic Programming, pp. 136\u2013150. Springer, Heidelberg (1990)"},{"issue":"20","key":"7_CR22","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"9","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming\u00a09(20), 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"7_CR23","unstructured":"Maher, M.J.: Logic Semantics for a Class of Committed-Choice Programs. In: Fourth Intl. Conf. on Logic Programming, Melbourne, Australia, pp. 858\u2013876. MIT Press, Cambridge"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Marriott, K., Stuckey, J.P.: Programming with Constraints. MIT Press, USA (March 1998)","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"7_CR25","unstructured":"Naish, L.: Prolog control rules. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, California, September 1985, pp. 720\u2013722 (1985)"},{"key":"7_CR26","unstructured":"Neumerkel, U.: Extensible unification by metastructures. In: Proc. of Metaprogramming in Logic (META 1990), Leuven, Belgium (1990)"},{"key":"7_CR27","unstructured":"Sahlin, D.: An Automatic Partial Evaluator for Full Prolog. Swedish Institute of Computer Science (1991)"},{"key":"7_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"issue":"3","key":"7_CR29","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The Family of Concurrent Logic Programming Languages. ACM Computing Surveys\u00a021(3), 413\u2013510 (1989)","journal-title":"ACM Computing Surveys"},{"key":"7_CR30","unstructured":"Shen, K.: The Extended CHR Implementation, chapter in ECL iPSe 4.0 Library Manual, IC-Parc at Imperial College, London (July 1998)"},{"key":"7_CR31","volume-title":"A Language for Optimizing Constraint Propagation","author":"G.A. Sidebottom","year":"1993","unstructured":"Sidebottom, G.A.: A Language for Optimizing Constraint Propagation. Simon Fraser University, Canada (1993)"},{"key":"7_CR32","unstructured":"Smolka, G., Treinen, R.: DFKI Oz Documentation Series, DFKI, Saarbr\u00fccken, Germany (1994)"},{"key":"7_CR33","unstructured":"Ueda, K., Chikayama, T.: Concurrent Prolog Compiler on Top of Prolog. In: Symposium on Logic Programming, pp. 119\u2013127. The Computer Society Press (1985)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T11:09:16Z","timestamp":1587294556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/10704567_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}