package datalog

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type symbol = string

type literal

type clause

type subst

val mk_literal : symbol -> [ `Symbol of symbol | `Var of int ] list -> literal

val mk_literal_s : 
  string ->
  [ `Symbol of string | `Var of int ] list ->
  literal

val open_literal : literal -> symbol * [ `Symbol of symbol | `Var of int ] list

val mk_clause : literal -> literal list -> clause

val open_clause : clause -> literal * literal list

val is_var : int -> bool

val is_ground : literal -> bool

val arity : literal -> int

val eq_literal : literal -> literal -> bool

val hash_literal : literal -> int

val compare_literal : literal -> literal -> int

val check_safe : clause -> bool

val is_fact : clause -> bool

val compare_clause : clause -> clause -> int

val eq_clause : clause -> clause -> bool

val hash_clause : clause -> int

val subst_literal : subst -> literal -> literal

val subst_clause : subst -> clause -> clause

val pp_literal : Format.formatter -> literal -> unit

val pp_clause : Format.formatter -> clause -> unit

val pp_subst : Format.formatter -> subst -> unit

exception UnsafeClause

type db

val db_create : unit -> db

val db_mem : db -> clause -> bool

val db_add : db -> clause -> unit

val db_match : db -> literal -> (literal -> subst -> unit) -> unit

val db_size : db -> int

val db_fold : ('a -> clause -> 'a) -> 'a -> db -> 'a

val db_subscribe : db -> symbol -> (literal -> unit) -> unit

val db_explain : db -> literal -> literal list

val db_premises : db -> literal -> clause * literal list