The microKanren logic language, in JavaScript, with a focus on tracing program execution
JavaScript
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.
src
.gitignore
README.md
index.html
package.json

README.md

Micro Scope Kanren

The relation between you and your logic program.

A JavaScript implementation of MicroKanren (plus macros for MiniKanren) focused on inspecting logic programs as they run.

The goal is to be able to see how your program runs: how do different parts of the program interleave answers?

Todo

  • Trace goals
  • Visualize interleaving of traced goals
  • MiniKanren macros
  • Make importable as a library