I think the interesting core here is that if you drop unification you still can express a lot, and it doesn’t prevent you from showing up with unification later.
From a practical perspective it’s a nice trick, I think. Though the microKanren paper looks super interesting, and I’ll definitely be trying to work through it.
I think the interesting core here is that if you drop unification you still can express a lot, and it doesn’t prevent you from showing up with unification later.
From a practical perspective it’s a nice trick, I think. Though the microKanren paper looks super interesting, and I’ll definitely be trying to work through it.
score 2 · canonical