Module Datalog.ASTSource

Sourcetype file = clause list

Toplevel statement

Sourceand clause =
  1. | Clause of literal * literal list

Toplevel statement

Sourceand literal =
  1. | Atom of string * term list
Sourceand term =
  1. | Var of string
  2. | Const of string
  3. | Quoted of string
Sourceand query =
  1. | Query of term list * literal list * literal list
    (*

    Query: projection, positive lits, negative lits

    *)