package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 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
val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.term
val parse_literal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal
val parse_literals : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal list
val parse_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.term list * AST.literal list
val parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.clause
val parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.file