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 Changelog Edit opam file Versions (8)

Authors

S

Simon Cruanes

Maintainers

S

simon.cruanes.2007@m4x.org

Sources

datalog-0.7.tbz

sha256=13ca520bddf4f0c44d1468bc89347be72ec543be58fff29469a0da24956be541

sha512=25d6e9cb5abe8aa1110730d884abb9e51ae78bf681b3f21709efa32359b9cbdd97d9076761c91562580c090cbce12ce159c97533ae5d9d427c24cb329e950793

doc/datalog.top_down/Datalog_top_down/index.html

Module `Datalog_top_down`Source

Top-Down Computation

This module implements top-down computation of Datalog queries with non-stratified negation.

See "efficient top-down computation of queries under the well-founded semantics"

Sourcemodule AST : sig ... end

Sourcemodule Lexer : sig ... end

Sourcemodule Parser : sig ... end

Signature for symbols

Sourcemodule type CONST = sig ... end

Sourcemodule type S = sig ... end

Generic implementation

Sourcemodule Make (Const : CONST) : S with module Const = Const

Parsing

Sourcemodule type PARSABLE_CONST = sig ... end

Sourcemodule type PARSE = sig ... end

Source

module MakeParse
  (C : PARSABLE_CONST)
  (TD : S with type Const.t = C.t) : 
  PARSE
    with type term = TD.T.t
     and type lit = TD.Lit.t
     and type clause = TD.C.t

Default Implementation with Strings

Sourcetype const =

| Int of int
| String of string

Sourcemodule Default : sig ... end

On This Page

Top-Down Computation