乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:58:23Z","timestamp":1694624303559},"reference-count":20,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4958,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1016\/s1571-0661(05)80106-9","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"106-121","source":"Crossref","is-referenced-by-count":0,"title":["IAP for Dummies: The YAP Design"],"prefix":"10.1016","volume":"30","author":[{"given":"Manuel","family":"Eduardo Correia","sequence":"first","affiliation":[]},{"given":"Vitor","family":"Santos Costa","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80106-9_BIB1","article-title":"SICStus Prolog User's Manual","author":"Andersson","year":"1997","journal-title":"Technical report, Swedish Institute of Computer Science. SICS Technical Report T93-01"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB2","unstructured":"Manuel Eduardo Correia. On the Implementation of AND\/OR Parallel Logic Programming Systems. PhD thesis, Universidade do Porto, 2000."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB3","unstructured":"Manuel Eduardo Correia, F. M. A. Silva, and Vitor Santos Costa. The SBA: Exploiting orthogonality in OR-AND Parallel Systems. In Proceedings of the 1997 International Logic Programming Symposium, pages 117-131. MIT Press, October 1997. Also published as Technical Report DCC-97-3, DCC - FC & LIACC, Universidade do Porto, April, 1997."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB4","series-title":"ILPS97","first-page":"117","article-title":"The SBA: Exploiting orthogonality in OR-AND Parallel Systems","author":"Correia","year":"1997"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB5","unstructured":"L. Damas, V. Santos Costa, R Reis, and R. Azevedo. YAP User's Guide and Reference Manual, 1998. http:\/\/www.ncc.up.pt\/~vsc\/Yap."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB6","series-title":"In Hideo Aiso, editor, International Conference on Fifth Generation Computer Systems 1984","first-page":"471","article-title":"Restricted and-parallelism","author":"DeGroot","year":"1984"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB7","article-title":"A Technique for Dynamic Term Size Computation via Program Transformation","author":"Garc\u00eda","year":"1994","journal-title":"Research Report, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, TR CLIP 8\/93.1(94)"},{"issue":"1","key":"10.1016\/S1571-0661(05)80106-9_BIB8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(95)00092-5","article-title":"Cuts and Side-Effects in And-Or Parallel Prolog","volume":"27","author":"Gupta","year":"1996","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB9","series-title":"PhD thesis, Dept. of Electrical and Computer Engineering (Dept. of Computer Science TR-86-20), University of Texas at Austin, Austin, Texas 78712","article-title":"An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel","author":"Hermenegildo","year":"1986"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB10","unstructured":"M. V. Hermenegildo and K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In Proceedings of the Seventh International Conference on Logic Programming, pages 253-268. MIT Press, June 1990."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB11","series-title":"Third International Conference on Logic Programming number 225 in Lecture Notes in Computer Science","first-page":"40","article-title":"Efficient Management of Backtracking in AND-parallelism","author":"Hermenegildo","year":"1986"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB12","unstructured":"M. V. Hermenegildo and F. Rossi. Non-Strict Independent And-Parallelism. In Proceedings of the Seventh International Conference on Logic Programming, pages 237-252. MIT Press, June 1990."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB13","unstructured":"Andy King, Kish Shen, and Florence Benoy. Lower-bound Time-complexity Analysis of Logic Programs. In Jan Maluszynski, editor, Logic Programming: Proceedings of the 1997 International Symposium, pages 261-276. The MIT Press, 1997."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB14","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BFb0020454","article-title":"On the duality between or-parallelism and and-parallelism in logic programming","volume":"966","author":"Pontelli","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB15","series-title":"International Parallel Processing Symposium. IEEE Computer Society Technical Committee on Parallel Processing","article-title":"&ACE: A High-Performance Parallel Prolog System","author":"Pontelli","year":"1995"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB16","unstructured":"V\u00edtor Santos Costa. Cowl: Copy-on-write for logic programs. In Proceedings of the IPPS\/SPDP99, pages 720-727. IEEE Computer Press, May 1999."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB17","doi-asserted-by":"crossref","unstructured":"V\u00e9tor Santos Costa. Optimising bytecode emulation for prolog. In LNCS 1702, Proceedings of PPDP'99, pages 261-267. Springer-Verlag, September 1999.","DOI":"10.1007\/10704567_16"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB18","unstructured":"Kish Shen. Exploiting And-parallelism in Prolog: the Dynamic Dependent And-parallel Scheme (DDAS). In Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 1992."},{"key":"10.1016\/S1571-0661(05)80106-9_BIB19","article-title":"Distance: a New Metric for Controlling Granularity for Parallel Execution","author":"Shen","year":"1999","journal-title":"Journal of Functional and Logic Programming, 1999(Special Issue 1)"},{"key":"10.1016\/S1571-0661(05)80106-9_BIB20","article-title":"An Abstract Prolog Instruction Set","author":"David","year":"1983","journal-title":"Technical Note 309, SRI International"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801069?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801069?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T22:40:38Z","timestamp":1636065638000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105801069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000]]}},"alternative-id":["S1571066105801069"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80106-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}