package datalog

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

AST for TopDown terms

package datalog

datalog
- Datalog
  - AST
  - BottomUp
    
    Hashcons
    
    S
    
    Make
    
    Query
    
    Symbol
    
    S
    
    Query
    
    SymbolType
    
    Univ
  - Default
    
    Query
    
    StringSymbol
  - Lexer
  - Parser
  - Version
datalog.caml_interface
- Datalog_caml_interface
  - Logic
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
  - Parse
  - Rel1
  - Rel2
  - Rel3
  - RelList
  - Univ
datalog.top_down
- Datalog_top_down
  - AST
  - CONST
  - Default
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
  - Lexer
  - 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
  - Parser
  - S
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    Const
    
    DB
    
    Index
    
    Data
    
    Lit
    
    Rewriting
    
    Subst
    
    T
    
    Tbl
    
    TVariantTbl
datalog.unix
- Datalog_unix
  - Default
    
    TD
    
    BuiltinFun
    
    C
    
    Tbl
    
    CVariantTbl
    
    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

Legend:
Library
Module
Module type
Parameter
Class
Class type

AST for TopDown terms

type term =

| Var of string
| Apply of string * term list
| Int of int

type aggregate = {

ag_left : term;
ag_constructor : string;
ag_var : string;
ag_guard : term;

}

type literal =

| LitPos of term
| LitNeg of term
| LitAggr of aggregate

type clause = term * literal list

type file = clause list

exception ParseError of string

val loc_to_str : Lexing.position -> string

val print_error : ?out:out_channel -> string -> Lexing.lexbuf -> unit

val error_to_string : string -> Lexing.lexbuf -> string