{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:16:41Z","timestamp":1739078201670,"version":"3.37.0"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1987,3,1]],"date-time":"1987-03-01T00:00:00Z","timestamp":541555200000},"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":[[1987,3]]},"DOI":"10.1007\/bf03037459","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:04:04Z","timestamp":1240542244000},"page":"79-95","source":"Crossref","is-referenced-by-count":2,"title":["P-Prolog: A parallel logic language based on exclusive relation"],"prefix":"10.1007","volume":"5","author":[{"given":"Rong","family":"Yang","sequence":"first","affiliation":[]},{"given":"Hideo","family":"Aiso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037459_CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang, C. and Lee R. C.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, San Francisco, London, 1973."},{"key":"BF03037459_CR2","unstructured":"Clark K. and Gregory S., \u201cPARLOG: Parallel Programming in Logic,\u201dResearch Report DOC, April, 1984."},{"key":"BF03037459_CR3","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin W. F. and Mellish C. S.,Programming in Prolog, Springer-Verlag, Berlin, Heidelberg, New York, 1981."},{"key":"BF03037459_CR4","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/366622.366644","volume":"4","author":"C. A. R. Hoare","year":"1961","unstructured":"Hoare C. A. R., \u201cAlgorithm 64,\u201dCACM, Vol. 4, pp. 321, 1961.","journal-title":"CACM"},{"key":"BF03037459_CR5","unstructured":"Kowalski R.,Logic for Problem Solving, North-Holland, 1979."},{"key":"BF03037459_CR6","unstructured":"Shapiro E. Y., \u201cA Subset of Concurrent Prolog and Its Interpreter,\u201dTechnical Report, TR-003, ICOT, Tokyo, Feb., 1983."},{"key":"BF03037459_CR7","doi-asserted-by":"crossref","unstructured":"Ueda K., \u201cGuarded Horn Clauses,\u201dTechnical Report, TR-103, ICOT, Tokyo, June, 1985.","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037459.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037459\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037459","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:39:44Z","timestamp":1739075984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,3]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,3]]}},"alternative-id":["BF03037459"],"URL":"https:\/\/doi.org\/10.1007\/bf03037459","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1987,3]]}}}