WingNews logo WingNews
top | new | best | ask | show | jobs
top | item 45476784

(no title)

barthelomew | 4 months ago

Yep! Datalog syntax for Z3 is pretty neat! We used SMT [1] in our grammars paper because it allowed the most interoperability with solvers, but our technique also works with PROLOG; as tested our at the behest of reviewers at NeurIPS. I would assume that this should also work with datalog [2].

[1] https://arxiv.org/abs/2505.20047 [2] https://github.com/antlr/grammars-v4/blob/master/datalog/dat...

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com