package datalog

You can search for identifiers within the package.

in-package search v0.2.0

An in-memory datalog implementation for OCaml

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

S

Simon Cruanes

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

v0.6.tar.gz

md5=4a2d12d630a5edd694968675a84a3ef5

sha512=685c0e186705837cb3ac66df6e8011d9f6a9629484b3a813b767df95348d5a41f37301f3e199ed6c91a42a87d1563e8355377269176785b123eb297a5ad022d7

doc/datalog.unix/Datalog_unix/Default/TD/Index/index.html

Module `TD.Index`Source

Parameters

module Data : Hashtbl.HashedType

Signature

Sourcetype t

A set of term->data bindings, for efficient retrieval by unification

Sourceval empty : unit -> t

new, empty index

Sourceval copy : t -> t

Recursive copy of the index

Sourceval clear : t -> unit

Sourceval add : t -> T.t -> Data.t -> t

Add the term->data binding. This modifies the index!

Sourceval remove : t -> T.t -> Data.t -> t

Remove the term->data binding. This modifies the index!

Source

val generalizations : 
  ?oc:bool ->
  t ->
  scope ->
  T.t ->
  scope ->
  (Data.t -> Subst.t -> unit) ->
  unit

Retrieve data associated with terms that are a generalization of the given query term

Source

val unify : 
  ?oc:bool ->
  t ->
  scope ->
  T.t ->
  scope ->
  (Data.t -> Subst.t -> unit) ->
  unit

Retrieve data associated with terms that unify with the given query term

Sourceval iter : t -> (T.t -> Data.t -> unit) -> unit

Iterate on bindings

Sourceval size : t -> int

Number of bindings

On This Page

Parameters
Signature