package datalog

  1. Overview
  2. Docs

Module Datalog_top_down.ParserSource

Sourcetype token =
  1. | LEFT_PARENTHESIS
  2. | RIGHT_PARENTHESIS
  3. | DOT
  4. | COLON
  5. | IF
  6. | NOT
  7. | COMMA
  8. | AGGR_EQUAL
  9. | EOI
  10. | SINGLE_QUOTED of string
  11. | DOUBLE_QUOTED of string
  12. | LOWER_WORD of string
  13. | UPPER_WORD of string
  14. | INT of string
  15. | OPERATOR of string
Sourceval parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.term
Sourceval parse_literal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal
Sourceval parse_literals : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal list
Sourceval parse_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.term list * AST.literal list
Sourceval parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.clause
Sourceval parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.file