logical

Logical is a minimalistic logic programming inspired by microKanren
IN THIS PACKAGE
Module Logical . State
val empty : Type.state
val create : (Type.variable_name * Type.t) list -> Type.state option
val create_exn : (Type.variable_name * Type.t) list -> Type.state
val value_of : Type.state -> Type.t -> Type.t
val unify : Type.state -> Type.t -> Type.t -> Type.state option
val to_string : Type.state -> string