Lua port of of microKanren, a minimal logic programming engine.
Lua
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
README.md
example.lua
ukanren.lua

README.md

A port of microKanren, a minimal logic programming engine, to Lua.

Based on Jason Hemann and Daniel P. Friedman's "microKanren: A Minimal Functional Core for Relational Programming".

The paper's implementation does not appear to specify a license. I am releasing this under the ISC license, but will change it at the papers' authors' request.

Note that this is extremely alpha code! I wrote it while working through that paper. Don't consider it robust, don't use it in production yet, etc. The example uses from the paper don't even give full branch coverage.