I finally decided to build the mini kanren system in ruby for one of my class assignments. I have uploaded the code here. My implementation does a run* always, so for
a divergent case the run will always diverge giving no results. There is no provision for run1, run2,..., runn etc to get n values. I have kept the code similar to the
scheme version as far as possible. Surprisingly, it wasn’t very difficult.
Roshan has a comega version.
Remember Me
