4 ms·
Have you checked out any of the minikanren logic programming environments people have implemented in scheme? The Reasoned Schemer is an accessible introduction
by thuuuomas 3y ago
Have you checked out any of the minikanren logic programming environments people have implemented in scheme?
The Reasoned Schemer is an accessible introduction to that space if you’re not put off by the socratic-themed dialogue.
& the Barliman demo is still pretty exciting even after LLM codegen.
https://youtu.be/er_lLvkklsk https://youtu.be/er_lLvkklsk
- nerdponx 3y agoI'd like to see a practical use case for Minikanren other than quines. It's fun and interesting, but I'm not smart enough to go from "a tiny set of primitives" to "solving practical problems". I had trouble even implementing the basic "moses is a man" examples you see in Prolog tutorials.
- cmrdporcupine 3y agoYeah me too I was just looking at an Elisp port (!) of minikanren the other day, and, yeah, all the examples were algorithmic puzzles, rather than solutions to problems.
- tmtvl 3y agoMiniKanren has been used in the medical world: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9562701/ https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9562701/
- erichocean 3y agoIt's also available in Clojure: https://github.com/clojure/core.logic https://github.com/clojure/core.logic If you want to write one yourself, it's pretty easy: https://www.youtube.com/watch?v=y1bVJOAfhKY https://www.youtube.com/watch?v=y1bVJOAfhKY