*** 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:
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
RacketMIT
*** 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: