logical

Logical is a minimalistic logic programming inspired by microKanren
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

logical

Documentation: Logical

Dependencies: base