Comment by laidoffamazon

Minikanren was the subject of a phenomenal talk by Matt Might for it's applications in medicine

[0] https://www.janestreet.com/tech-talks/algorithm-for-precisio...