webyrd / mediKanren

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

A bunch of semi-related tasks to help transition to mediKanren 2 #60

Closed webyrd closed 3 years ago

webyrd commented 3 years ago

Since we are moving to mediKanren 2, there are a bunch of related things to do:

jeffhhk commented 3 years ago

Broken out separately into #62 through #71.

@webyrd Please close. I do not have permission to do so.