I’m positive there was also a project/experiment implementing minikanren on core.async channels… I’m sure it was something Timothy Baldridge did, but I can’t seem to find it now; maybe a precursor to odin.
ah ha! Here it is: https://github.com/halgari/async-mu-kanren