Fast map coloring in miniKanren

I’ve copied just the relevant portions of John McCarthys lesson here:

• http://orchid-hybrid-2.github.io/dfs.html

Then there is an over view of applying his ideas in minikanren here:

• http://orchid-hybrid-2.github.io/mk.html

Finally, you can get the minikanren source code with the “map coloring” example program (and others) here:

• https://github.com/orchid-hybrid-2/minikanren