sig
  type token
  val parse_literal :
    (Lexing.lexbuf -> Datalog.Parser.token) ->
    Lexing.lexbuf -> Datalog.Ast.literal
  val parse_literals :
    (Lexing.lexbuf -> Datalog.Parser.token) ->
    Lexing.lexbuf -> Datalog.Ast.literal list
  val parse_clause :
    (Lexing.lexbuf -> Datalog.Parser.token) ->
    Lexing.lexbuf -> Datalog.Ast.clause
  val parse_file :
    (Lexing.lexbuf -> Datalog.Parser.token) ->
    Lexing.lexbuf -> Datalog.Ast.file
  val parse_query :
    (Lexing.lexbuf -> Datalog.Parser.token) ->
    Lexing.lexbuf -> Datalog.Ast.query
end