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 b for string search requires #98

Closed jeffhhk closed 2 years ago

jeffhhk commented 2 years ago

The idea suggested on #97 is better. Prevents the crash, and db/foo.rkt files retain the ability to specify which relations are indexed. (And in the future, things like which fields are indexed).

Supersedes #97.

jeffhhk commented 2 years ago

Thanks @gregr !