virtual

Values

solve

pub fn solve(
  db_state: state.DbState,
  predicate: String,
  args: List(ast.Part),
  outputs: List(String),
  ctx: dict.Dict(String, fact.Value),
) -> List(dict.Dict(String, fact.Value))

Run a bounded local adapter. Rows retain the adapter’s order; an adapter failure, invalid row limit, or row-limit overflow makes this clause produce no rows. Query execution is intentionally fail-closed at this boundary.