{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T01:41:23Z","timestamp":1648777283393},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0164-1212(98)10021-3","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T02:09:52Z","timestamp":1049508592000},"page":"45-57","source":"Crossref","is-referenced-by-count":1,"title":["Exploiting and-or parallelism in Prolog: The OASys computational model and abstract architecture"],"prefix":"10.1016","volume":"43","author":[{"given":"I","family":"Vlahavas","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"78","reference":[{"issue":"6","key":"10.1016\/S0164-1212(98)10021-3_BIB1","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01379406","article-title":"Scheduling speculative work in MUSE and performance results","volume":"21","author":"Ali","year":"1992","journal-title":"Int. J. Parallel Programming"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB2","unstructured":"Araujo, L., Ruz, J.J., 1994. PDP: Prolog Distributed Processor for Independent AND\/OR Parallel Execution of Prolog. In: Van Hentenryk, P. (Ed.), Proceedings of the 11th ICLP. MIT Press, Cambridge, MA, 1994"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB3","unstructured":"Baron, U., Kergommeaux, J.C., Hailperin, M., Ratcliffe, M., Robert, P., Syre, J., Westphal, H., 1988. The parallel ECRC Prolog system PEPSys: An overview and evaluation results. In: Future Generation Computer Systems '88 Conference, Tokyo, 1988, pp. 841\u2013849"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB4","unstructured":"Ciepielewski, A., Haridi, S., 1983. A formal model for OR-Parallel execution of logic programs. In: Proceedings in Format Processing, IFIP, 1983, pp. 299\u2013305"},{"issue":"1","key":"10.1016\/S0164-1212(98)10021-3_BIB5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","article-title":"Parlog: A parallel programming in logic","volume":"8","author":"Clark","year":"1986","journal-title":"ACM Transactions for Languages and Systems"},{"issue":"5","key":"10.1016\/S0164-1212(98)10021-3_BIB6","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1093\/comjnl\/30.5.386","article-title":"Principles of the DelPhi parallel inference machine","volume":"30","author":"Clocksin","year":"1987","journal-title":"The Computer Journal"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB7","doi-asserted-by":"crossref","unstructured":"Delgado-Rannauro, S., Dorochevsky, M., Schucrman, K., Veron, A., Xu, J., 1991. A shared environment parallel logic programming system on distributed memory architectures. In: Proceedings of Second European Distributed Memory Computing Conference, Munich","DOI":"10.1007\/BFb0032953"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB8","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF03037180","article-title":"And-Or parallel Prolog: A recomputation based approach","volume":"11","author":"Gupta","year":"1993","journal-title":"New Generation Computing"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB9","unstructured":"Gupta, G., Hermenegildo, M., Pontelli, E., Costa, V.S., 1994. ACE: And\/Or-parallel copying-based execution of logic programs. In: Van Hentenryk, P. (Ed.), Proceedings of the 11th ICLP. MIT Press, Cambridge, MA"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB10","doi-asserted-by":"crossref","unstructured":"Gupta, G., 1994. Multiprocessor Execution of Logic Programs. Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-1-4615-2778-7"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB11","unstructured":"Hermenegildo, M., Green, K., 1990. &-Prolog and its performance: Exploiting independent and-parallelism. In: International Conference on Logic Programming ICLP 90. MIT press, Cambridge, MA, pp. 253\u2013268"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB12","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0743-1066(91)80003-V","article-title":"AND parallel execution of logic programs on a shared-memory multiprocessor","volume":"10","author":"Lin","year":"1991","journal-title":"J. Logic programming"},{"issue":"2\/3","key":"10.1016\/S0164-1212(98)10021-3_BIB13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","article-title":"The Aurora OR-parallel Prolog system","volume":"7","author":"Lusk","year":"1990","journal-title":"New Generation Computing"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB14","unstructured":"Mudambi, S., Schimpf, J., 1994. Parallel CLP on heterogeneous networks. In: Van Hentenryk, P. (Ed.), Proceedings of the 11th ICLP. MIT Press, Cambridge, MA"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB15","doi-asserted-by":"crossref","unstructured":"Pontelli, E., Gupta, G., Hermenegildo, M., 1995. &ACE: A high-Performance parallel prolog system. In: Proceedings of IPPS'95, IEEE Computer Society","DOI":"10.1109\/IPPS.1995.395891"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB16","unstructured":"Shen, K., 1992. Exploiting dependent and-parallelism in Prolog: The dynamic dependent and-parallel scheme (DDAS). In: Krzysztof, A. (Ed.), Proceedings of the Nineth JICSLP. MIT Press, Cambridge, MA"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB17","doi-asserted-by":"crossref","unstructured":"Ueda, K., 1986. Introduction to Guarded Horn Clauses. ICOT Research Center, TR-209, Tokyo","DOI":"10.1007\/3-540-16479-0_17"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB18","first-page":"245","article-title":"The AND\/OR parallel Prolog machine APIM: Execution model and abstract design","volume":"1","author":"Vlahavas","year":"1993","journal-title":"J. Programming Languages"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB19","unstructured":"Vlahavas, I., Kefalas, P., Halatsis, C., 1996. OASys: An AND\/OR parallel logic programming system. Technical Report (submitted for publication)"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB20","unstructured":"Warren, D.H.D., 1990. The extended Andorra model with implicit control. In: International Conference on Logic Programming '90, Workshop on Parallel Logic Programming, Israel"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB21","doi-asserted-by":"crossref","unstructured":"Warren, D.S., 1984. Efficient Prolog memory management for flexible control strategy. In: International Symposium on Logic Programming, pp. 198\u2013202","DOI":"10.1007\/BF03037327"},{"key":"10.1016\/S0164-1212(98)10021-3_BIB22","unstructured":"Yang, R., Beaumont, T., Santos Costa, V., Warren, D.H.D., 1993. Performance of the compiler-based Andorra-I system. In: Warren, D.S. (Ed.), Proceedings of the 10th International Conference in Logic Programming. MIT Press, Cambridge, MA, pp. 150\u2013166"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100213?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100213?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T13:15:50Z","timestamp":1578489350000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121298100213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0164121298100213"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(98)10021-3","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}