egglog Tutorial (EGRAPHS 2023) | Next Generation Egraphs

We've been working on egglog, a new language that subsumes both equality saturation and datalog. Check out the egglog web demo here: https://egraphs-good.github.io/egglog/ And the github here: https://github.com/egraphs-good/egglog