Function conj

pub fn conj<T, A, B>(a: A, b: B) -> Conjunction<T, A, B>
where
    T: PartialEq + Unif<T>,
    A: Goal<T>,
    B: Goal<T>,

Creates a Conjunction goal which returns the conjunction (logical AND) of evaluating the two sub-goals.