Minikanren enthusiasts: meet Medikanren https://www.uab.edu/mix/stories/a-high-speed-dr-house-for-medical-breakthroughs