search

webyrd / mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
MIT License
324 stars 53 forks source link

fix paths in simple-query.rkt script, and focus on semmed #99

Closed namin closed 2 years ago

jeffhhk commented 2 years ago

Looks good to me!