{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:07Z","timestamp":1748071627060},"publisher-location":"Berlin, Heidelberg","reference-count":64,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_3","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"53-71","source":"Crossref","is-referenced-by-count":5,"title":["Concurrent Logic\/Constraint Programming: The Next 10 Years"],"prefix":"10.1007","author":[{"given":"Kazunori","family":"Ueda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L. and L\u00e9vy, J.-J., Explicit substitutions. J. Functional Programming, Vol. 1, No. 4 (1991), pp. 375\u2013416.","journal-title":"J. Functional Programming"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"GA Agha","year":"1986","unstructured":"Agha, G. A.,Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-49481-2_5","volume-title":"In Proc. Fourth Int. Conf. on Principles and Practice of Constraint Programming (CP98)","author":"Y Ajiro","year":"1998","unstructured":"Ajiro, Y., Ueda, K. and Cho, K.,Error-correcting Source Code. In Proc. Fourth Int. Conf. on Principles and Practice of Constraint Programming (CP98), LNCS 1520, Springer-Verlag, Berlin, 1998, pp. 40\u201354."},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J-P Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre, J.-P. and Le M\u00e9tayer, D., The GAMMA Model and Its Discipline of Programming. Science of Computer Programming, Vol. 15, No. 1 (1990), pp. 55\u201377.","journal-title":"Science of Computer Programming"},{"key":"3_CR5","first-page":"98","volume-title":"Proving Concurrent Constraint Programs Correct.In Conf. Record of the 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages","author":"FS Boer de","year":"1994","unstructured":"de Boer, F. S., Gabbrielli, M., Marchiori, E. and Palamidessi, C., Proving Concurrent Constraint Programs Correct.InConf. Record of the 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, ACM Press, 1994, pp. 98\u2013108."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"In Foundations of Software Science and Computational Structures","author":"L Cardelli","year":"1998","unstructured":"Cardelli, L. and Gordon, A. D., Mobile Ambients. InFoundations of Software Science and Computational Structures, Maurice Nivat (ed.), LNCS 1378, Springer-Verlag, Berlin, 1998, pp. 140\u2013155."},{"key":"3_CR7","volume-title":"An Introduction to Parallel Programming","author":"KM Chandy","year":"1992","unstructured":"Chandy, K. M. and Taylor, S.,An Introduction to Parallel Programming. Jones and Bartlett, Boston, 1992."},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"281","DOI":"10.7551\/mitpress\/2087.003.0016","volume-title":"Research Directions in Concurrent Object- Oriented Programming","author":"KM Chandy","year":"1993","unstructured":"Chandy, K. M. and Kesselman, C., CC++: A Declarative Concurrent Object- Oriented Programming Notation. InResearch Directions in Concurrent Object- Oriented Programming, Agha, G., Wegner, P. and Yonezawa, A. (eds.), The MIT Press, Cambridge, MA, 1993, pp. 281\u2013313."},{"key":"3_CR9","first-page":"276","volume-title":"In Proc. 4th Int. Conf. on Logic Programming (ICLP\u201987)","author":"T Chikayama","year":"1987","unstructured":"Chikayama, T. and Kimura, Y., Multiple Reference Management in Flat GHC. InProc. 4th Int. Conf. on Logic Programming (ICLP\u201987), The MIT Press, Cambridge, MA, 1987, pp. 276\u2013293."},{"key":"3_CR10","first-page":"230","volume-title":"Overview of the Parallel Inference Machine Operating System (PIMOS). In Proc. Int. Conf. on Fifth Generation Computer Systems 1988","author":"T Chikayama","year":"1988","unstructured":"Chikayama, T., Sato, H. and Miyazaki, T.,Overview of the Parallel Inference Machine Operating System (PIMOS). InProc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT, Tokyo,1988, pp. 230\u2013251."},{"key":"3_CR11","first-page":"73","volume-title":"In Proc. Int. Conf on Fifth Generation Computer Systems 1992","author":"T Chikayama","year":"1992","unstructured":"Chikayama, T., Operating System PIMOS and Kernel Language KL1. InProc. Int. Conf on Fifth Generation Computer Systems 1992, Ohmsha and IOS Press, Tokyo, 1992, pp. 73\u201388."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-58402-1_4","volume-title":"In Proc. 6th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP\u201994)","author":"T Chikayama","year":"1994","unstructured":"Chikayama, T., Fujise, T. and Sekita, D., A Portable and Efficient Implementation of KL1. InProc. 6th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP\u201994), LNCS 844, Springer-Verlag, Berlin, 1994, pp. 25\u201339."},{"key":"3_CR13","first-page":"215","volume-title":"Diagnosing Non-Well-Moded Concurrent Logic Programs, In Proc. 1996 Joint Int. Conf. and Symp. on Logic Programming (JICSLP\u201996)","author":"K Cho","year":"1996","unstructured":"Cho, K. and Ueda, K., Diagnosing Non-Well-Moded Concurrent Logic Programs, InProc. 1996 Joint Int. Conf. and Symp. on Logic Programming (JICSLP\u201996),The MIT Press, Cambridge, MA, 1996, pp. 215\u2013229."},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"KL Clark","year":"1986","unstructured":"Clark, K. L. and Gregory, S., PARLOG: Parallel Programming in Logic. ACM.Trans. Prog. Lang. Syst., Vol. 8, No. 1 (1986), pp. 1\u201349.","journal-title":"ACM. Trans. Prog. Lang. Syst"},{"key":"3_CR15","first-page":"497","volume-title":"In Proc. 1989 North American Conf. on Logic Programming (.NACLP\u201989)","author":"I Foster","year":"1989","unstructured":"Foster, I. and Taylor, S.,Strand: a Practical Parallel Programming Tool. InProc. 1989 North American Conf. on Logic Programming (.NACLP\u201989), The MIT Press, Cambridge, MA, 1989, pp. 497\u2013512."},{"key":"3_CR16","volume-title":"The Grid: Blueprint for a New Computing Infrastructure","author":"I Foster","year":"1998","unstructured":"Foster, I. and Kesselman, C., The Grid: Blueprint for a New Computing Infrastructure. Morgan-Kaufmann, San Francisco, 1998."},{"key":"3_CR17","first-page":"406","volume-title":"In Proc. 7th Int. Conf. on Concurrency Theory (CONCUR\u201996)","author":"C Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G. L\u00e9vy, J.-J., Maranget, L. and R\u00e9my, D., A Calculus of Mobile Agents. InProc. 7th Int. Conf. on Concurrency Theory (CONCUR\u201996), LNCS 1119, Springer-Verlag, Berlin, 1996, pp. 406\u2013421."},{"issue":"1\u20133","key":"3_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T., Theory and Practice of Constraint Handling Rules.J. Logic Programming, Vol. 37, No. 1\u20133 (1998), pp. 95\u2013138.","journal-title":"J. Logic Programming"},{"key":"3_CR19","first-page":"535","volume-title":"In Proc. Eighth Int. Conf. on Logic Programming (ICLP\u201991)","author":"H Fujita","year":"1991","unstructured":"Fujita, H. and Hasegawa, R., A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm. InProc. Eighth Int. Conf. on Logic Programming (ICLP\u201991), The MIT Press, Cambridge, MA, 1991, pp. 535\u2013548."},{"key":"3_CR20","first-page":"52","volume-title":"Automatic Generation of Some Results in Finite Algebra. In Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201993)","author":"M Fujita","year":"1993","unstructured":"Fujita, M., Slaney, J. and Bennett, F., Automatic Generation of Some Results in Finite Algebra. InProc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201993), 1993, pp. 52\u201357."},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF03037481","volume":"16","author":"S Haridi","year":"1998","unstructured":"Haridi, S., Van Roy, P., Brand, P. and Schulte, C., Programming Languages for Distributed Applications.New Generation Computing, Vol. 16, No. 3 (1998), pp. 223\u2013261.","journal-title":"New Generation Computing"},{"key":"3_CR22","first-page":"132","volume-title":"Parallel Theorem Provers and Their Applications. In Proc. Int. Conf. on Fifth Generation Computer Systems 1992","author":"R Hasegawa","year":"1992","unstructured":"Hasegawa, R. and Fujita, M., Parallel Theorem Provers and Their Applications. InProc. Int. Conf. on Fifth Generation Computer Systems 1992, Ohmsha and IOS Press, Tokyo, 1992, pp. 132\u2013154."},{"key":"3_CR23","first-page":"436","volume-title":"Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1.In Proc. Int. Conf. on Fifth Generation Computer Systems 1992","author":"K Hirata","year":"1992","unstructured":"Hirata, K., Yamamoto, R., Imai, A., Kawai, H., Hirano, K., Takagi, T., Taki, K., Nakase, A. and Rokusawa, K., Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1. InProc. Int. Conf. on Fifth Generation Computer Systems 1992, Ohmsha and IOS Press, Tokyo, 1992, pp. 436\u2013459"},{"key":"3_CR24","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C. A. R.,Communicating Sequential Processes. Prentice-Hall International, London, 1985."},{"key":"3_CR25","first-page":"257","volume-title":"A Distributed Implementation of Flat GHC on the Multi-PSI.In Proc. 4th Int. Conf. on Logic Programming (ICLP\u201987)","author":"N Ichiyoshi","year":"1987","unstructured":"Ichiyoshi N., Miyazaki T. and Taki, K.,A Distributed Implementation of Flat GHC on the Multi-PSI. InProc. 4th Int. Conf. on Logic Programming (ICLP\u201987), The MIT Press, Cambridge, MA, 1987, pp. 257\u2013275."},{"key":"3_CR26","first-page":"167","volume-title":"Programming Paradigms of the Andorra Kernel Language.In Proc. 1991 Int. Logic Programming Symp. (ILPS\u201991)","author":"S Janson","year":"1991","unstructured":"Janson, S. and Haridi, S.,Programming Paradigms of the Andorra Kernel Language. InProc. 1991 Int. Logic Programming Symp. (ILPS\u201991), The MIT Press, Cambridge, MA, 1991, pp. 167\u2013183."},{"issue":"2","key":"3_CR27","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1006\/jvlc.1996.0011","volume":"7","author":"KM Kahn","year":"1996","unstructured":"Kahn, K. M., ToonTalk-An Animated Programming Environment for Children.J. Visual Languages and Computing, Vol. 7, No. 2 (1996), pp. 197\u2013217.","journal-title":"J. Visual Languages and Computing"},{"key":"3_CR28","first-page":"85","volume-title":"Logic Semantics for a Class of Committed-Choice Programs.In Proc. Fourth Int. Conf. on Logic Programming (ICLP\u201987)","author":"MJ Maher","year":"1987","unstructured":"Maher, M. J., Logic Semantics for a Class of Committed-Choice Programs. InProc. Fourth Int. Conf. on Logic Programming (ICLP\u201987), The MIT Press, Cambridge, MA, 1987, pp. 858\u2013876."},{"key":"3_CR29","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.,Communication and Concurrency. Prentice-Hall International, London, 1989."},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J. and Walker, D., A Calculus of Mobile Processes, I+II.Information and Computation, Vol. 100, No. 1 (1992), pp. 1\u201377.","journal-title":"Information and Computation"},{"issue":"8","key":"3_CR31","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s002360050067","volume":"33","author":"R Milner","year":"1996","unstructured":"Milner, R., Calculi for Interaction.Acta Informatica, Vol. 33, No. 8 (1996), pp. 707\u2013737.","journal-title":"Acta Informatica"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S., Inverse Entailment and Progol.New Generation Computing, Vol. 13 (1995), pp. 245\u2013286.","journal-title":"New Generation Computing"},{"key":"3_CR33","first-page":"73","volume-title":"All Solutions Predicates in Prolog.In Proc. 1985 Symp. on Logic Programming (SL\u201985)","author":"L Naish","year":"1985","unstructured":"Naish, L . All Solutions Predicates in Prolog.InProc. 1985 Symp. on Logic Programming (SL\u201985), IEEE, 1985, pp. 73\u201377."},{"key":"3_CR34","first-page":"436","volume-title":"Distributed Implementation of KL1 on the Multi-PSI\/V2. In Proc. Sixth Int. Conf on Logic Programming (ICLP\u201989)","author":"K NakajimaM","year":"1989","unstructured":"Nakajima K., Inamura Y., Rokusawa K., Ichiyoshi N. and Chikayama, T., Distributed Implementation of KL1 on the Multi-PSI\/V2. InProc. Sixth Int. Conf on Logic Programming (ICLP\u201989), The MIT Press, Cambridge, MA, 1989, pp. 436\u2013451."},{"key":"3_CR35","first-page":"166","volume-title":"Experimental Parallel Inference Software. In Proc. Int. Conf. on Fifth Generation Computer Systems 1992","author":"K Nitta","year":"1992","unstructured":"Nitta, K., Taki, K. and Ichiyoshi, N., Experimental Parallel Inference Software. InProc. Int. Conf. on Fifth Generation Computer Systems 1992, Ohmsha and IOS Press, Tokyo, 1992, pp. 166\u201319"},{"key":"3_CR36","first-page":"386","volume-title":"Fundamentals of a Theory of Asynchronous Information Flow","author":"CA Petri","year":"1962","unstructured":"Petri, C.A ., Fundamentals of a Theory of Asynchronous Information Flow. InProc. IFIP Congress 62, North-Holland Pub. Co., Amsterdam, 1962, pp. 386\u2013390."},{"issue":"No. 7","key":"3_CR37","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/109626.109635","volume":"Vol. 26","author":"V Santos Costa","year":"1991","unstructured":"Santos Costa V ., Warren, D. H. D. and Yang, R., Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. InProc. Third ACM SIGPLAN Symp. on Principles & Practice of Parallel Programming (PPoPP\u201991),SIGPLAN Notices, Vol. 26, No. 7 (1991), pp. 83\u201393.","journal-title":"SIGPLAN Notices"},{"key":"3_CR38","first-page":"232","volume-title":"Concurrent Constraint Programming (Extended Abstract)","author":"VA Saraswat","year":"1990","unstructured":"Saraswat, V. A. and Rinard, M., Concurrent Constraint Programming (Extended Abstract). InConf Record of the Seventeenth Annual ACM Symp. on Principles of Programming Languages, ACM Press, 1990, pp. 232\u2013245."},{"key":"3_CR39","first-page":"431","volume-title":"Janus: A Step Towards Distributed Constraint Programming. In Proc. 1990 North American Conference on Logic Programming (NACLP\u201990)","author":"VA Saraswat","year":"1990","unstructured":"Saraswat, V. A., Kahn, K. and Levy, J., Janus: A Step Towards Distributed Constraint Programming. InProc. 1990 North American Conference on Logic Programming (NACLP\u201990),The MIT Press, Cambridge, MA, 1990, pp. 431\u2013446."},{"key":"3_CR40","first-page":"333","volume-title":"Semantic Foundations of Concurrent Constraint Programming","author":"VA Saraswat","year":"1991","unstructured":"Saraswat, V. A., Rinard, M. C. and Panangaden, P., Semantic Foundations of Concurrent Constraint Programming. InConf. Record of the Eighteenth Annual ACM Symp. on Principles of Programming Languages, ACM Press, 1991, pp. 333\u2013352."},{"issue":"6","key":"3_CR41","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/S0747-7171(89)80064-1","volume":"8","author":"T Sato","year":"1989","unstructured":"Sato, T. and Tamaki, H., First Order Compiler: A Deterministic Logic Program Synthesis Algorithm.J. Symbolic Computation, Vol. 8, No. 6 (1989), pp. 605\u2013627.","journal-title":"J.Symbolic Computation"},{"issue":"8","key":"3_CR42","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.1986.1663307","volume":"19","author":"EY Shapiro","year":"1986","unstructured":"Shapiro, E. Y., Concurrent Prolog: A Progress Report.IEEE Computer, Vol. 19, No. 8 (1986), pp. 44\u201358.","journal-title":"IEEE Computer"},{"issue":"3","key":"3_CR43","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, Vol. 21, No. 3 (1989), pp. 413\u2013510.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"3_CR44","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/153520.153534","volume":"36","author":"EY Shapiro","year":"1993","unstructured":"Shapiro, E. Y., Warren, D. H. D., Fuchi, K., Kowalski, R. A., Furukawa, K., Ueda, K., Kahn, K. M., Chikayama, T. and Tick, E., The Fifth Generation Project: Personal Perspectives.Comm. ACM, Vol. 36, No. 3 (1993), pp. 46\u2013103.","journal-title":"Comm. ACM"},{"key":"3_CR45","first-page":"505","volume-title":"Encapsulated Search for Higher-order Concurrent Constraint Programming. In Proc. 1994 International Logic Programming Symp. (ILPS\u201994)","author":"C Schulte","year":"1994","unstructured":"Schulte, C. and Smolka, G., Encapsulated Search for Higher-order Concurrent Constraint Programming. InProc. 1994 International Logic Programming Symp. (ILPS\u201994), The MIT Press, Cambridge, MA, 1994, pp. 505\u2013520."},{"key":"3_CR46","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"In Computer Science Today","author":"G Smolka","year":"1995","unstructured":"Smolka, G ., The Oz Programming Model. InComputer Science Today,van Leeuven, J. (ed.), LNCS 1000, Springer-Verlag, Berlin, 1995, pp. 324\u2013343."},{"issue":"1\u20133","key":"3_CR47","first-page":"17","volume":"29","author":"Z Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F. and Conway, T., The Execution Algorithm of Mercury, An Efficient Purely Declarative Logic Programming Language.J. Logic Programming, Vol. 29, No. 1\u20133 (1996), pp. 17\u201364.","journal-title":"An Efficient Purely Declarative Logic Programming Language. J. Logic Programming"},{"key":"3_CR48","first-page":"50","volume-title":"Parallel Inference Machine PIM. In Proc. Int. Conf on Fifth Generation Computer Systems 1992","author":"K Taki","year":"1992","unstructured":"Taki, K ., Parallel Inference Machine PIM. In Proc. Int.Conf on Fifth Generation Computer Systems 1992, Ohmsha and IOS Press, Tokyo, 1992, pp. 50\u201372."},{"issue":"2","key":"3_CR49","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0743-1066(94)00038-8","volume":"23","author":"E Tick","year":"1995","unstructured":"Tick, E. The Deevolution of Concurrent Logic Programming Languages.J. Logic Programming, Vol. 23, No. 2 (1995), pp. 89\u2013123.","journal-title":"J. Logic Programming"},{"key":"3_CR50","first-page":"76","volume-title":"Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment","author":"M Toyoda","year":"1997","unstructured":"Toyoda, M., Shizuki, B., Takahashi, S., Matsuoka, S. and Shibayama, E., Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment. InProc. IEEE Symp. on Visual Languages, IEEE, 1997, pp. 76\u201383."},{"key":"3_CR51","first-page":"168","volume-title":"ICOT Tech. Report TR-103, ICOT","author":"K Ueda","year":"1985","unstructured":"Ueda, K ., Guarded Horn Clauses. ICOT Tech. Report TR-103, ICOT, Tokyo, 1985. Also inLogic Programming\u201985, Wada, E. (ed.), LNCS 221, Springer- Verlag, Berlin, 1986, pp. 168\u2013179."},{"key":"3_CR52","first-page":"119","volume-title":"Concurrent Prolog Compiler on Top of Prolog. In Proc. 1985 Symp. on Logic Programming (SLP\u2019ss85)","author":"K Ueda","year":"1985","unstructured":"Ueda,K . and Chikayama, T.,Concurrent Prolog Compiler on Top of Prolog. InProc. 1985 Symp. on Logic Programming (SLP\u201985), IEEE, 1985, pp. 119\u2013126."},{"key":"3_CR53","first-page":"270","volume-title":"Making Exhaustive Search Programs Deterministic","author":"K Ueda","year":"1986","unstructured":"Ueda, K. Making Exhaustive Search Programs Deterministic.In Proc. Third Int. Conf. on Logic Programming (ICLP\u201986), LNCS 225, Springer-Verlag, Berlin, 1986, pp. 270\u2013282. Revised version in New Generation Computing, Vol. 5, No. 1 (1987), pp. 29\u201344."},{"key":"3_CR54","first-page":"582","volume-title":"Transformation Rules for GHC Programs. In Proc. Int. Conf. on Fifth Generation Computer Systems 1988","author":"K Ueda","year":"1988","unstructured":"Ueda, K. and Furukawa, K.,Transformation Rules for GHC Programs. InProc. Int. Conf. on Fifth Generation Computer Systems 1988,ICOT,Tokyo, 1988, pp. 582\u2013591."},{"key":"3_CR55","first-page":"957","volume-title":"Parallelism in Logic Programming. In Information Processing 89","author":"K Ueda","year":"1989","unstructured":"Ueda, K ., Parallelism in Logic Programming. InInformation Processing 89, Proc. IFIP 11th World Computer Congress, North-Holland\/IFIP, 1989, pp. 957\u2013964."},{"key":"3_CR56","first-page":"441","volume-title":"Also in Programming of Future Generation Computers","author":"K Ueda","year":"1986","unstructured":"Ueda, K., Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard. ICOT Tech. Report TR-208, ICOT, Tokyo, 1986. Also inProgramming of Future Generation Computers, Nivat, M. and Fuchi, K. (eds.), North-Holland, Amsterdam, 1988, pp. 441\u2013456."},{"issue":"6","key":"3_CR57","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","volume":"33","author":"K Ueda","year":"1990","unstructured":"Ueda, K. and Chikayama, T. Design of the Kernel Language for the Parallel Inference Machine.The Computer Journal, Vol. 33, No. 6 (1990), pp. 494\u2013500.","journal-title":"The Computer Journal"},{"key":"3_CR58","first-page":"3","volume-title":"A New Implementation Technique for Flat GHC. In Proc. Seventh Int. Conf on Logic Programming (ICLP\u201990)","author":"K Ueda","year":"1990","unstructured":"Ueda, K . and Morita, M., A New Implementation Technique for Flat GHC. InProc. Seventh Int. Conf on Logic Programming (ICLP\u201990), The MIT Press, Cambridge, MA, 1990, pp. 3\u201317. Revised version inNew Generation Computing[61]."},{"key":"3_CR59","first-page":"87","volume-title":"Designing a Concurrent Programming Language","author":"K Ueda","year":"1990","unstructured":"Ueda, K ., Designing a Concurrent Programming Language. InProc. Info- Japan\u201990, Information Processing Society of Japan, Tokyo, 1990, pp. 87\u201394."},{"issue":"3\u20134","key":"3_CR60","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF03037181","volume":"11","author":"K Ueda","year":"1993","unstructured":"Ueda, K. and Morita, M., Message-Oriented Parallel Implementation of Moded Flat GHC.New Generation Computing, Vol. 11, No. 3\u20134 (1993), pp. 323\u2013341.","journal-title":"New Generation Computing"},{"issue":"1","key":"3_CR61","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF03038307","volume":"13","author":"K Ueda","year":"1994","unstructured":"Ueda, K. and Morita, M., Moded Flat GHC and Its Message-Oriented Implementation Technique.New Generation Computing, Vol. 13, No. 1 (1994), pp. 3\u201343.","journal-title":"New Generation Computing"},{"key":"3_CR62","first-page":"27","volume-title":"Moded Flat GHC for Data-Parallel Programming","author":"K Ueda","year":"1994","unstructured":"Ueda, K .,Moded Flat GHC for Data-Parallel Programming. InProc. FGCS\u201994 Workshop on Parallel Logic Programming, ICOT, Tokyo, 1994, pp. 27\u201335."},{"key":"3_CR63","first-page":"134","volume-title":"Experiences with Strong Moding in Concurrent Logic\/Constraint Programming. In Proc. Int. Workshop on Parallel Symbolic Languages and Systems (PSLS\u201995)","author":"K Ueda","year":"1996","unstructured":"Ueda, K., Experiences with Strong Moding in Concurrent Logic\/Constraint Programming. InProc. Int. Workshop on Parallel Symbolic Languages and Systems (PSLS\u201995), LNCS 1068, Springer-Verlag, Berlin, 1996, pp. 134\u2013153."},{"key":"3_CR64","unstructured":"Ueda, K., Linearity Analysis of Concurrent Logic Programs. In preparation."}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T04:27:56Z","timestamp":1712809676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_3","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}