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 t

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 https://www.youtube.com/watch?v=Yval98eOyZc http://minikanren.org/workshop/2020/minikanren-2020-paper10.pdf http://minikanren.org/workshop/2020/minikanren-2020-paper10....