{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:08:27Z","timestamp":1736140107659,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":32,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540557075"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023894","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:02:35Z","timestamp":1132380155000},"page":"418-429","source":"Crossref","is-referenced-by-count":0,"title":["An and-parallelism cooperative scheme for full prolog interpreters on a transputer-based architecture"],"prefix":"10.1007","author":[{"given":"K.","family":"Sadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Meunier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"H.Ait Kaci. \u201cWarren Abstract Machine: a tutorial reconstruction\u201d. 8 th International Conference on Logic Programming\u201d ICLP'91. Paris. 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"37_CR2","unstructured":"M.Bruynooghe & al. The memory management of Prolog implementation. in Workshop'80."},{"key":"37_CR3","unstructured":"M.Carlson & K.Danhof & R.Ouerbeek. \u201cA simplified approch to the implementation of AND parallelism in an OR parallel environment\u201d Logic programming, proceeding of the 5th international conference. Seatle 88."},{"key":"37_CR4","unstructured":"M.Cannataro & al. A Highly Decentralized Architecture for the Parallel execution of Logic Programs. Proceedings \u2014 Conference on distributed systems. Lyon, d\u00e9cembre 89."},{"key":"37_CR5","unstructured":"J.Chassin De Kergommeaux & P.Codognet & J.C.Syre. \u201cRevues des mod\u00e8les de programmation logique parall\u00e8le\u201d Journ\u00e9es de synth\u00e8se AFCET. Paris 01\/89"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"K.Clark & S.Gregory. PARLOG: Parallel Programming In Logic. ACM Transactions on Programming Languages on Systems, January, 1986.","DOI":"10.1145\/5001.5390"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"J.S.Conery, D.F.Kibler. Parallel interpretation of logics-programs in Proc.conf.on.functional programing languages and computer architecture, ACM, Octobre 1981.","DOI":"10.1145\/800223.806775"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"J.S.Conery, D.S.Kibler, \u201c And parallelism and non-determinism in logic programs\u201d; New generation computing n. 3. 1985.","DOI":"10.1007\/BF03037115"},{"key":"37_CR9","unstructured":"P.Deransart & G.Ferrand \u201cProgrammation en logique: M\u00e9thodolgie et enseignement\u201d. Actes du s\u00e9minaire CNET de Tr\u00e9gastel, Mai 1986."},{"key":"37_CR10","unstructured":"D.Degroot. Restricted And-Parallel and Side Effects. In 4 th Symposium on Logic Programming. San Francisco, Sep 87."},{"key":"37_CR11","unstructured":"J.Ferber.\u201cobjet et agents: une \u00e9tude des structures de repr\u00e9sentation et de communication en intelligence artificielle\u201d, th\u00e8se d'\u00e9tat Juin 89."},{"key":"37_CR12","unstructured":"H.Gallaire. Multiple reasoning styles in logic programming. \u201cproceedings \u2014 conference FGCS'88 (Futur generation computing system)-Tokyo (ICOT)."},{"key":"37_CR13","unstructured":"A.Goto. Research and development of the parallel inference machine in FGCS project. Parallel Processing & Intelligence Artificial. Willey. Communicating Process Architecture. 1989"},{"key":"37_CR14","unstructured":"S.Gregory. \u201cParallel programming in PARLOG\u201d Addison Wesley 87."},{"key":"37_CR15","unstructured":"A.Gup. \u201c Parallelism in production system\u201d Research notes in Artificial intelligence, Pitman Ed.87."},{"key":"37_CR16","unstructured":"U.Glasser & al. Flat Concurrent Prolog on Transputers. Proceedings \u2014 Conference on distrubuted systems. Lyon, d\u00e9cembre 89."},{"key":"37_CR17","unstructured":"C.Hewitt. \u201coffices are open systems\u201d readings in Distributed artificial intelligence Morgan kaufman publishers, INC."},{"key":"37_CR18","unstructured":"M.V.Hermenegildo, \u201c Efficient Management of Backtracking in And-Parallelism \u201d, Third international on logic programming (London 86)."},{"key":"37_CR19","unstructured":"M.V.Hermenegildo, An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. Third international confernce on logic programming (London 86)."},{"key":"37_CR20","unstructured":"P.Kacsuk. \u201cProlog implementation for cellular architecture \u201d Fourth International Workshop on parallel processing by cellular automata, Berlin Oct 88. Springer verlag LNCS n\u2218 342 p131."},{"key":"37_CR21","unstructured":"P.Kacsuk & I.Futo. Multi-transputer implementation of CS-Prolog. Parallel Processing & Intelligence Artificial. Willey. Communicating Process Architecture. 1989"},{"key":"37_CR22","unstructured":"Kowalski. \u201cPredicate logic as programmaing language\u201d inforamtion processing 74, Stockholm; 569\u2013574."},{"key":"37_CR23","unstructured":"Parallel 3L LTD, User guide."},{"key":"37_CR24","doi-asserted-by":"crossref","unstructured":"J.A.Robinson. \u201cA machine-oriented logic based on the resolution principle\u201d. JACM 12, (Janvier 1965), pages 23\u201341.","DOI":"10.1145\/321250.321253"},{"key":"37_CR25","unstructured":"K.Sadi & F.Meunier. \u201c Coop\u00e9ration d'interpr\u00e9teurs Prolog \u00e0 base de Transputers\u201d Congr\u00e8s Canadien en G\u00e9nie Electrique et informatique. Septembre 91, Qu\u00e9bec, Canada."},{"key":"37_CR26","unstructured":"E.Shapiro. \u201cConcurrent PROLOG\u201d ICOT 1983."},{"key":"37_CR27","unstructured":"E.Shapiro. The concurrent prolog. Advanced Programming Techniques (MIT Press), 1986."},{"key":"37_CR28","doi-asserted-by":"crossref","unstructured":"K.Ueda. \u201cGuarded Horn Clauses\u201d Technical Report TR-103, ICOT june, 1985.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"37_CR29","unstructured":"M.Van Caneghem. \u201cAnatomie de PROLOG\u201d. InterEdition 1986."},{"key":"37_CR30","unstructured":"D.H.Warren & al. \u201c the ANDORRA_I processor supporting full prolog on the basic ANDORRA Model. ICLP91. Juin 91, Paris."},{"key":"37_CR31","unstructured":"D.H.Warren & al. \u201c The ANDORRA_Engine: a parallel implementation of the basic ANDORRA Model\u201d. ICLP91. juin 91, Paris."},{"key":"37_CR32","unstructured":"H.Westphal & al. The PEPSYS Model: combining backtracking, AND-and OR-parallelism. in 4th Symposium on logic programming, San Fransisco, 1987."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science \u2014 Tver '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:52:38Z","timestamp":1736103158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540557075"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0023894","relation":{},"subject":[]}}