Function ukanren::delay

pub fn delay<F, G, I>(f: F) -> BoxedGoal<LazyApplication<G, I>> where
    F: Fn() -> G + Clone + 'static,
    G: Goal<Iter = I>,
    I: Iterator<Item = State>, 

Goal that introduces inverse-η delay to handle infinite streams.