logical

Logical is a minimalistic logic programming inspired by microKanren
IN THIS PACKAGE
Module Logical
module Type : sig ... end
module Value : sig ... end
module State : sig ... end
module Goal : sig ... end