Module Datalog.Parser

module Parser: sig .. end
The syntax is a subset of prolog.

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