package datalog

You can search for identifiers within the package.

in-package search v0.2.0

An in-memory datalog implementation for OCaml

Install

md5=4a2d12d630a5edd694968675a84a3ef5

sha512=685c0e186705837cb3ac66df6e8011d9f6a9629484b3a813b767df95348d5a41f37301f3e199ed6c91a42a87d1563e8355377269176785b123eb297a5ad022d7

include TopDown.PARSE
  with type term = Logic.T.t
   and type lit = Logic.Lit.t
   and type clause = Logic.C.t

Sourcetype term = Logic.T.t

Sourcetype lit = Logic.Lit.t

Sourcetype clause = Logic.C.t

Sourcetype name_ctx = (string, term) Hashtbl.t

Sourceval create_ctx : unit -> name_ctx

Sourceval term_of_ast : ctx:name_ctx -> Datalog_top_down.AST.term -> term

Sourceval lit_of_ast : ctx:name_ctx -> Datalog_top_down.AST.literal -> lit

Sourceval clause_of_ast : ?ctx:name_ctx -> Datalog_top_down.AST.clause -> clause

val clauses_of_ast : 
  ?ctx:name_ctx ->
  Datalog_top_down.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.

Sourceval term_of_string : string -> term

Additional functions, to load clauses directly into the DB

Sourceval load_chan : Logic.DB.t -> in_channel -> bool

Sourceval load_file : Logic.DB.t -> string -> bool

Sourceval load_string : Logic.DB.t -> string -> bool