{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:13Z","timestamp":1725663913145},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_85","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:46Z","timestamp":1330258486000},"page":"275-290","source":"Crossref","is-referenced-by-count":1,"title":["A WAM-based implementation of a logic language with sets"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","unstructured":"Ambert F. (1991) \u201cSystemes de Resolution de Constraintes Ensemblistes\u201d-Research Report, Universit\u00e9 de Franche-Comte, Facult\u00e9 des Sciences de Besan\u00e7on."},{"key":"19_CR2","unstructured":"Ait-Kaci H. (1990) \u201cThe WAM: A (Real) Tutorial\u201d-DEC Technical Report, January 1990."},{"key":"19_CR3","volume-title":"Foundations of deductive databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"Apt K., Blair H., Walker A. (1987) \u201cTowards a theory of declarative knowledge\u201d-in (J. Minker ed.) Foundations of deductive databases and Logic Programming, Morgan Kaufmann, Los Altos, CA."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Beeri C., Naqvi S., et al. (1987)-\u201cSet and Negation in a Logic Database Language (LDL1)\u201d-Proceedings of the 6th ACM SIGMOD Symposium.","DOI":"10.1145\/28659.28662"},{"key":"19_CR5","unstructured":"Campbell J. A. (1984)-\u201cImplementations of Prolog\u201d-J. Wiley & Sons."},{"key":"19_CR6","unstructured":"Cantone D., Ferro A., Omodeo E.G. (1989) \u201cComputable Set Theory\u201d-International Series of Monographs on Computer Science, Oxford Press."},{"key":"19_CR7","unstructured":"Carlsson M. (1991) \u201cThe SICStus Emulator\u201d-SICS Technical Report T91:15, Swedish Institute of Computer Science."},{"key":"19_CR8","unstructured":"Cavalieri M., Lamma E., Mello P. (1988)-\u201cWarren Abstract Machine: una macchina astratta per l'implementazione efficiente di Prolog\u201d-Technical Report, Universit\u00e1 degli Studi di Bologna, March 1988."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Conery J.S. (1987)-\u201cParallel Execution of Logic Programming\u201d-Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4613-1987-0"},{"key":"19_CR10","unstructured":"Dovier A., Omodeo E.G., Pontelli E., Rossi G. (1991)-\u201c(Log): A Logic Programming Language with Finite Sets\u201d-in Logic Programming: Proceedings of the 8th International Conference, MIT Press."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Dovier A., Omodeo E.G., Pontelli E., Rossi G. (1992)-\u201cEmbedding Finite Sets in a Logic Programming Language\u201d-Third Workshop on Extensions of Logic Programming, LNCS 660 (E.Lamma, P.Mello eds). Springer Verlag.","DOI":"10.1007\/3-540-56454-3_8"},{"key":"19_CR12","volume-title":"Research Report","author":"A. Dovier","year":"1993","unstructured":"Dovier A., Omodeo E.G., Pontelli E., Rossi G. (1993) \u201cEmbedding Finite Sets in a Logic Programming Language\u201d-Research Report, University of Rome, La Sapienza."},{"key":"19_CR13","volume-title":"The Constraint Logic Programming Language CHIP","author":"M. Dincbas","year":"1988","unstructured":"Dincbas M., Van Hentenryck P., et al. (1988)-\u201cThe Constraint Logic Programming Language CHIP\u201d-Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, Tokyo."},{"key":"19_CR14","unstructured":"Gabriel J., Lindholm T., Lusk E.L., Overbeek R.A. (1985)-\u201cA tutorial on the Warren Abstract Machine for Computational Logic\u201d-Technical Report ANL84-84, Argonne National Laboratory."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Hermenegildo M., Greene K. (1991) \u201cThe &-Prolog System: exploiting Independent And-Parallelism\u201d-in New Generation Computing, 9(34).","DOI":"10.1007\/BF03037164"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Holldobler S. (1989) \u201cFoundations of Equational Logic Programming\u201d-LNCS 353, Springer Verlag.","DOI":"10.1007\/BFb0015791"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Jaffar J., Lassez J.L. (1987)-\u201cConstraint Logic Programming\u201d-14th POPL, Munich.","DOI":"10.1145\/41625.41635"},{"key":"19_CR18","unstructured":"Jaffar J., Michaylov S. (1987)-\u201cMethodology and Implementation of a CLP System\u201d-Proceedings of the 4th International Conference on Logic Programming, MIT Press."},{"key":"19_CR19","unstructured":"Karlsson R. (1992) \u201cA high Performace OR-Parallel Prolog System\u201d-PhD Thesis, SICS Dissertation Series 07."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Kursawe P. (1987)-\u201cHow to invent a Prolog machine\u201d-in New Generation Computing, 5 (1987).","DOI":"10.1007\/BF03037460"},{"key":"19_CR21","unstructured":"Legeard B., Legros E. (1991)-\u201cCLPS: A set constraints logic programming language\u201d-Technical Report, Universit\u00e8 de Besan\u00e7on."},{"key":"19_CR22","unstructured":"Nadathur G., Jayaraman B. (1989)-\u201cTowards a WAM Model for \u03bbProlog\u201d-Technical Report CS-1989, Duke University."},{"key":"19_CR23","volume-title":"MSC Thesis","author":"E. Pontelli","year":"1992","unstructured":"Pontelli E. (1992)-\u201cLogic Programming with Sets: Theory and Implementation\u201d-MSC Thesis, University of Houston, Houston, TX."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Schwartz J.T., Dewar R.B.K., Dubinsky E., Schonberg E. (1986) \u201cProgramming with sets, an introduction to SETL\u201d-Springer Verlag.","DOI":"10.1007\/978-1-4613-9575-1"},{"key":"19_CR25","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck P. (1989)-\u201cConstraint Satisfaction in Logic Programming\u201d-MIT Press, Cambridge."},{"key":"19_CR26","volume-title":"Technical Note 309","author":"H.D. Warren","year":"1983","unstructured":"Warren H.D. (1983) \u201cAn Abstract Prolog Instruction Set\u201d-Technical Note 309, SRI International, Menlo Park, CA."}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:05Z","timestamp":1605647345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}