Datalog_top_down (p.datalog.0.7.doc.datalog.top_down.Datalog_top

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