A theorem prover for the medical literature: https://github.com/webyrd/mediKanren https://github.com/webyrd/mediKanren http://minikanren.org/workshop/2020/min

A theorem prover for the medical literature: https://github.com/webyrd/mediKanren https://github.com/webyrd/mediKanren http://minikanren.org/workshop/2020/minikanren-2020-paper7.pdf http://minikanren.org/workshop/2020/minikanren-2020-paper7.p... Not prolog though. But gives an idea about the goals behind the classification of science papers.