Macro conj 

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

Creates a goal that succeeds if all of its subgoals succeed