egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
VAL H0 H1
VAL H2 H1
VAL H3 H4
VAL H5 H4
MEM H6 MEM
MEM H7 VAL
PR H7 VAL
ELM H8 ELM
ELM H0 H1
ELM H2 H1
ELM H3 H4
ELM H5 H4
H2 H0 MEM
H5 H3 ELM
H6 PR H9
H7 H10 H11
H8 VAL H9