Macro mini_kanren::conde

macro_rules! conde {
    ( $($($g:expr),*;)* ) => { ... };
}

Creates a goal that succeeds if any of its lines succeeds. Every successful line contributes one or more values.

A line (separated by ;) succeeds if all of its goals (separated by ,) succeed.