rslogic is a logic programming framework for Rust inspired by µKanren.
A logic gate/circuit simulator written in Rust