{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T03:13:24Z","timestamp":1758078804074,"version":"3.44.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"12","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2025,8]]},"abstract":"<jats:p>Languages, namely, fragments, of the Datalog+\/- family are attracting interest in both academia and industry because of their possibility to balance high expressive power and computational complexity. However, understanding the differences among the fragments, mastering them to achieve scalable industrial applications, and communicating their peculiarities to a non-expert audience is challenging for researchers, developers, logicians, and educators.<\/jats:p>\n          <jats:p>In this demo, we introduce Vadacode, an IDE for Datalog+\/- designed to support a broad category of users. The tool offers advanced features, including fragment detection, syntax highlighting, code completion, error diagnostics, schema inference, debugging support, and AI-assisted coding capabilities. Thanks to our experience in the financial context, our demo will guide the audience in modeling financial Datalog+\/- programs, showcasing a seamless and effective coding experience.<\/jats:p>","DOI":"10.14778\/3750601.3750684","type":"journal-article","created":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T13:38:05Z","timestamp":1758029885000},"page":"5411-5414","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Vadacode: A Logician-Friendly IDE for Datalog\n            <sup>\u00b1<\/sup>"],"prefix":"10.14778","volume":"18","author":[{"given":"Luigi","family":"Bellomarini","sequence":"first","affiliation":[{"name":"Bank of Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Gentili","sequence":"additional","affiliation":[{"name":"Bank of Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Magnanimi","sequence":"additional","affiliation":[{"name":"Bank of Italy &amp; Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[{"name":"TU Wien &amp; University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_2_1_2_1","first-page":"1","article-title":"Linearisability on datalog programs","volume":"308","author":"Afrati Foto N.","year":"2003","unstructured":"Foto N. Afrati, Manolis Gergatsoulis, and Francesca Toni. 2003. Linearisability on datalog programs. Theor. Comput. Sci. 308, 1\u20133 (2003), 199\u2013226.","journal-title":"Theor. Comput. Sci."},{"key":"e_1_2_1_3_1","volume-title":"CEUR Workshop Proceedings","volume":"3801","author":"Alviano Mario","year":"2024","unstructured":"Mario Alviano and Matthias Lanzinger (Eds.). 2024. Datalog-2.0. CEUR Workshop Proceedings, Vol. 3801. CEUR-WS.org."},{"key":"e_1_2_1_4_1","volume-title":"Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, and Geoffrey Washburn.","author":"Aref Molham","year":"2015","unstructured":"Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, and Geoffrey Washburn. 2015. Design and Implementation of the LogicBlox System. In SIGMOD. ACM, 1371\u20131382."},{"key":"e_1_2_1_5_1","volume-title":"Graal: A Toolkit for Query Answering with Existential Rules. In RuleML (LNCS)","author":"Baget Jean-Fran\u00e7ois","year":"2015","unstructured":"Jean-Fran\u00e7ois Baget, Michel Lecl\u00e8re, Marie-Laure Mugnier, Swan Rocher, and Cl\u00e9ment Sipieter. 2015. Graal: A Toolkit for Query Answering with Existential Rules. In RuleML (LNCS), Vol. 9202. Springer, 328\u2013344."},{"key":"e_1_2_1_6_1","unstructured":"Jean-Fran\u00e7ois Baget Marie-Laure Mugnier Sebastian Rudolph and Micha\u00ebl Thomazo. 2011. Walking the Complexity Lines for Generalized Guarded Existential Rules. In IJCAI. IJCAI\/AAAI 712\u2013717."},{"key":"e_1_2_1_7_1","unstructured":"Teodoro Baldazzi Luigi Bellomarini and Emanuel Sallinger. 2023. Reasoning over Financial Scenarios with the Vadalog System. In EDBT. 782\u2013791."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.14778\/3565838.3565850"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2020.101528"},{"key":"e_1_2_1_10_1","volume-title":"DLT (CEUR)","volume":"3791","author":"Bellomarini Luigi","year":"2024","unstructured":"Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, and Emanuel Sallinger. 2024. Towards FATEful Smart Contracts. In DLT (CEUR), Vol. 3791. CEUR-WS.org."},{"key":"e_1_2_1_11_1","first-page":"975","article-title":"The Vadalog System: Datalog-based Reasoning for Knowledge Graphs","volume":"11","author":"Bellomarini Luigi","year":"2018","unstructured":"Luigi Bellomarini, Emanuel Sallinger, and Georg Gottlob. 2018. The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. VLDB 11, 9 (2018), 975\u2013987.","journal-title":"VLDB"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Meghyn Bienvenu Diego Figueira and Pierre Lafourcade. 2024. Shapley Value Computation in Ontology-Mediated Query Answering. In KR.","DOI":"10.24963\/kr.2024\/15"},{"key":"e_1_2_1_13_1","volume-title":"AMW (CEUR)","volume":"1378","author":"Calautti Marco","year":"2015","unstructured":"Marco Calautti, Georg Gottlob, and Andreas Pieris. 2015. Chase Termination for Guarded Existential Rules. In AMW (CEUR), Vol. 1378. CEUR-WS.org."},{"key":"e_1_2_1_14_1","volume-title":"Datalog (LNCS)","author":"Cal\u00ec Andrea","unstructured":"Andrea Cal\u00ec, Georg Gottlob, Thomas Lukasiewicz, and Andreas Pieris. 2010. Datalog+\/-: A Family of Languages for Ontology Querying. In Datalog (LNCS), Vol. 6702. Springer, 351\u2013368."},{"key":"e_1_2_1_15_1","volume-title":"ISWC (2) (LNCS)","author":"Carral David","unstructured":"David Carral, Irina Dragoste, Larry Gonz\u00e1lez, Ceriel J. H. Jacobs, Markus Kr\u00f6tzsch, and Jacopo Urbani. 2019. VLog: A Rule Engine for Knowledge Graphs. In ISWC (2) (LNCS), Vol. 11779. Springer, 19\u201335."},{"key":"e_1_2_1_16_1","volume-title":"PG-Triggers: Triggers for Property Graphs. In SIGMOD Conference Companion. ACM, 373\u2013385","author":"Ceri Stefano","year":"2024","unstructured":"Stefano Ceri, Anna Bernasconi, Alessia Gagliardi, Davide Martinenghi, Luigi Bellomarini, and Davide Magnanimi. 2024. PG-Triggers: Triggers for Property Graphs. In SIGMOD Conference Companion. ACM, 373\u2013385."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_2_1_18_1","volume-title":"AI*IA (LNCS)","author":"Gottlob Georg","unstructured":"Georg Gottlob. 2022. Adventures with Datalog: Walking the Thin Line Between Theory and Practice. In AI*IA (LNCS), Vol. 13796. Springer, 489\u2013500."},{"key":"e_1_2_1_19_1","volume-title":"Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue","author":"Gottlob Georg","unstructured":"Georg Gottlob and Andreas Pieris. 2015. Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. In IJCAI. AAAI Press, 2999\u20133007."},{"key":"e_1_2_1_20_1","unstructured":"Aidan Hogan Eva Blomqvist Michael Cochez Claudia d'Amato Gerard de Melo Claudio Gutierrez Jos\u00e9 Emilio Labra Gayo Sabrina Kirrane Sebastian Neumaier Axel Polleres Roberto Navigli Axel-Cyrille Ngonga Ngomo Sabbir M. Rashid Anisa Rula Lukas Schmelzeisen Juan F. Sequeda Steffen Staab and Antoine Zimmermann. 2020. Knowledge Graphs. CoRR abs\/2003.02320 (2020)."},{"key":"e_1_2_1_21_1","volume-title":"Nemo: A Scalable and Versatile Datalog Engine. In Datalog (CEUR)","author":"Ivliev Alex","year":"2024","unstructured":"Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, and Markus Kr\u00f6tzsch. 2024. Nemo: A Scalable and Versatile Datalog Engine. In Datalog (CEUR), Vol. 3801. CEUR-WS.org, 43\u201347."},{"key":"e_1_2_1_22_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers. In CAV (2) (LNCS)","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan, Bernhard Scholz, and Pavle Subotic. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In CAV (2) (LNCS), Vol. 9780. Springer, 422\u2013430."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068422000102"},{"key":"e_1_2_1_24_1","volume-title":"Optimizing recursive queries with monotonic aggregates in DeALS","author":"Shkapsky Alexander","unstructured":"Alexander Shkapsky, Mohan Yang, and Carlo Zaniolo. 2015. Optimizing recursive queries with monotonic aggregates in DeALS. In ICDE. IEEE, 867\u2013878."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4757"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3750601.3750684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T13:43:24Z","timestamp":1758030204000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3750601.3750684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8]]},"references-count":25,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["10.14778\/3750601.3750684"],"URL":"https:\/\/doi.org\/10.14778\/3750601.3750684","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2025,8]]},"assertion":[{"value":"2025-09-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}