Module `Datalog_top_down`

Top-Down Computation

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 : functor (Const : CONST) -> S with module Const = Const

Parsing

module type PARSABLE_CONST = sig ... end

module type PARSE = sig ... end

module MakeParse : functor (C : PARSABLE_CONST) -> functor (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 = | Int of int | String of string

module Default : sig ... end