Source file `AST.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

(* this file is part of datalog. See README for the license *)

(** {1 Parsing AST} *)

type file = clause list
  (** Toplevel statement *)
and clause =
  | Clause of literal * literal list
and literal =
  | Atom of string * term list
and term =
  | Var of string
  | Const of string
  | Quoted of string
and query =
  | Query of term list * literal list * literal list
  (** Query: projection, positive lits, negative lits *)

(* TODO: negation in body *)