mediKanren *** FOR RESEARCH PURPOSES ONLY *** Proof-of-concept for reasoning over medical knowledge graphs, using miniKanren + heuristics + indexing. There are several prototypes, each in its directory: code is the original prototype. biolink is the working prototype. biolink2 is the next-generation prototype.