egraphs-good/egglog

**Brief Summary (2‑3 sentences)** *egglog* (egraphs‑good/egglog) is an open‑source Rust library that combines e‑graph rewriting with Datalog‑style logic program