What are some real world applications known to use this? Edit: found at this - not sure if it's production but at least targeting a practical application and s

What are some real world applications known to use this? Edit: found at this - not sure if it's production but at least targeting a practical application and showing tool use cases. http://minikanren.org/workshop/2020/minikanren-2020-paper7.pdf http://minikanren.org/workshop/2020/minikanren-2020-paper7.p...