mediKanren: PoC for reasoning over SemMedDB using miniKanren+heuristics+indexing
github.com