{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:37Z","timestamp":1742635957107,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530657"},{"type":"electronic","value":"9783540465973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53065-7_96","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:52:34Z","timestamp":1330206754000},"page":"154-165","source":"Crossref","is-referenced-by-count":1,"title":["Parallel implementation of logic languages"],"prefix":"10.1007","author":[{"given":"Amit","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Anindo","family":"Banerjea","sequence":"additional","affiliation":[]},{"given":"Vikas","family":"Jha","sequence":"additional","affiliation":[]},{"given":"Vineet","family":"Bafna","sequence":"additional","affiliation":[]},{"given":"P C P","family":"Bhatt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","unstructured":"Aho and Ullman: Principles of Compiler Design, Addison Wesley, 1977."},{"key":"14_CR2","unstructured":"Bafna V., Jha V.: A multi-processor implementation of Occam2, B.Tech. Thesis, IIT Delhi, May 1989."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Clocksin and Mellish: Programming in Prolog, Springer International \u2014 1986.","DOI":"10.1007\/978-3-642-97005-4"},{"key":"14_CR4","unstructured":"Conery J.: An AND\/OR Process Model for Parallel Implementation of Logic Programs, U.C., Irvine, 1983."},{"key":"14_CR5","unstructured":"Gabriel J., Lindholm T., Lusk E., Overbeek R.: A tutorial on the Warren Abstract Machine for computational Logic, Mathematics & Computer Science Division, Argonne National Laboratory."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Gaudiot J., Lee T.: Multi-processor systems programming in a High Level Data_Flow language, Proceedings of European Conference on Parallel Architectures, Eindhoven, the Netherlands, June 1987.","DOI":"10.1007\/3-540-17943-7_125"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Gaudiot J.: Data Driven multi-computers in digital signal processing, Proceedings of the AWAY, VOL. 75, No.9, SEP 1987.","DOI":"10.1109\/PROC.1987.13875"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Gaudiot J.: TX-16: A Highly programmable Multi-microprocessor architecture,AWAY MICRO, OCT 1986.","DOI":"10.1109\/MM.1986.304709"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Gaudiot J.: Program graph allocation in distributed multicomputers,Parallel Computing, Vol7 No2, June 1988.","DOI":"10.1016\/0167-8191(88)90041-5"},{"key":"14_CR10","unstructured":"Gelernter D. et al: Linda, the portable parallel, YALEU\/DCS\/TR-520, Feb. 1987."},{"key":"14_CR11","unstructured":"Gregory S.: Parallel Logic programming in Parlog, Addison-Wesley, 1987."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Gupta A., Banerjea A.: Parallel implementation of logic languages, B.Tech. Thesis, IIT Delhi, May 1989.","DOI":"10.1007\/3-540-53065-7_96"},{"key":"14_CR13","unstructured":"Kale L.: Parallel Architectures for Problem Solving, Deptt. of CS, Univ of Illinois, December 1985."},{"key":"14_CR14","unstructured":"Kernighan and Ritchie: The C Programming Language, Prentice Hall of India \u2014 1986."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Kruatrachue B., Lewis T.:Grain Size Determination for Parallel Processing, IEEE Software, Jan. 1988.","DOI":"10.1109\/52.1991"},{"key":"14_CR16","unstructured":"Lin Y.: Parallel implementation of logic languages, University of Texas at Austin, August 1989."},{"key":"14_CR17","unstructured":"MadhuSudan, Ramachandran J.: Implementation of Occam, B.Tech thesis, IIT Delhi, MAY 1988"},{"key":"14_CR18","unstructured":"May D.,Shepherd R.:The transputer implementation of Occam, Proceedings of the International Conference on Fifth Generation Computer Systems,1984."},{"key":"14_CR19","unstructured":"May D.: Occam Tutorial,Inmos Ltd., Prentice Hall, 1988."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Nilsson N.: Principles of Artificial Intelligence, Springer-Verlag 1982.","DOI":"10.1007\/978-3-662-09438-9"},{"key":"14_CR21","unstructured":"Occam2 Reference Manual, INMOS Ltd, Prentice Hall."},{"key":"14_CR22","unstructured":"Rohtagi P.: Implementation of Occam2, B.Tech. thesis, IIT Delhi, May 1988."},{"key":"14_CR23","unstructured":"Taylor S.: Parallel Logic Programming Techniques, Prentice Hall, 1989."},{"key":"14_CR24","unstructured":"Warren D.: An abstract Prolog Instruction Set, SRI International Technical Note 309 October 1983."}],"container-title":["Lecture Notes in Computer Science","CONPAR 90 \u2014 VAPP IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53065-7_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:05:44Z","timestamp":1742591144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53065-7_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530657","9783540465973"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-53065-7_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}