mini_kanren
macro_rules! fresh { (($($x:ident),*), $($g:expr),* $(,)?) => { ... }; }
Bind fresh variables with scope inside the body of fresh!.
fresh!