package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type
type file = clause list

Toplevel statement

and clause =
  1. | Clause of literal * literal list

Toplevel statement

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
    (*

    Query: projection, positive lits, negative lits

    *)