https://github.com/michaelballantyne/faster-minikanren#set-var-val
There is an optimization, that if variable was created and immediately unified, we can store a binding inside a variable, and save a lookup to the substitution-map. Sounds weird, but it should save some performance. Needs benchmarking also.
https://github.com/michaelballantyne/faster-minikanren#set-var-val
There is an optimization, that if variable was created and immediately unified, we can store a binding inside a variable, and save a lookup to the substitution-map. Sounds weird, but it should save some performance. Needs benchmarking also.