search

webyrd / mediKanren

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

renamed, cleaned up code, and documented rank-regulators.rkt and related files #47

Closed mzheng17 closed 3 years ago

mzheng17 commented 3 years ago

Nada,

I ran into some synonymization issues with the find-intersections function in rank-regulators.rkt. Thi and I brainstormed some solutions when we met today, but I don't think I'll have time to implement them until after my finals end next week. I know that'll be after the end date for the fall research term, but I'll have much more time during winter break to sort out the specifics of the bug.

For right now though, the find-intersections function doesn't work so the call to that function is commented out in rank-regulators-exe.rkt.

Everything else should work correctly though!

Thanks, Marissa

namin commented 3 years ago

There could have been a way to check the commits, so that the history is not lost in between the renaming. But anyways, that's OK.

I am going to merge this in, and try it out, and I'll report back with any issues.