Module Datalog.Ast

module Ast: sig .. end

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