Module BottomUpAst

module BottomUpAst: sig .. end

type file = clause list

Toplevel statement

type clause =

`\|`	`Clause of literal * literal list`

type literal =

`\|`	`Atom of string * term list`

type term =

type query =

|

Query of term list * literal list * literal list

(*

Query: projection, positive lits, negative lits

*)