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 term

type rule

type subst

val mk_term : symbol -> [ `Symbol of symbol | `Var of int ] list -> term

val mk_term_s : string -> [ `Symbol of string | `Var of int ] list -> term

val open_term : term -> symbol * [ `Symbol of symbol | `Var of int ] list

val mk_rule : term -> term list -> rule

val open_rule : rule -> term * term list

val is_var : int -> bool

val is_ground : term -> bool

val arity : term -> int

val eq_term : term -> term -> bool

val hash_term : term -> int

val compare_term : term -> term -> int

val check_safe : rule -> bool

val is_fact : rule -> bool

val compare_rule : rule -> rule -> int

val eq_rule : rule -> rule -> bool

val hash_rule : rule -> int

val subst_term : subst -> term -> term

val subst_rule : subst -> rule -> rule

val pp_term : Format.formatter -> term -> unit

val pp_rule : Format.formatter -> rule -> unit

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

type db

val db_create : unit -> db

val db_mem : db -> rule -> bool

val db_add : db -> rule -> unit

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

val db_size : db -> int

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

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

val db_explain : db -> term -> term list

val db_premises : db -> term -> rule * term list