Tabling code for miniKanren. Only handles unification constraints, and has various limitations. - View it on GitHub