{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:30:04Z","timestamp":1752460204329},"publisher-location":"Wiesbaden","reference-count":16,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783815420331"},{"type":"electronic","value":"9783322952332"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-322-95233-2_24","type":"book-chapter","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T05:17:04Z","timestamp":1366175824000},"page":"387-400","source":"Crossref","is-referenced-by-count":8,"title":["Residuation and Guarded Rules for Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Gert","family":"Smolka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/BF01806313","volume":"2","author":"H A\u00eft-Kaci","year":"1989","unstructured":"H. A\u00eft-Kaci and R. Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51\u201389, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"24_CR2","first-page":"293","volume-title":"Logic and Databases","author":"K Clark","year":"1978","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, New York, NY, 1978."},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"l","DOI":"10.1145\/5001.5390","volume":"8","author":"K Clark","year":"1986","unstructured":"K. Clark and S. Gregory. PARLOG: Parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):l\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR4","volume-title":"Expert Systems in the Micro-Electronic Age","author":"KL Clark","year":"1979","unstructured":"K. L. Clark and F. G. McCabe. The control facilities of IC-PROLOG. In D. Mitchie, editor, Expert Systems in the Micro-Electronic Age. Edinburgh University Press, Edinburgh, Scotland, 1979."},{"key":"24_CR5","series-title":"Communications of the ACM","first-page":"70","volume-title":"An introduction to PROLOG III","author":"A Colmerauer","year":"1990","unstructured":"A. Colmerauer. An introduction to PROLOG III. Communications of the ACM, pages 70\u201390, July 1990."},{"issue":"4","key":"24_CR6","first-page":"255","volume":"2","author":"A Colmerauer","year":"1983","unstructured":"A. Colmerauer, H. Kanoui, and M. V. Caneghem. Prolog, theoretical principles and current trends. Technology and Science of Informatics, 2(4):255\u2013292, 1983.","journal-title":"Technology and Science of Informatics"},{"key":"24_CR7","first-page":"693","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88","author":"M Dincbas","year":"1988","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88, pages 693\u2013702, Tokyo, Japan, Dec. 1988."},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF03037202","volume":"7","author":"S Haridi","year":"1990","unstructured":"S. Haridi. A logic programming language based on the Andorra model. New Generation Computing, 7:109\u2013125, 1990.","journal-title":"New Generation Computing"},{"key":"24_CR9","first-page":"31","volume-title":"Logic Programming, Proceedings of the 7th International Conference","author":"S Haridi","year":"1990","unstructured":"S. Haridi and S. Janson. Kernel Andorra Prolog and its computation model. In D. Warren and P. Szeredi, editors, Logic Programming, Proceedings of the 7th International Conference, pages 31\u201348, Cambridge, MA, June 1990. The MIT Press."},{"key":"24_CR10","volume-title":"Definite relations over constraint languages","author":"M H\u00f6hfeld","year":"1988","unstructured":"M. H\u00f6hfeld and G. Smolka. Definite relations over constraint languages. LILOG Report 53, IWBS, IBM Deutschland, Postfach 80 08 80, 7000 Stuttgart 80, Germany, Oct. 1988. To appear in the Journal of Logic Programming."},{"key":"24_CR11","first-page":"111","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages","author":"J Jaffar","year":"1987","unstructured":"J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pages 111\u2013119, Munich, Germany, Jan. 1987."},{"key":"24_CR12","volume-title":"Proceedings of the 4th International Conference on Logic Programming","author":"J Jaffar","year":"1987","unstructured":"J. Jaffar and S. Michaylov. Methodology and implementation of a CLP system. In J.-L. Lassez, editor, Proceedings of the 4th International Conference on Logic Programming, Cambridge, MA, 1987. The MIT Press."},{"key":"24_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Symbolic Computation. Springer-Verlag, Berlin, Germany, 1984."},{"key":"24_CR14","first-page":"858","volume-title":"Logic Programming, Proceedings of the Fourth International Conference","author":"MJ Maher","year":"1987","unstructured":"M. J. Maher. Logic semantics for a class of committed-choice programs. In J.-L. Lassez, editor, Logic Programming, Proceedings of the Fourth International Conference, pages 858\u2013876, Cambridge, MA, 1987. The MIT Press."},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0743-1066(85)90017-2","volume":"3","author":"L Naish","year":"1985","unstructured":"L. Naish. Automating control for logic programs. Journal of Logic Programming, 3:167\u2013183, 1985.","journal-title":"Journal of Logic Programming"},{"key":"24_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/BF03037020","volume":"1","author":"E Shapiro","year":"1983","unstructured":"E. Shapiro and A. Takeuchi. Object oriented programming in Concurrent Prolog. New Generation Computing, 1:24\u201348, 1983.","journal-title":"New Generation Computing"}],"container-title":["TEUBNER-TEXTE zur Informatik","Informatik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-95233-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T10:52:22Z","timestamp":1557658342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-322-95233-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783815420331","9783322952332"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-95233-2_24","relation":{},"ISSN":["1615-4584"],"issn-type":[{"type":"print","value":"1615-4584"}],"subject":[],"published":{"date-parts":[[1992]]}}}