Function ai_kit::infer::chain_forward_with_negative_goals

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