package datalog

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Top-Down Computation

package datalog

datalog
- Library datalog
  - Datalog
    
    AST
    
    BottomUp
    
    Univ
    
    S
    
    Query
    
    SymbolType
    
    Hashcons
    
    Make
    
    Query
    
    Default
    
    StringSymbol
    
    Query
    
    Lexer
    
    Parser
    
    Version
- Library datalog.caml_interface
  - Datalog_caml_interface
    
    TopDown
    
    Univ
    
    Logic
    
    Const
    
    T
    
    Tbl
    
    Lit
    
    C
    
    Tbl
    
    Subst
    
    BuiltinFun
    
    TVariantTbl
    
    CVariantTbl
    
    Index
    
    Rewriting
    
    DB
    
    Rel1
    
    Rel2
    
    Rel3
    
    RelList
    
    Parse
- Library datalog.top_down
  - Datalog_top_down
    
    AST
    
    Lexer
    
    Parser
    
    CONST
    
    S
    
    Const
    
    T
    
    Tbl
    
    Lit
    
    C
    
    Tbl
    
    Subst
    
    BuiltinFun
    
    TVariantTbl
    
    CVariantTbl
    
    Index
    
    Rewriting
    
    DB
    
    Make
    
    Const
    
    T
    
    Tbl
    
    Lit
    
    C
    
    Tbl
    
    Subst
    
    BuiltinFun
    
    TVariantTbl
    
    CVariantTbl
    
    Index
    
    Rewriting
    
    DB
    
    PARSABLE_CONST
    
    PARSE
    
    MakeParse
    
    Default
    
    Const
    
    T
    
    Tbl
    
    Lit
    
    C
    
    Tbl
    
    Subst
    
    BuiltinFun
    
    TVariantTbl
    
    CVariantTbl
    
    Index
    
    Rewriting
    
    DB
- Library datalog.unix
  - Datalog_unix
    
    TopDown
    
    S
    
    TD
    
    Const
    
    T
    
    Tbl
    
    Lit
    
    C
    
    Tbl
    
    Subst
    
    BuiltinFun
    
    TVariantTbl
    
    CVariantTbl
    
    Index
    
    Rewriting
    
    DB
    
    Make
    
    TD
    
    Default
    
    TD
    
    Const
    
    T
    
    Tbl
    
    Lit
    
    C
    
    Tbl
    
    Subst
    
    BuiltinFun
    
    TVariantTbl
    
    CVariantTbl
    
    Index
    
    Rewriting
    
    DB
- Sources
  - datalog
    
    AST.ml
    
    Lexer.ml
    
    Parser.ml
    
    bottomUp.ml
    
    datalog.ml
    
    default.ml
    
    version.ml
  - datalog.caml_interface
    
    Datalog_caml_interface.ml
  - datalog.top_down
    
    AST.ml
    
    Datalog_top_down.ml
    
    Lexer.ml
    
    Parser.ml
    
    datalog_top_down__.ml
  - datalog.unix
    
    Datalog_unix.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

package datalog

Module Datalog_top_downSource

Top-Down Computation

Signature for symbols

Generic implementation

Parsing

Default Implementation with Strings

Module `Datalog_top_down`Source