Racket minikanren

Open-source Racket projects categorized as minikanren | Edit details

Racket minikanren Projects

  • GitHub repo mediKanren

    Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

    Project mention: William Byrd on Logic and Relational Programming, MiniKanren (2014) | news.ycombinator.com | 2021-06-01

    Hi Kamaal!

    I know Cisco is using core.logic, which is David Nolen's Clojure variant of miniKanren, in their ThreatGrid product. I think the Enterprisey uses of mediKanren are a bit different than the purely relational programming that I find most interesting, though.

    Having said that, we are now on our second generation of mediKanren, which is software that performs reasoning over large biomedical knowledge graphs:


    mediKanren is being developed by the Hugh Kaul Precision Medicine Institute at the University of Alabama at Birmingham (HKPMI). HKPMI is run by Matt Might, who you may know from his work on abstract interpretation and parsing with derivatives, or from his more recent work on precision medicine. mediKanren is part of the NIH NCATS Biomedical Data Translator Project, and is funded by NCATS:


    Greg Rosenblatt, who sped up Barliman's relational interpreter many order of magnitude, has been hacking on dbKanren, which augments miniKanren with automatic goal reordering, stratified queries/aggregation, a graph database engine, and many other goodies. dbKanren is the heart of mediKanren 2.

    I can imagine co-writing a book on mediKanren 2, and its uses for precision medicine...



NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-06-01.


Project Stars
1 mediKanren 217