{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:04:31Z","timestamp":1773983071130,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1990,2,1]],"date-time":"1990-02-01T00:00:00Z","timestamp":633830400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1990,2]]},"DOI":"10.1007\/bf03037208","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:48:42Z","timestamp":1240368522000},"page":"243-271","source":"Crossref","is-referenced-by-count":121,"title":["The Aurora or-parallel Prolog system"],"prefix":"10.1007","volume":"7","author":[{"given":"Ewing","family":"Lusk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralph","family":"Butler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terrence","family":"Disz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Olson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Overbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David H. D.","family":"Warren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Calderwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u00e9ter","family":"Szeredi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seif","family":"Haridi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Per","family":"Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Carlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Ciepielewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogumil","family":"Hausman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037208_CR1","unstructured":"Ali, K. \u201cOr-Parallel Execution of Prolog on BC-Machine,\u201dSICS Research Report, Swedish Institute of Computer Science, 1987."},{"key":"BF03037208_CR2","unstructured":"Butler, R., Disz, T., Lusk, E., Olson, R., Overbeek, R., and Stevens, R., \u201cScheduling Or-parallelism: an Argonne perspective,\u201d inProceedings of the Fifth International Conference on Logic Programming, MIT Press, pp. 1590\u20131605, August, 1988."},{"key":"BF03037208_CR3","unstructured":"Calderwood, A., \u201cAurora\u2014description of scheduler interfaces,\u201dInternal Report, Gigalips Project, January, 1988."},{"key":"BF03037208_CR4","unstructured":"Calderwood, A. and Szeredi, P., \u201cScheduling or-parallelism in Aurora\u2014the Manchester scheduler,\u201d inProceedings of the Sixth International Conference on Logic Programming, MIT Press, pp. 419\u2013435, June, 1989."},{"key":"BF03037208_CR5","unstructured":"Carlsson, M., \u201cInternals of Sicstus Prolog version 0.6,\u201dInternal Report, Gigalips Project, November, 1987."},{"key":"BF03037208_CR6","unstructured":"Carlsson, M. and Wid\u00e9n. J., \u201cSICStus Prolog User\u2019s Manual,\u201dSICS Research Report, R88007B, October, 1988."},{"key":"BF03037208_CR7","unstructured":"Ciepielewski, A. and Haridi, S., \u201cA formal model for or-parallel execution of logic programs,\u201d inIFIP 83 Conference, North Holland, pp. 299\u2013305, 1983."},{"key":"BF03037208_CR8","unstructured":"Ciepielewski, A., Haridi, S. and Hausman, B., \u201cInitial evaluation of a virtual machine for or-parallel execution of logic programs,\u201d inIFIP-TC10 Working Conference on Fifth Generation Computer Architecture, Manchester, U. K., 1985."},{"issue":"No. 5","key":"BF03037208_CR9","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1093\/comjnl\/30.5.386","volume":"30","author":"W. Clocksin","year":"1987","unstructured":"Clocksin, W., \u201cPrinciples of the DelPhi parallel inference machine,\u201dComputer Journal, Vol. 30, No. 5, pp. 386\u2013392, 1987.","journal-title":"Computer Journal"},{"key":"BF03037208_CR10","first-page":"471","volume-title":"International Conference on Fifth Generation Computer Systems 1984","author":"D. DeGroot","year":"1984","unstructured":"DeGroot, D., \u201cRestricted and-parallelism,\u201d inInternational Conference on Fifth Generation Computer Systems 1984, Hideo Aiso ed., Institute for New Generation Computing, Tokyo, pp. 471\u2013478, 1984."},{"key":"BF03037208_CR11","unstructured":"Disz, T. and Lusk, E., \u201cA graphical tool for observing the behavior of parallel logic programs,\u201d inProceedings of the 1987 Symposium on Logic Programming, pp. 46\u201353, 1987."},{"key":"BF03037208_CR12","unstructured":"Disz, T., lusk, E. and Overbeek, R., \u201cExperiments with OR-parallel logic programs,\u201d inProceedings of the Fourth International Conference on Logic Programming, MIT Press, pp. 576\u2013600, 1987."},{"key":"BF03037208_CR13","unstructured":"Gregory, S.,Parallel Logic Programming in Parlog, Addison-Wesley, 1987."},{"key":"BF03037208_CR14","unstructured":"Haridi, S. and Brand, P., \u201cAndorra Prolog\u2014an integration of Prolog and committed choice languages,\u201d inInternational Conference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"BF03037208_CR15","doi-asserted-by":"crossref","unstructured":"Hausman, B., \u201cPruning and scheduling speculative work in or-parallel Prolog,\u201d inPARLE 89, Conference on Prallel Architectures and Languages Europe, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51285-3_38"},{"key":"BF03037208_CR16","unstructured":"Hausman, B., Ciepielewski, A. and Calderwood, A., \u201cCut and side-effects in or-parallel Prolog,\u201d inInternational Conference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"BF03037208_CR17","unstructured":"Hausman, B., Ciepielewski, A. and Haridi, S., \u201cOr-parallel Prolog made efficient on shared memory multiprocessors,\u201d inProceedings of the 1987 Symposium on Logic Programming, pp. 69\u201379, 1987."},{"key":"BF03037208_CR18","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., \u201cAn abstract machine for restricted and-parallel execution of logic programs,\u201d inThird International Conference on Logic Programming, London, Springer-Verlag, pp. 25\u201339, 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"BF03037208_CR19","unstructured":"Hirschman, L., Hopkins, W. and Smith, R., \u201cOr-parallel speed-up in natural language processing: a case study,\u201d inProceedings of the Fifth International Conference on Logic Programming, MIT Press, pp. 263\u2013279, August, 1988."},{"issue":"No. 1","key":"BF03037208_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02575007","volume":"36","author":"E. Lusk","year":"1987","unstructured":"Lusk, E. and McFadden, R., \u201cUsing automated reasoning tools: a study of the semigroup F2B2,\u201dSemigroup Forum, Vol. 36, No. 1, pp. 75\u201388, 1987.","journal-title":"Semigroup Forum"},{"key":"BF03037208_CR21","unstructured":"Ratcliffe, M. \u201cA progress report on PEPSys,\u201dPresentation at the Gigalips Workshop, Manchester, July, 1988."},{"key":"BF03037208_CR22","unstructured":"Shapiro, E. ed.,Concurrent Prolog\u2014Collected Papers, MIT Press, 1987."},{"key":"BF03037208_CR23","unstructured":"Szeredi, P., \u201cPerformance analysis of the Aurora or-parallel Prolog system,\u201d inProceedings of the 1989 North American Conference on Logic Programming, pp. 713\u2013734, MIT Press 1989."},{"key":"BF03037208_CR24","unstructured":"Warren, D. H. D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Note, 309, SRI International, 1983."},{"key":"BF03037208_CR25","unstructured":"Warren, D. H. D., \u201cApplied Logic\u2014Its Use and Implementation as a Programming Tool,\u201dPh. D thesis, Edinburgh University, 1977. Available asTechnical Note, 290, SRI International."},{"key":"BF03037208_CR26","doi-asserted-by":"crossref","unstructured":"Warren, D. H. D., \u201cOr-parallel execution models of Prolog,\u201d inTAPSOFT\u201987, The 1987 International Joint Conference on Theory and Practice of Software. Development, Pisa, Italy, Springer-Verlag, pp. 243\u2013259, March, 1987.","DOI":"10.1007\/BFb0014984"},{"key":"BF03037208_CR27","unstructured":"Warren, D. H. D., \u201cThe SRI model for or-parallel execution of Prolog\u2014abstract design and implementation issues,\u201d inProceedings of the 1987 Symposium on Logic Programming, pp. 92\u2013102, 1987."},{"key":"BF03037208_CR28","unstructured":"Warren, D. H. D. and Haridi, S., \u201cData Diffusion Machine\u2014a scalable shared virtual memory multiprocessor,\u201d inInternational Conference on Fifth Generation Computer Systems 1988 ICOT, 1988."},{"key":"BF03037208_CR29","volume-title":"The 1987 Symposium on Logic Programming","author":"H. Westphal","year":"1987","unstructured":"Westphal, H., Robert, P., Chassin, J. and Syre, J. C., \u201cThe PEPSys model: combining backtracking, and- and or-parallelism,\u201d inThe 1987 Symposium on Logic Programming, San Francisco, California, IEEE, 1987."},{"key":"BF03037208_CR30","unstructured":"Yang, R., \u201cSolving simple substitution ciphers in Andorra- I,\u201d inProceedings of the Sixth International Conference on Logic Programming, MIT Press, pp. 113\u2013128, June, 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037208.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037208\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:31Z","timestamp":1558572751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":30,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["BF03037208"],"URL":"https:\/\/doi.org\/10.1007\/bf03037208","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}