webyrd/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
1 best points · 0 comments · 2 Hacker News posts · 338 GitHub stars · View on GitHub
Hacker News discussions
- mediKanren: PoC for reasoning over SemMedDB using miniKanren+heuristics+indexing (1 points, 0 comments, by greghendershott, 2018-06-12)
- Proof-of-concept for reasoning over the SemMedDB knowledge base using miniKanren (1 points, 0 comments, by tosh, 2019-10-17)