package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type

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"

module AST : sig ... end
module Lexer : sig ... end
module Parser : sig ... end

Signature for symbols

module type CONST = sig ... end
module type S = sig ... end

Generic implementation

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

Parsing

module type PARSABLE_CONST = sig ... end
module type PARSE = sig ... end
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

type const =
  1. | Int of int
  2. | String of string
module Default : sig ... end