package datalog

You can search for identifiers within the package.

in-package search v0.2.0

datalog
- Datalog
  - BottomUp
    
    Hashcons
    
    S
    
    Make
    
    Query
    
    Symbol
    
    S
    
    Query
    
    SymbolType
    
    Univ
  - BottomUpAst
  - BottomUpLexer
  - BottomUpParser
  - CamlInterface
    
    Logic
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    Parse
    
    Rel1
    
    Rel2
    
    Rel3
    
    RelList
    
    Univ
  - Default
    
    Query
    
    StringSymbol
  - TopDown
    
    CONST
    
    Default
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    Make
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    MakeParse
    
    C
    
    TD
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    PARSABLE_CONST
    
    PARSE
    
    S
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
  - TopDownAst
  - TopDownLexer
  - TopDownParser
  - TopDownUnix
    
    Default
    
    TD
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    Make
    
    TD
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
    
    S
    
    TD
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
  - Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

type token =

| LEFT_PARENTHESIS
| RIGHT_PARENTHESIS
| DOT
| COLON
| IF
| NOT
| COMMA
| AGGR_EQUAL
| EOI
| SINGLE_QUOTED of string
| DOUBLE_QUOTED of string
| LOWER_WORD of string
| UPPER_WORD of string
| INT of string
| OPERATOR of string

val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> TopDownAst.term

val parse_literal : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  TopDownAst.literal

val parse_literals : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  TopDownAst.literal list

val parse_query : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  TopDownAst.term list * TopDownAst.literal list

val parse_clause : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  TopDownAst.clause

val parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> TopDownAst.file