README.md

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.