We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation
(EqSat). Like Datalog, egglog supports efficient incremental execution, cooperating …

Functional logic languages have a rich literature, but it is tricky to give them a satisfying
semantics. In this paper we describe the Verse calculus, VC, a new core calculus for …

The restricted logic programming language Datalog has become a popular implementation
target for deductive-analytic workloads including social-media analytics and program …

Datalog has gained prominence in program analysis due to its expressiveness and ease of
use. Its generic fixpoint resolution algorithm over relational domains simplifies the …

Automated program repair relying on static analysis complements test-driven repair, since it
does not require failing tests to repair a bug, and it avoids test-overfitting by considering …

We present an approach to integrating state-of-art bottom-up logic programming within the
Rust ecosystem, demonstrating it with Ascent, an extension of Datalog that performs well …

Datalog is a declarative query language with wide applicability, especially in program
analysis. Queries are evaluated by Datalog engines, which are complex and thus prone to …

This paper presents DeCon, a declarative programming language for implementing smart
contracts and specifying contract-level properties. Driven by the observation that smart …

Datalog is a carefully restricted logic programming language. What makes Datalog attractive
is its declarative fixpoint semantics: Datalog queries consist of simple Horn clauses, yet …

Given a set of candidate Datalog rules, the Datalog synthesis-as-rule-selection problem
chooses a subset of these rules that satisfies a specification (such as an input-output …