There was a talk about medikanren which can make deductive connections from a database of facts extracted from medical research. The speaker used it to find a treatment for his son's rare genetic disorder.

https://www.youtube.com/watch?v=Yval98eOyZc

http://minikanren.org/workshop/2020/minikanren-2020-paper10....