package datalog

  1. Overview
  2. Docs
type file = clause list
and clause =
  1. | Clause of literal * literal list
and literal =
  1. | Atom of string * term list
and term =
  1. | Var of string
  2. | Const of string
  3. | Quoted of string
and query =
  1. | Query of term list * literal list * literal list
OCaml

Innovation. Community. Security.