Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
Updated
Aug 5, 2024 - Racket
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
staged relational interpreters: running with holes, faster
zKanren
CLP(Rosette) on top of miniKanren
Racket implementation of minikanren using The Reasoned Schemer Second Edition syntax.
An implementation of miniKanren in Typed Racket.
Valuable code and experiments about the book "The Reasoned Schemer"
Add a description, image, and links to the minikanren topic page so that developers can more easily learn about it.
To associate your repository with the minikanren topic, visit your repo's landing page and select "manage topics."