avalog
pub fn infer( cache: &HashSet<Expr>, filter_cache: &HashSet<Expr>, facts: &[Expr]) -> Option<Expr>
Specifies inference rules for monotonic solver.