{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:02:31Z","timestamp":1742986951643,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031849237"},{"type":"electronic","value":"9783031849244"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-84924-4_1","type":"book-chapter","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:01:13Z","timestamp":1742212873000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Bridging Prolog and\u00a0Python to\u00a0Enhance an\u00a0Inductive Logic Programming System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3344-8237","authenticated-orcid":false,"given":"V\u00edtor Santos","family":"Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1589-3174","authenticated-orcid":false,"given":"Miguel","family":"Areias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,18]]},"reference":[{"key":"1_CR1","unstructured":"Carlsson, M., et\u00a0al.: SICStus Prolog Users Manual (2022). https:\/\/sicstus.sics.se\/sicstus\/docs\/latest4\/html\/prologbeans\/"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Andersen, C., Swift, T.: The Janus system: a bridge to new prolog applications. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M.V., Kowalski, R.A., Rossi, F. (eds.) Prolog: The Next 50 Years. LNCS, vol. 13900, pp. 93\u2013104. Springer, Cham (2023).https:\/\/doi.org\/10.1007\/978-3-031-35254-6_8","DOI":"10.1007\/978-3-031-35254-6_8"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-45284-0_13","volume-title":"Practical Aspects of Declarative Languages","author":"N Angelopoulos","year":"2013","unstructured":"Angelopoulos, N., Santos Costa, V., Azevedo, J., Wielemaker, J., Camacho, R., Wessels, L.: Integrative functional statistics in logic programming. In: Sagonas, K. (ed.) PADL 2013. LNCS, vol. 7752, pp. 190\u2013205. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45284-0_13"},{"key":"1_CR4","unstructured":"Bartsch, G.: py-xsb (2004). https:\/\/github.com\/gooofy\/py-xsb"},{"key":"1_CR5","unstructured":"Beazley, D.M.: SWIG: an easy to use tool for integrating scripting languages with C and C++. In: Diekhans, M., Roseman, M. (eds.) Fourth Annual USENIX Tcl\/Tk Workshop 1996, Monterey, California, USA, 10\u201313 July 1996. USENIX Association (1996)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1007\/978-3-540-30227-8_64","volume-title":"Logics in Artificial Intelligence","author":"M Calejo","year":"2004","unstructured":"Calejo, M.: InterProlog: towards a declarative embedding of logic programming in Java. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 714\u2013717. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30227-8_64"},{"issue":"1\u20132","key":"1_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S1471068411000482","volume":"12","author":"M Carlsson","year":"2012","unstructured":"Carlsson, M., Mildner, P.: Sicstus prolog - the first 25 years. Theory Pract. Log. Program. 12(1\u20132), 35\u201366 (2012). https:\/\/doi.org\/10.1017\/S1471068411000482","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2015.11.008","volume":"134","author":"S Castro","year":"2017","unstructured":"Castro, S., Mens, K., Moura, P.: JPC: a library for categorising and applying inter-language conversions between java and prolog. Sci. Comput. Program. 134, 75\u201399 (2017). https:\/\/doi.org\/10.1016\/j.scico.2015.11.008","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10994-008-5076-4","volume":"73","author":"J Chen","year":"2008","unstructured":"Chen, J., Muggleton, S.H., Santos, J.C.A.: Learning probabilistic logic models from probabilistic examples. Mach. Learn. 73(1), 55\u201385 (2008). https:\/\/doi.org\/10.1007\/s10994-008-5076-4","journal-title":"Mach. Learn."},{"issue":"1\u20132","key":"1_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068411000512","volume":"12","author":"VS Costa","year":"2012","unstructured":"Costa, V.S., Rocha, R., Damas, L.: The YAP prolog system. Theory Pract. Log. Program. 12(1\u20132), 5\u201334 (2012). https:\/\/doi.org\/10.1017\/S1471068411000512","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog - The Standard: Reference Manual. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-3-642-61411-8","DOI":"10.1007\/978-3-642-61411-8"},{"issue":"1\u20132","key":"1_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1017\/S1471068411000470","volume":"12","author":"D Diaz","year":"2012","unstructured":"Diaz, D., Abreu, S., Codognet, P.: On the implementation of GNU prolog. Theory Pract. Log. Program. 12(1\u20132), 253\u2013282 (2012). https:\/\/doi.org\/10.1017\/S1471068411000470","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1007460424845","volume":"30","author":"P Finn","year":"1998","unstructured":"Finn, P., Muggleton, S., Page, D., Srinivasan, A.: Pharmacophore discovery using the inductive logic programming system Progol. Mach. Learn. 30, 241\u2013270 (1998)","journal-title":"Mach. Learn."},{"key":"1_CR14","unstructured":"no Garc\u00eda, S.F.: PWIG wrapper and interface generator (2004). https:\/\/pwig.sourceforge.net\/"},{"issue":"1\u20132","key":"1_CR15","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., et al.: An overview of ciao and its design philosophy. Theory Pract. Log. Program. 12(1\u20132), 219\u2013252 (2012). https:\/\/doi.org\/10.1017\/S1471068411000457","journal-title":"Theory Pract. Log. Program."},{"issue":"3","key":"1_CR16","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MCSE.2007.55","volume":"9","author":"JD Hunter","year":"2007","unstructured":"Hunter, J.D.: Matplotlib: a 2D graphics environment. Comput. Sci. Eng. 9(3), 90\u201395 (2007)","journal-title":"Comput. Sci. Eng."},{"issue":"6","key":"1_CR17","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1017\/S1471068422000102","volume":"22","author":"P K\u00f6rner","year":"2022","unstructured":"K\u00f6rner, P., et al.: Fifty years of prolog and beyond. Theory Pract. Log. Program. 22(6), 776\u2013858 (2022). https:\/\/doi.org\/10.1017\/S1471068422000102","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR18","unstructured":"Muggleton, S.H.: Inverting entailment and Progol. In: Furukawa, K., Michie, D., Muggleton, S.H. (eds.) Machine Intelligence 14, Proceedings of the Fourteenth Machine Intelligence Workshop, held at Hitachi Advanced Research Laboratories, Tokyo, Japan, pp. 135\u2013190. Oxford University Press (1993)"},{"issue":"1\u20132","key":"1_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S1471068411000469","volume":"12","author":"J Schimpf","year":"2012","unstructured":"Schimpf, J., Shen, K.: Ecl$$ ^{\\text{ i }}$$ps$$ ^{\\text{ e }}$$ - from LP to CLP. Theory Pract. Log. Program. 12(1\u20132), 127\u2013156 (2012). https:\/\/doi.org\/10.1017\/S1471068411000469","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR20","unstructured":"Seward, A.J.: bedevere (2002). https:\/\/bedevere.sourceforge.net\/"},{"key":"1_CR21","unstructured":"SICS Swedish ICT AB: Quintus Prolog Manual (2015). https:\/\/quintus.sics.se\/isl\/quintuswww\/site\/index.html"},{"key":"1_CR22","unstructured":"Singleton, P., Dushin, F.: JPL: a bidirectional Prolog\/Java interface (2018). https:\/\/jpl7.org\/"},{"key":"1_CR23","unstructured":"Srinivasan, A.: The aleph manual (2001)"},{"issue":"1\u20132","key":"1_CR24","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. Theory Pract. Log. Program. 12(1\u20132), 157\u2013187 (2012). https:\/\/doi.org\/10.1017\/S1471068411000500","journal-title":"Theory Pract. Log. Program."},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Swift, T., Andersen, C.: The Janus system: multi-paradigm programming in prolog and python. In: Pontelli, E., et al. (eds.) Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th\u201315th July 2023. EPTCS, vol.\u00a0385, pp. 241\u2013255 (2023). https:\/\/doi.org\/10.4204\/EPTCS.385.24","DOI":"10.4204\/EPTCS.385.24"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1007\/3-540-44957-4_82","volume-title":"Computational Logic \u2014 CL 2000","author":"P Tarau","year":"2000","unstructured":"Tarau, P.: Fluents: a refactoring of prolog for uniform reflection and interoperation with external objects. In: Lloyd, J., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1225\u20131239. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44957-4_82"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Tarau, P.: Agent oriented logic programming in jinni 2004. In: Haddad, H., Liebrock, L.M., Omicini, A., Wainwright, R.L. (eds.) Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, 13\u201317 March 2005, pp. 1427\u20131428. ACM (2005). https:\/\/doi.org\/10.1145\/1066677.1067000","DOI":"10.1145\/1066677.1067000"},{"key":"1_CR28","unstructured":"Taskesen, E.: D3blocks: the python library to create interactive and standalone D3JS charts (2022). https:\/\/towardsdatascience.com\/d3blocks-the-python-library-to-create-interactive-and-standalone-d3js-charts-3dda98ce97d4\/"},{"key":"1_CR29","unstructured":"Tekol, Y.: Pyswip (2023). https:\/\/github.com\/yuce\/pyswip"},{"issue":"60","key":"1_CR30","doi-asserted-by":"publisher","first-page":"3021","DOI":"10.21105\/joss.03021","volume":"6","author":"ML Waskom","year":"2021","unstructured":"Waskom, M.L.: Seaborn: statistical data visualization. J. Open Sour. Softw. 6(60), 3021 (2021)","journal-title":"J. Open Sour. Softw."},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-18378-2_8","volume-title":"Practical Aspects of Declarative Languages","author":"J Wielemaker","year":"2011","unstructured":"Wielemaker, J., Costa, V.S.: On the portability of prolog applications. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 69\u201383. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18378-2_8"},{"key":"1_CR32","unstructured":"Wielemaker, J., Hendricks, M.: Why it\u2019s nice to be quoted: quasiquoting for Prolog. CoRR abs\/1308.3941 (2013). http:\/\/arxiv.org\/abs\/1308.3941"},{"issue":"1\u20132","key":"1_CR33","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. Theory Pract. Log. Program. 12(1\u20132), 67\u201396 (2012). https:\/\/doi.org\/10.1017\/S1471068411000494","journal-title":"Theory Pract. Log. Program."},{"issue":"1\u20132","key":"1_CR34","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1017\/S1471068411000445","volume":"12","author":"N Zhou","year":"2012","unstructured":"Zhou, N.: The language features and architecture of B-prolog. Theory Pract. Log. Program. 12(1\u20132), 189\u2013218 (2012). https:\/\/doi.org\/10.1017\/S1471068411000445","journal-title":"Theory Pract. Log. Program."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84924-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:01:16Z","timestamp":1742212876000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84924-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031849237","9783031849244"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84924-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"18 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}