Port of microKanren to JavaScript.
Latest commit 296cd52 Jul 20, 2014 @joshcox added functional Array methods, propagated previous change throughout…
… mk.js, starting adding appendo, wrote README



A port of the microKanren implementation by Jason Hemann and Daniel P. Friedman.

For ease of use, I've written the files as modules for NodeJS.


  1. Launch nodejs in directory with mk.js and tests.js
  2. Type and hit Enter: "var mk = require('./mk.js');"
    • This will load the microKanren library into the mk variables, which can be accessed as such: "mk.callWithEmpyState(...)".
  3. To load the tests file: "var tests = require('./tests.js');"
    • This will load the tests into the variable tests. As of now, I only have one function in here and it can be accessed as: "tests.test1".