Function eval_clauses 

pub fn eval_clauses(
    ctx: &ExecCtx<'_>,
    clauses: &[Clause],
    frames: Vec<Frame>,
    stack: &mut Vec<(String, Vec<Option<Value>>)>,
) -> Result<Vec<Frame>, QueryError>

Evaluates clauses over the given frames, in planner order.

Errors

Propagates evaluation failures (unknown idents, unbound call arguments, arity and type errors, fuel exhaustion).