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))