open Sexplib.Std

type attr_value = string * Drl.Ast.value [@@deriving sexp]

type statement =
  | InsertTuple of { relation : string; attributes : attr_value list }
  | InsertTuples of { relation : string; tuples : attr_value list list }
  | DeleteTuple of { relation : string; attributes : attr_value list }
  | Assign of { target : string; body : Drl.Ast.query }
  | InsertFrom of { target : string; source : Drl.Ast.query }
  | DeleteWhere of { target : string; predicate : Drl.Ast.query }
[@@deriving sexp]