mini_kanren
macro_rules! defrel { ($name:ident($($args:ident),*) { $($g:expr),* $(,)? }) => { ... }; ($name:ident($($args:ident),*) { $($g:expr);* $(;)? }) => { ... }; }