A theorem prover for the medical literature: https://github.com/webyrd/mediKanre...

		rscho on July 18, 2024 \| parent \| context \| favorite \| on: Ask HN: What's Prolog like in 2024? A theorem prover for the medical literature: https://github.com/webyrd/mediKanren 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.