sig
  type set
  val ask :
    Datalog.S.db ->
    ?neg:Datalog.S.literal list ->
    int array -> Datalog.S.literal list -> Datalog.S.Query.set
  val iter : Datalog.S.Query.set -> (Datalog.S.term array -> unit) -> unit
  val to_list : Datalog.S.Query.set -> Datalog.S.term array list
  val cardinal : Datalog.S.Query.set -> int
  val pp_plan : Format.formatter -> Datalog.S.Query.set -> unit
end