package datalog

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

datalog-0.7.tbz
sha256=13ca520bddf4f0c44d1468bc89347be72ec543be58fff29469a0da24956be541
sha512=25d6e9cb5abe8aa1110730d884abb9e51ae78bf681b3f21709efa32359b9cbdd97d9076761c91562580c090cbce12ce159c97533ae5d9d427c24cb329e950793

doc/datalog.unix/Datalog_unix/Make/argument-1-TD/Index/index.html

Module TD.Index

Parameters

Signature

type t

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

val empty : unit -> t

new, empty index

val copy : t -> t

Recursive copy of the index

val clear : t -> unit
val add : t -> T.t -> Data.t -> t

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

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

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

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

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

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

Iterate on bindings

val size : t -> int

Number of bindings