Logical.State · logical 0.3.0

Logical is a minimalistic logic programming inspired by microKanren

Version

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