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/MakeParse/index.html

Module Datalog_top_down.MakeParseSource

Parameters

module C : PARSABLE_CONST
module TD : S with type Const.t = C.t

Signature

Sourcetype term = TD.T.t
Sourcetype lit = TD.Lit.t
Sourcetype clause = TD.C.t
Sourcetype name_ctx = (string, term) Hashtbl.t
Sourceval create_ctx : unit -> name_ctx
Sourceval term_of_ast : ctx:name_ctx -> AST.term -> term
Sourceval lit_of_ast : ctx:name_ctx -> AST.literal -> lit
Sourceval clause_of_ast : ?ctx:name_ctx -> AST.clause -> clause
Sourceval clauses_of_ast : ?ctx:name_ctx -> AST.clause list -> clause list
Sourceval parse_chan : in_channel -> [ `Ok of clause list | `Error of string ]
Sourceval parse_file : string -> [ `Ok of clause list | `Error of string ]
Sourceval parse_string : string -> [ `Ok of clause list | `Error of string ]
Sourceval clause_of_string : string -> clause

Parse a clause from a string, or fail. Useful shortcut to define properties of relations without building terms by hand.

  • raises Failure

    if the string is not a valid clause

Sourceval term_of_string : string -> term
  • raises Failure

    if the string is not a valid term

OCaml

Innovation. Community. Security.