Function avalog::infer

pub fn infer(
    cache: &HashSet<Expr>, 
    filter_cache: &HashSet<Expr>, 
    facts: &[Expr]
) -> Option<Expr>

Specifies inference rules for monotonic solver.