mini_kanren
macro_rules! condu { ( $($g0:expr, $($g:expr),*);* ) => { ... }; }
Condu! behaves like conda!, except that a successful line succeeds only once.
Condu!
conda!