{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T23:10:23Z","timestamp":1684969823032},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1991,10]]},"DOI":"10.1007\/bf03037521","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:16:23Z","timestamp":1240542983000},"page":"23-53","source":"Crossref","is-referenced-by-count":3,"title":["OR-parallel evaluation of logic programs on a multi-ring dataflow machine"],"prefix":"10.1007","volume":"10","author":[{"given":"A. V. S.","family":"Sastry","sequence":"first","affiliation":[]},{"given":"L. M.","family":"Patnaik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037521_CR1","doi-asserted-by":"crossref","unstructured":"Arvind and Nikhil, R. S., \u201cI-structres: Data Structures for Parallel Computing,\u201dTechnical Report Computation Structures Group Memo 271, Laboratory for Computer Science, Department of Electrical Engineering and Computer Science, MIT, 1987.","DOI":"10.1007\/3-540-18420-1_65"},{"key":"BF03037521_CR2","doi-asserted-by":"crossref","unstructured":"Arvind and Nikhil, R. S. and Pingali, K. K. \u201cI-structures: Data Structures for Parallel Computing,\u201dTechnical Report Computation Structures Group Memo 269, Laboratory for Computer Science, Departments of Electrical Engineering and Computer Science, MIT, 1987.","DOI":"10.1007\/3-540-18420-1_65"},{"key":"BF03037521_CR3","doi-asserted-by":"crossref","unstructured":"Barahona, P. M. C. C. and Gurd, J. R., \u201cProcessor Allocation in a Multi-Ring Dataflow Machine,\u201dJournal of Parallel and Distributed Computing, 3, 1986.","DOI":"10.1016\/0743-7315(86)90018-3"},{"key":"BF03037521_CR4","unstructured":"Borgwardt, P., Parallel Prolog Using Stack Segments on Shared Memory Multiprocessors,\u201d in1984 International Symposium on Logic Programming, 1984."},{"key":"BF03037521_CR5","unstructured":"Ciepielewski, A. and Haridi, S., \u201cA Formal Model for OR-Parallel Execution of Logic Programs,\u201d inInformation Processing 83, 1983."},{"issue":"1","key":"BF03037521_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J. S. Conery","year":"1985","unstructured":"Conery, J. S. and Kibler, D. F., \u201cAnd Parallelism and Nondeterminism in Logic Programs,\u201dNew Generation Computing, 3, 1, pp. 43\u201370, 1985.","journal-title":"New Generation Computing"},{"key":"BF03037521_CR7","doi-asserted-by":"crossref","unstructured":"Conery, J.S., \u201cBinding Environments for Parallel Logic Programs in Non-shared Multiprocessors,\u201d in1987 Symposium on Logic Programming, 1987.","DOI":"10.1007\/978-1-4613-1987-0_2"},{"key":"BF03037521_CR8","doi-asserted-by":"crossref","unstructured":"Crammond, J., \u201cA Comparative Study of Unification Algorithms for Or-Parallel Execution of Logic Languages,\u201dIEEE Transactions on Computers,c-34(10), 1985.","DOI":"10.1109\/TC.1985.6312194"},{"key":"BF03037521_CR9","unstructured":"Special Issue on Dataflow Systems.IEEE Computer, Feb., 1982."},{"key":"BF03037521_CR10","unstructured":"Hasegawa, R. et al., \u201cAn Architecture for List-Processing-Oriented Dataflow Machine,\u201dREVIEW of the Electrical Communication Laboratories,32,5, 1985."},{"key":"BF03037521_CR11","unstructured":"Hasegawa, R. and Amamiya, M., \u201cParallel Execution of Logic Programs Based on Dataflow Concept,\u201d inInternational Conference on Fifth Generation Computer Systems, 1984."},{"issue":"1","key":"BF03037521_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF03037380","volume":"4","author":"Z. Halim","year":"1986","unstructured":"Halim, Z., \u201cA Data-Driven Machine for Or-Parallel Evaluation of Logic Programs,\u201d New Generation Computing,4, 1, pp. 5\u201333, 1986.","journal-title":"New Generation Computing"},{"key":"BF03037521_CR13","unstructured":"Halim, Z. and Watson, I., \u201cAn Or-Parallel Data-Driven Model for Logic Programs,\u201d inInternational Workshop on High Level Computer Architecture, 1984."},{"key":"BF03037521_CR14","doi-asserted-by":"crossref","unstructured":"Ito, N. et al., \u201cThe Architecture and Preliminary Evaluation Results of the Experimental Parallel Inference Machine PIM-D,\u201d in13th Annual Symposium on Computer Architecture, 1986.","DOI":"10.1145\/17356.17373"},{"issue":"1","key":"BF03037521_CR15","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF03037114","volume":"3","author":"N. Ito","year":"1985","unstructured":"Ito, N., et al., \u201cDataflow Based Execution Mechanisms of Parallel and Concurrent Prolog,\u201d New Generation Computing,3, 1, pp. 15\u201341, 1985.","journal-title":"New Generation Computing"},{"key":"BF03037521_CR16","doi-asserted-by":"crossref","unstructured":"Conery, J. S. and Kibler, D., \u201cParallel Interpretation of Logic Programming,\u201d inThe ACM Conference on Functional Programming and Computer Architecture, 1981.","DOI":"10.1145\/800223.806775"},{"key":"BF03037521_CR17","doi-asserted-by":"crossref","unstructured":"Kirkham Gurd, J. R. and Watson, I., \u201cThe Prototype Manchester Dataflow Computer,\u201dCommunications of the ACM,28,1, 1985.","DOI":"10.1145\/2465.314899"},{"key":"BF03037521_CR18","unstructured":"Kale, L. V., \u201cParallel Execution of Logic Programs: The Reduce-or Process Model,\u201d inInternational Conference on Logic Programming, 1987."},{"key":"BF03037521_CR19","doi-asserted-by":"crossref","unstructured":"Kawakami, K. and Gurd, J. R., \u201cA Scalable Dataflow Structure Store,\u201d in13th Annual Symposium on Computer Architecture, 1986.","DOI":"10.1145\/17356.17385"},{"key":"BF03037521_CR20","unstructured":"Lindstrom, G., \u201cOr-Parallelism on Applicative Architectures,\u201d inSecond International Conference on Logic Programming, 1984."},{"key":"BF03037521_CR21","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.,Foundations of Logic Programming, first edition, Springer-Verlag, Berlin, 1984.","edition":"first edition"},{"issue":"2","key":"BF03037521_CR22","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF03037069","volume":"3","author":"R. Onai","year":"1985","unstructured":"Onai, R., et al., \u201cArchitecture of a Reduction Based Parallel Inference Machine PIM-R,\u201d New Generation Computing,3, 2, pp. 197\u2013228, 1985.","journal-title":"New Generation Computing"},{"key":"BF03037521_CR23","first-page":"23","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A., \u201cA Machine Oriented Logic Based on the Resolution Principle,\u201dJ. A. C. M., 12, pp. 23\u201341, 1965.","journal-title":"J. A. C. M."},{"key":"BF03037521_CR24","unstructured":"Sastry, A. V. S., \u201cA Multi-Ring Dataflow Architecture for Parallel Execution of Logic Programs,\u201dMaster\u2019s Thesis, Indian Institute of Science, Sept., 1988."},{"key":"BF03037521_CR25","doi-asserted-by":"crossref","unstructured":"Sargeant, J. and Kirkham, C. C., \u201cStored Data Structures on the Manchester Dataflow Machine,\u201d in13th Annual Symposium on Computer Architecture, 1986.","DOI":"10.1145\/17356.17384"},{"key":"BF03037521_CR26","unstructured":"Sastry, A. V. S. and Patnaik, L. M., \u201cA Dataflow Architecture for Or-Parallel Execution of Logic Programs,\u201d inInternational Conference on Parallel Processing, 1988."},{"key":"BF03037521_CR27","series-title":"Technical Report","volume-title":"Implementing Prolog: Compiling Predicate Logic Programs","author":"D. H. D. Warren","year":"1977","unstructured":"Warren, D. H. D., \u201cImplementing Prolog: Compiling Predicate Logic Programs,\u201dTechnical Report, 39, DAI, London, 1977."},{"key":"BF03037521_CR28","series-title":"Technical Report","volume-title":"An Abstract Prolog Instruction Set","author":"D. H. D. Warren","year":"1983","unstructured":"Warren, D. H. D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Report 390, SRI, Menlo Park, CA, 1983."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037521\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T22:44:00Z","timestamp":1684968240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["BF03037521"],"URL":"https:\/\/doi.org\/10.1007\/bf03037521","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,10]]}}}