{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:16:24Z","timestamp":1649189784291},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,3,1]],"date-time":"1986-03-01T00:00:00Z","timestamp":510019200000},"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":[[1986,3]]},"DOI":"10.1007\/bf03037380","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:40:51Z","timestamp":1240540851000},"page":"5-33","source":"Crossref","is-referenced-by-count":11,"title":["A data-driven machine for OR-parallel evaluation of logic programs"],"prefix":"10.1007","volume":"4","author":[{"given":"Zahran","family":"Halim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037380_CR1","unstructured":"Arvind and Kathail, V., \u201cA Multiple Processor Dataflow Machine That Supports Generalised Procedures,\u201dProc. of the 8th Annual Symposium on Computer Architecture, p. 291, May, 1981."},{"key":"BF03037380_CR2","volume-title":"A Data-Driven Model for Parallel Interpretation of Logic Programs","author":"L. Bic","year":"1984","unstructured":"Bic, L., \u201cA Data-Driven Model for Parallel Interpretation of Logic Programs,\u201d Dept. of Information and Computer Science, University of California, Irvine, California, Jan., 1984."},{"key":"BF03037380_CR3","unstructured":"Bowen, D. L., \u201cImplementation of Data Structures on a Dataflow Computer,\u201dPh. D. Thesis, University of Manchester, 1981."},{"key":"BF03037380_CR4","first-page":"194","volume-title":"Implementations of PROLOG","author":"M. Bruynooghe","year":"1984","unstructured":"Bruynooghe, M. and Pereira, L. M., \u201cDeduction Revision by Intelligent Backtracking,\u201d inImplementations of PROLOG (Campbell, J. A., ed.), Ellis Horwood Ltd., Chichester, pp. 194\u2013215, 1984."},{"key":"BF03037380_CR5","series-title":"CSALAB Working Paper","volume-title":"Formal Models for OR-Parallel Execution of Logic Programs","author":"A. Ciepielewski","year":"1982","unstructured":"Ciepielewski, A. and Haridi, S., \u201cFormal Models for OR-Parallel Execution of Logic Programs,\u201dCSALAB Working Paper, 821121, TTDS, Royal Inst. of Tech., Stockholm, Sweden, 1982."},{"key":"BF03037380_CR6","series-title":"Research Rep. Doc. 83\/85","volume-title":"PARLOG: A Parallel Logic Programming Language","author":"K. L. Clark","year":"1983","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG: A Parallel Logic Programming Language,\u201dResearch Rep. Doc. 83\/85, Imperial College, London, 1983."},{"key":"BF03037380_CR7","doi-asserted-by":"crossref","unstructured":"Conery, J. S. and Kibler, D. F., \u201cParallel Interpretation of Logic Programs,\u201dACM Conf. on Functional Languages and Architectures, 1981.","DOI":"10.1145\/800223.806775"},{"key":"BF03037380_CR8","first-page":"216","volume-title":"Implementations of PROLOG","author":"P. T. Cox","year":"1984","unstructured":"Cox, P. T., \u201cFinding Backtrack Points for Intelligent Backtracking,\u201d inImplementations of PROLOG (Campbell, J. A., ed.), Ellis Horwood Ltd., Chichester, pp. 216\u2013234, 1984."},{"key":"BF03037380_CR9","doi-asserted-by":"crossref","unstructured":"Dennis, J. B., Boughton, J. A. and Leung, C. K. C., \u201cBuilding Blocks for Dataflow Prototypes,\u201d inProc. 7th Annual Symposium on Computer Architecture, May, 1980.","DOI":"10.1145\/800053.801902"},{"key":"BF03037380_CR10","doi-asserted-by":"crossref","unstructured":"Deliani, A. and Kowalski, R. A., \u201cLogic and Semantic Networks,\u201dCACM Vol. 22,No. 2, March, 1979.","DOI":"10.1145\/359080.359090"},{"key":"BF03037380_CR11","doi-asserted-by":"crossref","unstructured":"Gajski, D., et al., \u201cA Second Opinion on Dataflow Machines and Languages,\u201dIEEE Computer,Vol. 15,No. 2, pp. 58\u201369, Feb., 1982.","DOI":"10.1109\/MC.1982.1653942"},{"key":"BF03037380_CR12","unstructured":"Gurd, J. R., \u201cDataflow Architectures,\u201dInfotech State of the Art Report: Supercomputer Systems Technology,Series 10,No. 6, 1982."},{"issue":"Nos. 6 and 7","key":"BF03037380_CR13","first-page":"91","volume":"19","author":"J. R. Gurd","year":"1980","unstructured":"Gurd, J. R. and Watson, I., \u201cDataflow Systems for High Speed Parallel Computing,\u201dComputer Design, Vol. 19, Nos. 6 and 7, p. 91, June, 1980, and p. 97, July, 1980.","journal-title":"Computer Design"},{"key":"BF03037380_CR14","unstructured":"Gurd, J. R. and Watson, I., \u201cPreliminary Evaluation of a Prototype Dataflow Computer,\u201dProc. IFIP-83 Congress, North-Holland, 1983."},{"key":"BF03037380_CR15","unstructured":"Halim, M. Z., \u201cData-driven and Demand-driven Evaluation of Logic Programs,\u201dPh. D. Thesis, University of Manchester, 1984."},{"key":"BF03037380_CR16","unstructured":"Halim, M. Z. and Watson, I., \u201cAn OR-Parallel Data-driven Model for Logic Programs,\u201d inProc. of International Workshop on High-Level Computer Architecture, L. A., Calif., May, 1984."},{"key":"BF03037380_CR17","unstructured":"Johnson, D., \u201cAutomatic Partitioning of Programs in Multiprocessor Systems,\u201dProc. IEEE Spring COMPCON, April, 1980."},{"key":"BF03037380_CR18","unstructured":"Kowalski, R. A., \u201cPredicate Logic as a Programming Language,\u201dProc. IFIP-74 Congress, North-Holland, pp. 569\u2013574, 1974."},{"key":"BF03037380_CR19","volume-title":"Parallel Execution of Horn Clause Programs","author":"G. H. Pollard","year":"1982","unstructured":"Pollard, G. H., \u201cParallel Execution of Horn Clause Programs,\u201dPh. D. Thesis, Imperial College, London, 1982."},{"issue":"No. 2","key":"BF03037380_CR20","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/TC.1977.5009292","volume":"26","author":"J. E. Rumbaugh","year":"1977","unstructured":"Rumbaugh, J. E., \u201cA Dataflow Multiprocessor,\u201dIEEE Trans. on Computers, C-26, No. 2, pp. 138\u2013146, Feb., 1977.","journal-title":"IEEE Trans. on Computers"},{"key":"BF03037380_CR21","volume-title":"Data Structure Storage \u2014 a survey of the problems and an approach to solving them","author":"J. Sargeant","year":"1982","unstructured":"Sargeant, J., \u201cData Structure Storage \u2014 a survey of the problems and an approach to solving them,\u201dDiscussion Document JSI, Dept. of Computer Science, University of Manchester, Manchester, 1982."},{"key":"BF03037380_CR22","doi-asserted-by":"crossref","unstructured":"Umeyama, S. and Tamura, K., \u201cParallel Execution of Logic Programs,\u201d inProc. of the 10th Annual Symposium on Computer Architecture, pp. 349\u2013355, 1983.","DOI":"10.1145\/800046.801673"},{"key":"BF03037380_CR23","doi-asserted-by":"crossref","unstructured":"Watson, I. and Gurd, J. R., \u201cA Practical Dataflow Computer,\u201dIEEE Computer.Vol. 15,No. 2, Feb., 1982.","DOI":"10.1109\/MC.1982.1653941"},{"key":"BF03037380_CR24","doi-asserted-by":"crossref","unstructured":"Wise, M. J., \u201cA Parallel PROLOG: the construction of a data-driven model,\u201dACM Conf. on LISP and Functional Programming, 1982.","DOI":"10.1145\/800068.802135"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037380.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037380\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:35Z","timestamp":1558572755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,3]]}},"alternative-id":["BF03037380"],"URL":"https:\/\/doi.org\/10.1007\/bf03037380","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,3]]}}}