mkit

Here's some code I found for miniKanren with tabling. Give it a try and incorporate if you're happy with it... otherwise I can keep looking for a better version...