Egglog

A prolog like syntax for egg


Try It Out!


What is this?

A prolog like syntax for interfacing with the egg egraph library.

Github repo: https://github.com/philzook58/egglog Read more here: