{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:17Z","timestamp":1725663017147},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:48:33Z","timestamp":1330195713000},"page":"242-254","source":"Crossref","is-referenced-by-count":21,"title":["Parallel logic programming languages"],"prefix":"10.1007","author":[{"given":"Akikazu","family":"Takeuchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt, K. R. and van Emden, M. H. [1982] Contributions to the Theory of Logic Programming. J. ACM, Vol. 29, No. 3 (1982), pp. 841\u2013862.","journal-title":"J. ACM"},{"key":"19_CR2","unstructured":"Bowen, D. L. (ed.), Byrd, L., Pereira, F. C. N., Pereira, L. M. and Warren, D. H. D. [1983] DECsystem-10 Prolog User's Manual. Dept. of Artificial Intelligence, Univ. of Edinburgh."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K. L. and Gregory, S. [1981] A Relational Language for Parallel Programming. In Proc. 1981 Conf. on Functional Programming Languages and Computer Architecture, ACM, pp. 171\u2013178.","DOI":"10.1145\/800223.806776"},{"key":"19_CR4","unstructured":"Clark, K. L. McCabe, F. and Gregory, S. [1982] IC-Prolog language features. In Logic Programming, Clark, K. L. and Tarnlund, S. A. (ed.), Academic Press, pp. 253\u2013266."},{"key":"19_CR5","unstructured":"Clark, K. L. and Gregory, S. [1984a] PARLOG: Parallel Programming in Logic. Research Report DOC 84\/4, Dept. of Computing, Imperial College of Science and Technology, London."},{"issue":"1","key":"19_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0743-1066(85)90003-2","volume":"2","author":"K. L. Clark","year":"1984","unstructured":"Clark, K. L. and Gregory, S. [1984b] Notes on the Implementation of PARLOG. Research Report DOC 84\/16, Dept. of Computing, Imperial College of Science and Technology, London, 1984. Also in J. of Logic Programming, Vol. 2, No. 1 (1985), pp. 17\u201342.","journal-title":"J. of Logic Programming"},{"key":"19_CR7","unstructured":"Codish, M. [1985] Compiling OR-parallelism into AND-parallelism. Master Thesis, Computer Science, Feinberg Graduate School of the Weizmann Institute of Science, Rehovot."},{"key":"19_CR8","unstructured":"Colmerauer, A. et al. [1982] PROLOG II Reference Manual and Theoretical Model. Groupe Intelligence Artificielle, Faculte des Sciences de Luminy, Marseille."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Conery, J. S. and Kibler, D. F. [1981] Parallel Interpretation of Logic Programs. In Proc. 1981 Conf. on Functional Programming Languages and Computer Architecture, ACM, pp. 163\u2013170.","DOI":"10.1145\/800223.806775"},{"key":"19_CR10","unstructured":"Hellerstein, L. and Shapiro, E. [1984] Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. In Proc. 1984 Symp. on Logic Programming, IEEE Computer Society, pp. 99\u2013117."},{"key":"19_CR11","unstructured":"Hirata, M. [1985] Self-Description of Oc and Its Applications. In Proc. Second National Conf. of Japan Society of Software Science and Technology, pp. 153\u2013156. (in Japanese)"},{"key":"19_CR12","unstructured":"Kowalski, R. [1974] Predicate Logic as Programming Language. In Proc. IFIP-74 Congress, North-Holland, pp. 569\u2013574."},{"key":"19_CR13","first-page":"331","volume-title":"Proc. Second Int. Logic Programming Conf.","author":"J. Levy","year":"1984","unstructured":"Levy, J. [1984] A Unification Algorithm for Concurrent Prolog. In Proc. Second Int. Logic Programming Conf., Uppsala Univ., Sweden, pp. 331\u2013342."},{"key":"19_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1984","unstructured":"Lloyd, J. W. [1984] Foundations of Logic Programming. Springer-Verlag, Berlin Heidelberg New York Tokyo."},{"key":"19_CR15","series-title":"Tech. Report","volume-title":"A Framework of Debugging GHC","author":"J. W. Lloyd","year":"1986","unstructured":"Lloyd, J. W. and Takeuchi, A. [1986] A Framework of Debugging GHC. to appear Tech. Report, Institute for New Generation Computer Technology, Tokyo."},{"key":"19_CR16","series-title":"Tech. Report","volume-title":"The Design and Implementation of Flat Concurrent Prolog","author":"C. Mierowsky","year":"1985","unstructured":"Mierowsky, C., Taylor, S., Shapiro, E., Levy, J. and Safra, M. [1985] The Design and Implementation of Flat Concurrent Prolog. Tech. Report CS85-09, The Weizmann Institute of Science, Rehovot."},{"key":"19_CR17","unstructured":"Miyazaki, T., Takeuchi, A. and Chikayama, T. [1985] A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. In Proc. 1985 Symp. on Logic Programming, IEEE Computer Society, pp. 110\u2013118."},{"key":"19_CR18","unstructured":"Naish, L. [1984] MU-Prolog 3.1db Reference Manual. Internal Memorandum, Department of Computer Science, Univ. Melbourne."},{"key":"19_CR19","unstructured":"Roussel, P. [1975] Prolog: Manuel reference et d'utilisation. Tech. Report, Groupe d'Intelligence Artificielle, Marseille-Luminy."},{"key":"19_CR20","series-title":"Tech. Report","volume-title":"A Subset of Concurrent Prolog and Its Interpreter","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y. [1983] A Subset of Concurrent Prolog and Its Interpreter. Tech. Report TR-003, Institute for New Generation Computer Technology, Tokyo."},{"issue":"2","key":"19_CR21","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF03037066","volume":"3","author":"A. Takeuchi","year":"1985","unstructured":"Takeuchi, A. and Furukawa, K. [1985] Bounded Buffer Communication in Concurrent Prolog. New Generation Computing, Vol. 3, No. 2 (1985), pp. 145\u2013155.","journal-title":"New Generation Computing"},{"key":"19_CR22","series-title":"Tech. Report","volume-title":"Algorithmic Debugging of GHC programs","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A. [1986] Algorithmic Debugging of GHC programs. to appear Tech. Report, Institute for New Generation Computer Technology, Tokyo."},{"key":"19_CR23","series-title":"ICOT Tech. Report","volume-title":"Lecture Notes in Computer Science","author":"K. Ueda","year":"1985","unstructured":"Ueda, K. [1985a] Guarded Horn Clauses. ICOT Tech. Report TR-103, Institute for New Generation Computer Technology. Also to appear in Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg (1986)."},{"key":"19_CR24","series-title":"ICOT Tech. Report","volume-title":"Concurrent Prolog Re-examined","author":"K. Ueda","year":"1985","unstructured":"Ueda, K. [1985b] Concurrent Prolog Re-examined. ICOT Tech. Report TR-102, Institute for New Generation Computer Technology, Tokyo."},{"key":"19_CR25","unstructured":"Ueda, K. [1986] Guarded Horn Clauses. Doctoral Thesis, Information Engineering Course, Faculty of Engineering, Univ. of Tokyo."},{"issue":"4","key":"19_CR26","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"van Emden, M. H. and Kowalski, R. [1976] The Semantics of Predicate Logic as a Programming Language, J. ACM, Vol. 23, No. 4 (1976), pp. 733\u2013742.","journal-title":"J. ACM"},{"key":"19_CR27","unstructured":"van Emden, M. H. and de Lucena Filho, G. J. [1982] Predicate logic as a programming language for parallel programming. In Logic Programming, Clark, K. L. and Tarnlund, S. A. (ed.), Academic Press, pp. 189\u2013198."}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:53Z","timestamp":1619557493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}