{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T18:01:37Z","timestamp":1789927297890,"version":"4.0.1"},"reference-count":20,"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\/bf03037202","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T22:48:42Z","timestamp":1240354122000},"page":"109-125","source":"Crossref","is-referenced-by-count":10,"title":["A logic programming language based on the Andorra model"],"prefix":"10.1007","volume":"7","author":[{"given":"Seif","family":"Haridi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF03037202_CR1","unstructured":"Bahgat, R. and Gregory, S., \u201cPandorra: Nondeterministic Parallel Logic Programming,\u201dProc. 6th International Conference on Logic Programming, Lisbon MIT Press, 1989."},{"key":"BF03037202_CR2","unstructured":"Brand, P. and Haridi, S., \u201cProlog for Discrete Simulation,\u201dResearch Report, SICS, 1988."},{"key":"BF03037202_CR3","unstructured":"Broda, K. and Gregory, S., \u201cParlogs for Discrete Event Simulation,\u201dProceeding of the Second International Conference on Logic Programming, Uppsala, 1984."},{"key":"BF03037202_CR4","unstructured":"Carlsson, M. and Widen, J., \u201cSICStus Prolog user manual,\u201dResearch Report, SICS, 1988."},{"key":"BF03037202_CR5","unstructured":"Clark, C. and Gregory S., \u201cParlog Parallel Programming in Logic,\u201d inConcurrent Prolog Collected Papers, Shapiro, E. ed., MIT Press, 1987."},{"key":"BF03037202_CR6","unstructured":"Colmerauer, A.,Prolog II: Manuel de reference et de modele theorique, G. I. A., University of Aix-Marseille, 1982."},{"key":"BF03037202_CR7","unstructured":"Elshiewy, N., \u201cModular and Communicating Objects in SICStus Prolog,\u201dConference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"BF03037202_CR8","unstructured":"Gregory, S.,Personal Communication."},{"key":"BF03037202_CR9","unstructured":"Haridi, S. and Brand, B., \u201cAndorra Prolog,\u201dConference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"BF03037202_CR10","unstructured":"Hausman, B. et al., \u201cCut and Side-Effects in Or-Parallel Prolog,\u201dConference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"BF03037202_CR11","unstructured":"Von Hentryck, P.,Constraint Satisfaction Problems in Logic Programming, MIT Press, 1989."},{"key":"BF03037202_CR12","unstructured":"Kornfeld, B. \u201cFinite Domain Problems in Andorra,\u201dItalian, Swedish Japanes workshop, Pisa, 1989."},{"key":"BF03037202_CR13","unstructured":"Lusk, E. et al., \u201cThe Aurora OR-Parallel Prolog System,\u201d inInternational Conference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"BF03037202_CR14","doi-asserted-by":"crossref","unstructured":"Misra, J., \u201cDistributed Discrete-Event simulation,\u201dComputing Surveys, Vol. 18, No. 1, ACM, 1986.","DOI":"10.1145\/6462.6485"},{"key":"BF03037202_CR15","unstructured":"Naish, L., \u201cParallelizing NU-Prolog,\u201d inLogic Programming, Proceeding of the International Conference and Symposium (Kowalski R. and Bowen, K. eds.) MIT Press, 1988."},{"key":"BF03037202_CR16","unstructured":"Saraswat, V., \u201cA somewhat logical formulation of CLP synchronisation primitives,\u201d inLogic Programming, Proceeding of the Joint International Conference and Symposium (Kowalski, R. and Bowen, K. eds.), MIT Press, 1988."},{"key":"BF03037202_CR17","doi-asserted-by":"crossref","unstructured":"Saraswat, V., \u201cConcurrent Constraint Programming Languages,\u201dPh. D. Thesis, Carnegie Mellon University, 1989.","DOI":"10.1145\/96709.96733"},{"key":"BF03037202_CR18","unstructured":"Shapiro, E.,Concurrent Prolog Collected Papers, MIT Press, 1988."},{"key":"BF03037202_CR19","unstructured":"Zobel, T.,NU-Prolog Reference Manual 1987 Vers. 1.1 Technical Report, University of Melbourne, 1988."},{"key":"BF03037202_CR20","unstructured":"Yang, R., \u201cA Parallel Logic Programming Language and its Implementation,\u201dPh. D. Thesis, Keio University, 1986."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037202.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037202\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:31Z","timestamp":1558558351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":20,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["BF03037202"],"URL":"https:\/\/doi.org\/10.1007\/bf03037202","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}