issues
search
webyrd
/
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
MIT License
317
stars
53
forks
source link
fix get-class-descendents*-in-db which was an infinite loop
#102
Closed
kaiwenho
closed
1 year ago