{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:52Z","timestamp":1725663472695},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:48:40Z","timestamp":1330256920000},"page":"291-304","source":"Crossref","is-referenced-by-count":7,"title":["Why and how in the ElipSys OR-parallel CLP system"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"V\u00e9ron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kees","family":"Schuerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Reeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang -Liang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"23_CR1","unstructured":"Khayri Ali. Incremental Gargage Collection for Or-parallel Prolog Based on WAM. In Gigalips Workshop, Stockholm, April 1989. SICS."},{"issue":"2","key":"23_CR2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"Khayri A. A. M M. Ali","year":"1990","unstructured":"Khayri A.M Ali and Roland Karlsson. The Muse approach to OR-parallel Prolog. International Journal of Parallel Programming, 19(2):129\u2013162, April 1990.","journal-title":"International Journal of Parallel Programming"},{"key":"23_CR3","first-page":"165","volume-title":"Fifth Generation Computing Systems","author":"Khayri A. A. M M. Ali","year":"1992","unstructured":"Khayri A.M Ali and Roland Karlsson. Or-parallel speedups in a knowledge based system: on muse and aurora. In ICOT, editor, Fifth Generation Computing Systems, pages 165\u2013180, Tokyo, 1992. ICOT."},{"key":"23_CR4","unstructured":"U.C. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J.C. Syre, and H. Westphal. The parallel ECRC Prolog system PEPSys: An overview and evaluation results. In Proceedings FGCS'88, Tokyo, November 1988. Intel-national Conference on Fifth Generation Computer Systems."},{"key":"23_CR5","series-title":"MIP-8618","volume-title":"PhD Thesis","author":"M. Bartusch","year":"1983","unstructured":"Martin Bartusch. Optimierung von NetzPlaenen mit Anordnungsbeziehungen bei knappen Betriesbmitteln. PhD Thesis, MIP-8618, Fakultaet fuer Mathematik und Informatik, Universitaet Passau (Germany), 1983."},{"key":"23_CR6","unstructured":"Dominic Clark, Chris Rawlings, Mike Reeve, and Andr\u00e9 V\u00e9ron. Protein structure prediction with parallel constraint logic programming. Submitted to CABIOS, also available, as ECRC Technical Report, 1992."},{"issue":"7","key":"23_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Alain Colmerauer. An Introduction to PROLOG-III. Communications of the ACM, 33(7):69\u201390, July 1990.","journal-title":"Communications of the ACM"},{"issue":"1\u20132","key":"23_CR8","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dinchas","year":"1990","unstructured":"M. Dinchas, H. Simonis, and P. Van Hentenryck. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming, 8(1\u20132):74\u201394, January-March 1990.","journal-title":"Journal of Logic Programming"},{"key":"23_CR9","unstructured":"Mehmet Dinchas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, and Fran\u00e7oise Berthier. The Constraint Logic Programming Language CHIP. In International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Erik Hagersten, Anders Landin, and Seif Haridi. DDM \u2014 A Cache-Only Memory Architecture. IEEE Computer, pages 44\u201354, September 1992.","DOI":"10.1109\/2.156381"},{"key":"23_CR11","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"23_CR12","first-page":"165","volume-title":"ICLP'89","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Parallel constraints satisfaction in logic programming: Preliminary results of CHIP within PEPSys. In Giorgio Levi and Maurizio Martelli, editors, ICLP'89, pages 165\u2013180, Lisbon, June 1989. MIT Press."},{"key":"23_CR13","first-page":"111","volume-title":"Constraint logic programming","author":"J. Jaffar","year":"1987","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany, pages 111\u2013119. ACM, January 1987."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Daniel Lenoski, James Laudon, Kourosh Gharachorloo, Wol f Dietrich Weber, Anoop Gupta, John Hennessy, Mark Horowitz, and Monica S. Lam. The Stanford Dash Multiprocessor. IEEE Computer, pages 63\u201379, March 1992.","DOI":"10.1109\/2.121510"},{"issue":"2","key":"23_CR15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"Ewing Lusk, David H. D. Warren, Seif Haridi, and al. The Aurora Or-parallel Prolog system. New Generation Computing, 7(2):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"23_CR16","unstructured":"Christos Papadimitriou and Kenneth Steiglitz. Combinatorial Optimization, pages 310\u2013311. Prentice Hall, 1982."},{"key":"23_CR17","unstructured":"Thierry Le Provost and Mark Wallace. Domain independent propagation. In International Conference on Fifth Generation Computer Systems, Tokyo, Japan, September 1992."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"C.J. Skelton, C. Hammer, M. Lopez, M.J. Reeve, P. To wnsend, and K.F. Wong. EDS: A Parallel Computer System for Advanced Information Process ing. In Proceedings of PARLE'92, Conference on Parallel Architectures and Languages Europe, pages 3\u201320. Springer-Verlag, June 1992.","DOI":"10.1007\/3-540-55599-4_77"},{"key":"23_CR19","unstructured":"Peter Szeredi. Exploiting Or-parallelism in Optimisation Problems. In Krzysztof Apt, editor, Joint International Conference and Symposium on Logic Programming. MIT Press, 1992."},{"key":"23_CR20","unstructured":"Andr\u00e9 V\u00e9ron and Michel Dorochevsky. Binding Techniques and Garbage Collection for OR-parallel CLP systems. In PLILP'92, 1992."},{"key":"23_CR21","unstructured":"D. H. D. Warren. The SRI model for or-parallel execution of Prolog \u2014 abstract design and implementation issues. In Symposium of Logic Programming, pages 92\u2013102, 1987."}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:57:01Z","timestamp":1619571421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}