{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T01:31:36Z","timestamp":1649035896377},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/bf00449704","type":"journal-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T03:01:50Z","timestamp":1100314910000},"page":"169-184","source":"Crossref","is-referenced-by-count":0,"title":["An experiment for truly parallel logic programming"],"prefix":"10.1007","volume":"16","author":[{"given":"G.","family":"Efthivoulidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Vlassis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Tsanakas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Papakonstantinou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Clark K. L.: Parallel logic programming,The Computer Journal 33(6) (1990).","DOI":"10.1093\/comjnl\/33.6.482"},{"key":"CR2","unstructured":"Cacsuk P. and Wise M. (eds):Implementations of Distributed Prolog, Wiley series in Parallel Computing, 1992."},{"issue":"3","key":"CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J. Kergommeax","year":"1994","unstructured":"Kergommeax, J. and Godognet, P.: Parallel logic programming systems,ACM computing Surveys 26(3) (1994), 295?336.","journal-title":"ACM computing Surveys"},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/181748.181753","volume":"29","author":"K. Zhang","year":"1994","unstructured":"Zhang, K.: A review of exploitation of AND-parallelism and combined AND\/OR-parallelism in logic programs,ACM SIGPLAN Notices 29(2) (1994), 25?32.","journal-title":"ACM SIGPLAN Notices"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF03037456","volume":"5","author":"K. Ueda","year":"1987","unstructured":"Ueda, K.: Making exhaustive search programs deterministic,New Generation Computing 5 (1987), 29?44.","journal-title":"New Generation Computing"},{"issue":"5","key":"CR6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF01379187","volume":"18","author":"A. Bansal","year":"1989","unstructured":"Bansal, A. and Sterling, L.: Transforming generate-and-test programs to execute under committed-choice AND-parallelism,International Journal of Parallel Programming 18(5) (1989), 401?446.","journal-title":"International Journal of Parallel Programming"},{"issue":"2","key":"CR7","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.265944","volume":"5","author":"B. Ramkumar","year":"1994","unstructured":"Ramkumar, B. and Kal\u00e9, L. V.: Machine independent AND and OR parallel execution of logic programs: Part I ? the binding environment,IEEE Trans. Parallel and Distrib. Syst. 5(2) (1994), 170?180.","journal-title":"IEEE Trans. Parallel and Distrib. Syst."},{"issue":"2","key":"CR8","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/71.265945","volume":"5","author":"B. Ramkumar","year":"1994","unstructured":"Ramkumar, B. and Kal\u00e9, L. V.: Machine independent AND and OR parallel execution of logic programs: Part II ? compiled execution,IEEE Trans. Parallel and Distrib. Syst. 5(2) (1994), 181?192.","journal-title":"IEEE Trans. Parallel and Distrib. Syst."},{"key":"CR9","unstructured":"Yang R.: Performance of the compiler-based Andorra-I system, inProc. 10th ICLP, MIT Press, 1993, pp. 150?166."},{"key":"CR10","unstructured":"Foster I. and Taylor S.:Strand: New Concepts in Parallel Programming, Prentice-Hall, 1992."},{"key":"CR11","unstructured":"Kernighan B. W. and Pike R.:The UNIX Programming Environment, Prentice-Hall, 1984."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. Pereira","year":"1980","unstructured":"Pereira, F. C. N. and Warren, D. H. D.: Definite clause grammars for language analysis,Artificial Intelligence,13 (1980), 231?278.","journal-title":"Artificial Intelligence"},{"key":"CR13","unstructured":"Gal A.et al.: Prolog for Natural Language Processing, Wiley, 1991."},{"key":"CR14","unstructured":"Stamatopoulos G.:Contributions to the Greek Language for Communication with Data Bases, PhD Dissertation, University of Athens, 1988."},{"issue":"1","key":"CR15","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/181577.181586","volume":"29","author":"H. Alblas","year":"1994","unstructured":"Alblas, H. et al.: A bibliography on parallel parsing,ACM SIGPLAN Notices,29(1) (1994), 54?64.","journal-title":"ACM SIGPLAN Notices"},{"key":"CR16","unstructured":"Trehan R. and Wilk P.: A parallel chart parser for the committed choice non-deterministic logic languages, inLogic Programming Proc. 5th Int. Conf. and Symposium, MIT Press, 1988, pp. 212?232."},{"key":"CR17","unstructured":"Perihelion Software:Helios Operating System, Prentice-Hall, 1989."}],"container-title":["Journal of Intelligent and Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00449704.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00449704\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00449704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T01:33:50Z","timestamp":1554341630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00449704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["BF00449704"],"URL":"https:\/\/doi.org\/10.1007\/bf00449704","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}