{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T11:31:39Z","timestamp":1676115099778},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1007\/bf01414554","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T15:24:21Z","timestamp":1112541861000},"page":"189-214","source":"Crossref","is-referenced-by-count":14,"title":["OR-parallel execution of Prolog on a multi-sequential machine"],"prefix":"10.1007","volume":"15","author":[{"given":"Khayri A. M.","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"J. S. Conery and D. F. Kibler, Parallel Interpretation of Logic Programs, inProc. of the ACM Conf. on Functional Programming Languages and Computer Architecture, pp. 163?170 (October 1981).","DOI":"10.1145\/800223.806775"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF03037061","volume":"2","author":"H. Yasuhara","year":"1984","unstructured":"H. Yasuhara and K. Nitadori, ORBIT: A Parallel Computing Model of Prolog,New Generation Computing 2:277?288 (1984).","journal-title":"New Generation Computing"},{"key":"CR3","unstructured":"Y. Sohma, K. Satoh, K. Kumon, H. Masuzawa, and A. Itashiki, A New Parallel Inference Mechanism Based on Sequential Processing,Proc. of Working Conf. Fifth Generation Computer Architecture, Manchester (July 1985)."},{"key":"CR4","unstructured":"A. Ciepielewski and S. Haridi, A Formal Model for OR-Parallel execution of Logic Programs, inProc. Inform. Processing 83, pp. 299?305 (1983)."},{"key":"CR5","unstructured":"P. Borgwardt, Parallel Prolog Using Stack Segments on Shared-Memory Muliprocessors, inProc. Intl. Symp. Logic Programming, pp. 2?11 (February 1984)."},{"key":"CR6","unstructured":"G. Lindstrom, Or-Parallelism on Applicative Architectures, inProc. Second Intl. Logic Programming Conf., pp. 159?170 (July 1984)."},{"issue":"10","key":"CR7","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1109\/TC.1985.6312194","volume":"34","author":"J. Crammond","year":"1985","unstructured":"J. Crammond, A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Programs,IEEE Trans. on Computers C-34(10):911?917 October 1985).","journal-title":"IEEE Trans. on Computers C"},{"key":"CR8","unstructured":"K. A. M. Ali, Pool Machine: A Multiprocessor Architecture for OR-Parallel Execution of Logic Programs, Rep. TRITA-CS-8603, The Royal Institute of Technology, Stockholm (October 1985)."},{"key":"CR9","unstructured":"K. A. M. Ali, Architectures for OR-Parallel Execution of Prolog,SICS, Working Paper (July 1986)."},{"key":"CR10","series-title":"Technical Note","volume-title":"An Abstract Prolog Instruction Set","author":"D. H. D. Warren","year":"1983","unstructured":"D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, California (October 1983)."},{"key":"CR11","unstructured":"L. E. Fahl\u00e9n, The BC-Machine Prototype, Architecture and Interconnection Network,SICS, Working Paper (July 1986)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414554.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01414554\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01414554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T17:23:01Z","timestamp":1586193781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01414554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF01414554"],"URL":"https:\/\/doi.org\/10.1007\/bf01414554","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}