Function query_all 

pub fn query_all(
    cx: &mut Cx,
    db: &LogicDb,
    config: &LogicConfig,
    goal: Expr,
    limit: Option<usize>,
) -> Result<Vec<ShapeMatch>>

Resolves goal against db and returns all answers up to limit.

When limit is None, the answer count is capped by config.limits.max_answers. Each answer is a ShapeMatch whose captures contain the variables bound while proving the goal.