Function ai_kit::infer::chain_forward

pub fn chain_forward<T, U, A>(
    facts: Vec<(&String, &U)>, 
    rules: Vec<(&String, &A)>, 
    origin_cache: &mut OriginCache
) -> Vec<(U, Bindings<T>, Origin)> where
    T: ConstraintValue,
    U: Unify<T>,
    A: Operation<T, U>,