webyrd / mediKanren

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

Augment our server with “pragma” style directives that extend TRAPI #64

Closed jeffhhk closed 3 years ago

jeffhhk commented 3 years ago

Augment our server with “pragma” style directives that extend TRAPI, so we can do reasoning that TRAPI doesn’t currently support, but which is useful to PMI use cases.

nathanielrb commented 3 years ago

Too vague... will add issues for specific directives