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 |
|---|---|---|---|---|
| 610 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.00019204048 |
| 3,913 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.6311557e-05 |
| 5,166 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6475375e-05 |
| 9,154 | PG-Triggers: Triggers for Property Graphs | 2024 | SIGMOD | 4.380727e-05 |
| 9,385 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 4.342951e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 8,350 | LogiQL: a Declarative Language for Enterprise Applications | 2015 | PODS | 4.5342845e-05 |
| 610 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.00019204048 |
| 7,363 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7461604e-05 |
| 9,812 | Datalog with First-Class Facts | 2025 | VLDB | 4.2742278e-05 |
| 7,384 | The VADA Architecture for Cost-Effective Data Wrangling | 2017 | SIGMOD | 4.7400209e-05 |
| 5,629 | Datalog and Emerging Applications: An Interactive Tutorial | 2011 | SIGMOD | 5.4018902e-05 |
| 13,206 | KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs | 2023 | VLDB | - |
| 11,133 | The Vadalog Parallel System: Distributed Reasoning with Datalog+/- | 2024 | VLDB | 4.1905499e-05 |
| 5,166 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6475375e-05 |
| 9,737 | The Space-Efficient Core of Vadalog | 2019 | PODS | 4.2895392e-05 |