package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Datalog_caml_interfaceSource

Bridge between Datalog.TopDown and OCaml

Constants with universal types

This module is present to allow the user to pack their own types into Datalog constants. It is NOT thread-safe. This is largely inspired by this thread

Sourcemodule TopDown = Datalog_top_down
Sourcemodule Univ : sig ... end
Sourcetype const = Univ.t

Datalog constant. Constants for relations are built using Univ.string, which is also used by of_string.

Sourceval of_string : string -> const
Sourceval of_int : int -> const
Sourcemodule Logic : TopDown.S with type Const.t = const

Typed relations

Sourcemodule Rel1 : sig ... end
Sourcemodule Rel2 : sig ... end
Sourcemodule Rel3 : sig ... end
Sourcemodule RelList : sig ... end

IO

Sourcemodule Parse : sig ... end

Interpretation

Sourceval add_builtin : Logic.DB.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct