/mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Primary LanguageRacketMIT LicenseMIT

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.