GitHub repository: webyrd/mediKanren
Primary language: Racket
Created: 2017-11-17T18:03:59Z
Description: Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.