Module Datalog.Parser
type token
=
|
LEFT_PARENTHESIS
|
RIGHT_PARENTHESIS
|
DOT
|
IF
|
NOT
|
COMMA
|
EOI
|
SINGLE_QUOTED of string
|
LOWER_WORD of string
|
UPPER_WORD of string
|
INT of string
val parse_literal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal
val parse_literals : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal list
val parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.clause
val parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.file
val parse_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.query