{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:44:43Z","timestamp":1752461083657},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_95","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:05Z","timestamp":1330274225000},"page":"123-133","source":"Crossref","is-referenced-by-count":11,"title":["Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system"],"prefix":"10.1007","author":[{"given":"M.","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"11_CR1","unstructured":"K.A.M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In 1990 North American Conference on Logic Programming. MIT Press, October 1990."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"F. Bueno, M. Hermenegildo, U. Montanari, and F. Rossi. From Eventual to Atomic and Locally Atomic CG Programs: A Concurrent Semantics. In Fourth International Conference on Algebraic and Logic Programming. Springer LNCS, September 1994. To appear.","DOI":"10.1007\/3-540-58431-5_10"},{"key":"11_CR3","unstructured":"M. Carlsson. Freeze, Indexing, and Other Implementation Issues in the Wam. In Fourth International Conference on Logic Programming, pages 40\u201358. University of Melbourne, MIT Press, May 1987."},{"key":"11_CR4","unstructured":"M. Carlsson. Sicstus Prolog User's Manual. Po Box 1263, S-16313 Spanga, Sweden, February 1988."},{"key":"11_CR5","unstructured":"Jim Crammond. Scheduling and Variable Assignment in the Parallel Parlog Implementation. In 1990 North American Conference on Logic Programming. MIT Press, 1990."},{"key":"11_CR6","first-page":"130","volume-title":"Independence in Constraint Logic Programs","author":"M. Garcia de la Banda","year":"1993","unstructured":"M. Garcia de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In 1993 International Logic Programming Symposium, pages 130\u2013146. MIT Press, Cambridge, MA, October 1993."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"S. K. Debray. Implementing logic programming systems: The quiche-eating approach. In ICLP '93 Workshop on Practical Implementations and Systems Experience in Logic Programming, Budapest, Hungary, June 1993.","DOI":"10.1007\/978-1-4615-2690-2_5"},{"issue":"12","key":"11_CR8","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1002\/spe.4380231204","volume":"23","author":"S. K. Debray","year":"1993","unstructured":"S. K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Software\u2014Practice and Experience, 23(12):1337\u20131360, December 1993.","journal-title":"Software\u2014Practice and Experience"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"S. K. Debray, N.-W. Lin, and M. Hermenegildo. Task Granularity Analysis in Logic Programs. In Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, pages 174\u2013188. ACM Press, June 1990.","DOI":"10.1145\/93542.93564"},{"key":"11_CR10","unstructured":"I. Foster and S. Taylor. Strand: A practical parallel programming tool. In 1989 North American Conference on Logic Programming, pages 497\u2013512. MIT Press, October 1989."},{"key":"11_CR11","unstructured":"P. L\u00f3pez Garc\u00eda, M. Hermenegildo, and S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs. In Proc. of PASCO'94. World Scientific Publishing Company, September 1994."},{"key":"11_CR12","unstructured":"M. Hermenegildo, D. Cabeza, and M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Technical report clip 5\/94.0, School of Computer Science, Technical University of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, June 1994. Presented at the ILPS'94 Post Conference Workshop on Design and Implementation of Parallel Logic Programming Systems."},{"issue":"34","key":"11_CR13","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. Hermenegildo","year":"1991","unstructured":"M. Hermenegildo and K. Greene. The &-prolog System: Exploiting Independent And-Parallelism. New Generation Computing, 9(3,4):233\u2013257, 1991.","journal-title":"New Generation Computing"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo and F. Rossi. Strict and Non-Strict Independent AndParallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 1994. To appear.","DOI":"10.1016\/0743-1066(93)00007-F"},{"key":"11_CR15","volume-title":"The Goedel Programming Language","author":"P. Hill","year":"1994","unstructured":"P. Hill and J. Lloyd. The Goedel Programming Language. MIT Press, Cambridge MA, 1994."},{"key":"11_CR16","unstructured":"C. Holzbaur. Specification of Constraint Based Inference Mechanisms through Extended Unification. PhD thesis, University of Vienna, 1990."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"C. Holzbaur. Metastructures vs. Attributed Variables in the Context of Extensible Unification. In 1992 International Symposium on Programming Language Implementation and Logic Programming, pages 260\u2013268. LNCS631, Springer Verlag, August 1992.","DOI":"10.1007\/3-540-55844-6_141"},{"key":"11_CR18","unstructured":"A. Houri and E. Shapiro. A sequential abstract machine for flat concurrent prolog. Technical Report CS86-20, Dept. of Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel, July 1986."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Serge Le Huitouze. A New Data Structure for Implementing Extensions to Prolog. In P. Deransart and J. Maraszy\u0144ski, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 136\u2013150. Springer, August 1990.","DOI":"10.1007\/BFb0024181"},{"key":"11_CR20","unstructured":"S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In 1991 International Logic Programming Symposium, pages 167\u2013183. MIT Press, 1991."},{"key":"11_CR21","volume-title":"Reducing scheduling overheads for concurrent logic programs","author":"A. King","year":"1991","unstructured":"A. King and P. Soper. Reducing scheduling overheads for concurrent logic programs. In International Workshop on Processing Declarative Knowledge, Kaiserslautern, Germany, (1991). Springer-Verlag."},{"key":"11_CR22","first-page":"478","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"A. King","year":"1992","unstructured":"Andy King and Paul Soper. Schedule Analysis of Concurrent Logic Programs. In Krzysztof Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 478\u2013492, Washington, USA, 1992. The MIT Press."},{"key":"11_CR23","unstructured":"S. Kliger. Compiling Concurrent Logic Programming Languages. PhD thesis, The Weizmann Institute of Science, Rehovot, Israel, October 1992."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"E. Lusk et. al. The Aurora Or-Parallel Prolog System. New Generation Computing, 7(2,3), 1990.","DOI":"10.1007\/BF03037208"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"U. Montanari, F. Rossi, F. Bueno, M. Garc\u00eda de la Banda, and M. Hermenegildo. Towards a Concurrent Semantics based Analysis of CC and CLP. In Principles and Practice of Constraint Programming, LNCS. Springer-Verlag, May 1994.","DOI":"10.1007\/3-540-58601-6_97"},{"key":"11_CR26","unstructured":"L. Naish. Parallelizing NU-Prolog. In Fifth International Conference and Symposium on Logic Programming, pages 1546\u20131564. University of Washington, MIT Press, August 1988."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"V. Santos-Costa, D.H.D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And-and Or-parallelism. In Proceedings of the 3rd. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM, April 1990.","DOI":"10.1145\/109625.109635"},{"key":"11_CR28","unstructured":"K. Shen. Exploiting Dependent And-Parallelism in Prolog: The Dynamic, Dependent And-Parallel Scheme. In Proc. Joint Int'l. Conf. and Symp. on Logic Prog. MIT Press, 1992."},{"key":"11_CR29","unstructured":"J. Thom and J. Zobel. NU-Prolog Reference Manual. Dept. of Computer Science, U. of Melbourne, May 1987."},{"key":"11_CR30","unstructured":"E. Tick. Compile-Time Granularity Analysis of Parallel Logic Programming Languages. In International Conference on Fifth Generation Computer Systems. Tokyo, November 1988."},{"key":"11_CR31","unstructured":"E. Tick and C. Bannerjee. Performance evaluation of monaco compiler and runtime kernel. In 1993 International Conference on Logic Programming, pages 757\u2013773. MIT Press, June 1993."},{"key":"11_CR32","first-page":"140","volume-title":"Concurrent Prolog: Collected Papers","author":"K. Ueda","year":"1987","unstructured":"K. Ueda. Guarded Horn Clauses. In E.Y. Shapiro, editor, Concurrent Prolog: Collected Papers, pages 140\u2013156. MIT Press, Cambridge MA, 1987."},{"key":"11_CR33","unstructured":"D.H.D. Warren. The Extended Andorra Model with Implicit Control. In Sverker Jansson, editor, Parallel Logic Programming Workshop, Box 1263, S-163 13 Spanga, SWEDEN, June 1990. SICS."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:23Z","timestamp":1605648203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}