Vadacode: A Logician-friendly IDE for Datalog+/-
Summary: Vadacode: an IDE tailored for Datalog+/- that detects fragments and provides fragment-aware tooling (syntax highlighting, completion, diagnostics, schema inference, debugging) to bridge logicians, developers, and educators. Adds AI-assisted coding and demos financial-modeling workflows to enable scalable, fragment-conscious development and teaching. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 613 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.00019181325 |
| 3,909 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.6375375e-05 |
| 5,165 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6529675e-05 |
| 9,153 | PG-Triggers: Triggers for Property Graphs | 2024 | SIGMOD | 4.3849295e-05 |
| 9,377 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 4.347117e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 8,354 | LogiQL: a Declarative Language for Enterprise Applications | 2015 | PODS | 4.538638e-05 |
| 613 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.00019181325 |
| 7,368 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7507411e-05 |
| 9,813 | Datalog with First-Class Facts | 2025 | VLDB | 4.2783272e-05 |
| 7,384 | The VADA Architecture for Cost-Effective Data Wrangling | 2017 | SIGMOD | 4.7445719e-05 |
| 5,620 | Datalog and Emerging Applications: An Interactive Tutorial | 2011 | SIGMOD | 5.407079e-05 |
| 13,192 | KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs | 2023 | VLDB | - |
| 11,130 | The Vadalog Parallel System: Distributed Reasoning with Datalog+/- | 2024 | VLDB | 4.1945683e-05 |
| 5,165 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6529675e-05 |
| 9,738 | The Space-Efficient Core of Vadalog | 2019 | PODS | 4.2936538e-05 |