{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:42Z","timestamp":1725765462504},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_8","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T06:23:28Z","timestamp":1387434208000},"page":"116-130","source":"Crossref","is-referenced-by-count":0,"title":["Intelligent Backtracking in And-Parallel Prolog"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Verden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugh","family":"Glaser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Sri International","author":"DHD Warren","year":"1983","unstructured":"D. H. D. Warren, \u201cAn abstract prolog instruction set,\u201d Tech. Rep. 309, Artificial Intelligence Center, SRI International, (1983)."},{"key":"8_CR2","volume-title":"Proceedings of the 1st North American Transputer User Group","author":"A Verden","year":"1989","unstructured":"A. Verden, A. King, and W. Hall, \u201cAn implementation of prolog for the inmos t800 transputer,\u201d in Proceedings of the 1st North American Transputer User Group, ( Salt Lake City, Utah, USA ), (1989)."},{"key":"8_CR3","volume-title":"Independent and-parallel prolog for distributed memory architectures, Tech. Rep. 90-17, Dept. of Electronics and Computer Science, University of Southampton","author":"AR Verden","year":"1990","unstructured":"A. R. Verden and H. Glaser, \u201cIndependent and-parallel prolog for distributed memory architectures,\u201d Tech. Rep. 90\u201317, Dept. of Electronics and Computer Science, University of Southampton, Southampton, England, (1990)."},{"key":"8_CR4","unstructured":"A. R. Verden and H. Glaser, An And-Parallel Prolog Executor, In Distributed Prolog, ed P. Kacsuk and M. J. Wise. John Wiley and Sons, April (1991)."},{"key":"8_CR5","volume-title":"And\u2014Parallel Implementation of Prolog On Distributed Memory Machines. PhD thesis","author":"AR Verden","year":"1991","unstructured":"A. R. Verden, And\u2014Parallel Implementation of Prolog On Distributed Memory Machines. PhD thesis, University of Southampton, April (1991)."},{"key":"8_CR6","volume-title":"Proceedings of the Third International Conference on Logic Programming","author":"M Hermenegildo","year":"1986","unstructured":"M. Hermenegildo and R. Nasr, \u201cEfficient management of backtracking in and-parallelism,\u201d in Proceedings of the Third International Conference on Logic Programming, (London), (1986)."},{"key":"8_CR7","volume-title":"Proceedings of the Third on International Conference on Logic Programming (london)","author":"M Hermenegildo","year":"1986","unstructured":"M. Hermenegildo, \u201cAn abstract machine for restricted and-parallel execution of logic,\u201d in Proceedings of the Third on International Conference on Logic Programming, (London), (1986)."},{"key":"8_CR8","volume-title":"In Proceedings of the 1990 International Conference on Logic Programming","author":"M Hermenegildo","year":"1990","unstructured":"M. Hermenegildo and E Rossi, \u201cNon-strict independent and-parallelism,\u201d in Proceedings of the 1990 International Conference on Logic Programming, (1990)."},{"key":"8_CR9","volume-title":"In Proceedings of the 1990 International Conference on Logic Programming","author":"M Hermenegildo","year":"1990","unstructured":"M. Hermenegildo and K. Green, \u201cand-prolog and its performance: Exploiting independent and-parallelism,\u201d in Proceedings of the 1990 International Conference on Logic Programming, (1990)."},{"key":"8_CR10","volume-title":"University of Texas at Austin","author":"YJ Lin","year":"1988","unstructured":"Y. J. Lin, A Parallel Implementation of Logic Programs. PhD thesis, University of Texas at Austin, (1988)."},{"key":"8_CR11","first-page":"80","volume":"I","author":"D Degroot","year":"1987","unstructured":"D. DeGroot, \u201cRestricted and-parallelism and side effects,\u201d in Proceedings of the 1987 Symposium on Logic Programming, vol. I, pp. 80\u201389, (1987).","journal-title":"In Proceedings of the 1987 Symposium on Logic Programming"},{"key":"8_CR12","first-page":"335","volume":"II","author":"Z Hwang","year":"1989","unstructured":"Z. Hwang and S. Hu, \u201cA compiling approach for exploiting and-parallelism in parallel logic programming systems,\u201d in Proceedings of PARLE, vol. II, pp. 335\u2013345, (1989).","journal-title":"In Proceedings of Parle"},{"key":"8_CR13","volume-title":"Analyzing Data Dependencies, Detecting AND-Parallelism and Optimizing Backtracking in Prolog Programs","author":"H Xia","year":"1989","unstructured":"H. Xia, Analyzing Data Dependencies, Detecting AND-Parallelism and Optimizing Backtracking in Prolog Programs. PhD thesis, University of Berlin, (1989)."},{"key":"8_CR14","volume-title":"The AND-OR Process Model for Parallel Interpretation of Logic Programs","author":"J Conery","year":"1983","unstructured":"J. Conery, The AND-OR Process Model for Parallel Interpretation of Logic Programs. PhD thesis, U. C. Urvine, (1983)."},{"key":"8_CR15","unstructured":"M. Surridge, \u201cThe eulerian channel configuration language and message-passing system,\u201d tech. rep., S.E.R.C.\/D.T.I. Transputer Initiative, (1989). Report for E.M.R. Contract N2A\u20138R-1756 (Phase II)."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T13:25:04Z","timestamp":1558790704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}