{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:18:42Z","timestamp":1760170722625},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183775"},{"type":"electronic","value":"9783642183782"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-18378-2_8","type":"book-chapter","created":{"date-parts":[[2011,1,20]],"date-time":"2011-01-20T09:18:08Z","timestamp":1295515088000},"page":"69-83","source":"Crossref","is-referenced-by-count":7,"title":["On the Portability of Prolog Applications"],"prefix":"10.1007","author":[{"given":"Jan","family":"Wielemaker","sequence":"first","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"AI International ltd., Berkhamsted, UK. Quintus Prolog, User Guide and Reference Manual (1997)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bagnara, R.: Is the ISO prolog standard taken seriously? ALP newsletter, 10\u201312 (February 1999)","DOI":"10.7748\/ns.12.29.10.s24"},{"key":"8_CR3","unstructured":"Bagnara, R., Carro, M.: Foreign language interfaces for Prolog: A terse survey. ALP newsletter (May 2002)"},{"key":"8_CR4","unstructured":"Carlsson, M., Wid\u00e9n, J., Andersson, J., Anderson, S., Boortz, K., Nilson, H., Sj\u00f6land, T.: SICStus Prolog (v3) Users\u2019s Manual. SICS, PO Box 1263, S-164 28 Kista, Sweden (1995)"},{"key":"8_CR5","unstructured":"Demoen, B.: Dynamic attributes, their hProlog implementation, and a first evaluation. Report CW 350, Dep. of Comp. Science, K.U.Leuven, Leuven, Belgium (October 2002)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-68679-8_14","volume-title":"Concurrency, Graphs and Models","author":"M.V. Hermenegildo","year":"2008","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Morales, J.F., Puebla, G.: An overview of the CIAO multiparadigm language and program development environment and its design philosophy. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 209\u2013237. Springer, Heidelberg (2008)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"Holzbaur, C.: Metastructures versus attributed variables in the context of extensible unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 260\u2013268. Springer, Heidelberg (1992)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-92243-8_2","volume-title":"Constraint Handling Rules","author":"L. Koninck De","year":"2008","unstructured":"De Koninck, L., Schrijvers, T., Demoen, B.: A flexible search framework for CHR. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Constraint Handling Rules. LNCS, vol.\u00a05388, pp. 16\u201347. Springer, Heidelberg (2008)"},{"key":"8_CR9","unstructured":"SUN Microsystems. The java compatibility test tools (2001)"},{"key":"8_CR10","unstructured":"Moura, P.: Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Informatics, University of Beira Interior, Portugal (September 2003)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Pontelli, E., Schrijvers, T., Demoen, B., Moura, P., Swift, T.: Uniting the Prolog Community. ALP newsletter (February 2009)","DOI":"10.1007\/978-3-540-89982-2_2"},{"key":"8_CR12","unstructured":"Puls, T.L.: New features in Visual Prolog 7.2. In: Proceedings of the VIP-ALC 2008: Visual Prolog Applications And Language Conference, pp. 6\u20139. Prolog Development Center (July 2008)"},{"issue":"3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1002\/1099-1255(200005\/06)15:3<331::AID-JAE558>3.0.CO;2-G","volume":"15","author":"J. Racine","year":"2000","unstructured":"Racine, J.: Review: The cygwin tools: A gnu toolkit for windows. Journal of Applied Econometrics\u00a015(3), 331\u2013341 (2000)","journal-title":"Journal of Applied Econometrics"},{"key":"8_CR14","unstructured":"Meier, M., Aggoun, A., Chan, D., et al.: SEPIA An Extendible Prolog System. In: 11th World Computer Congress IFIP 1989 (August 2009)"},{"issue":"2","key":"8_CR15","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1145\/191843.191927","volume":"23","author":"Konstantinos Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. In: Proc. of the ACM SIGMOD Int. Conf. on the Management of Data, pp. 442\u2013453 (1994)","journal-title":"ACM SIGMOD Record"},{"key":"8_CR16","unstructured":"Costa, V.S., Damas, L., Reis, R., Azevedo, R.: YAP User\u2019s Manual (2002), http:\/\/www.ncc.up.pt\/~vsc\/Yap"},{"key":"8_CR17","unstructured":"Schimpf, J., Shen, K.: ECLiPSe by Example. Tutorial given at CP 2007 (2007)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11799573_20","volume-title":"Logic Programming","author":"P. Szab\u00f3","year":"2006","unstructured":"Szab\u00f3, P., Szeredi, P.: Improving the ISO prolog standard by analyzing compliance test results. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 257\u2013269. Springer, Heidelberg (2006)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1007\/978-3-540-89982-2_89","volume-title":"Logic Programming","author":"M. Triska","year":"2008","unstructured":"Triska, M.: Generalising constraint solving over finite domains. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 820\u2013821. Springer, Heidelberg (2008)"},{"key":"8_CR20","unstructured":"van Noord, G.: At Last Parsing is Now Operational. In: TALN 2006 Verbum Ex Machina, Actes De La 13e Conference sur Le Traitement Automatique des Langues Naturelles, Leuven, pp. 20\u201342 (2006)"},{"key":"8_CR21","unstructured":"Vaughan, G.V., Elliston, B., Tromey, T., Taylor, I.L.: GNU Autoconf, Automake, and Libtool. Pearson Education (October 2000)"},{"key":"8_CR22","unstructured":"Wielemaker, J.: SWI-Prolog: Reference Manual. University of Amsterdam, VU University Amsterdam, Kruislaan 419, 1098 VA Amsterdam\/De Boelelaan 1081a, 1081 HV Amsterdam (1997-2010), http:\/\/www.swi-prolog.org\/pldoc\/index.html"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18378-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T20:52:12Z","timestamp":1559940732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18378-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183775","9783642183782"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18378-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}