package datalog

  1. Overview
  2. Docs
An in-memory datalog implementation for OCaml

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.6.tar.gz
md5=4a2d12d630a5edd694968675a84a3ef5
sha512=685c0e186705837cb3ac66df6e8011d9f6a9629484b3a813b767df95348d5a41f37301f3e199ed6c91a42a87d1563e8355377269176785b123eb297a5ad022d7

doc/datalog.top_down/Datalog_top_down/Parser/index.html

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
OCaml

Innovation. Community. Security.