Login
You're viewing the mastodon.dunklecat.dev public feed.
  • mccmcc@mastodon.social
    Nov 11, 2026, 5:31 PM

    @dlakelan MiniKanren and MicroKanren were a big deal in logic programming about ten years ago. They're not so much functional programming languages as *concepts* for a very, very simple prolog like language, so simple you could plausibly implement it yourself as a DSL inside another language of your choice. Which means you can use it for the logic part only, and the parts that are hard in Prolog can be done in the host language. It looked cool but I never got the hang of it.

    💬 3🔄 1⭐ 0

Replies

  • mccmcc@mastodon.social
    Nov 11, 2026, 5:32 PM

    @dlakelan I don't know if the community that was into this has moved onto something better now.

    💬 0🔄 0⭐ 0
  • Daniel Lakelanddlakelan@mastodon.sdf.org
    Nov 11, 2026, 6:21 PM

    @mcc
    Oh gotcha, yeah theres a history of people doing the logic stuff embedded into other languages. What made me think of it was actually I was thinking about #guix configs and how it'd be nice to have a prolog like rules based system to do certain tasks in guix. implementing that in scheme has likely already been done. so I will look into it.

    💬 0🔄 0⭐ 0
  • Daniel Lakelanddlakelan@mastodon.sdf.org
    Nov 11, 2026, 7:15 PM

    @mcc

    OK, now that I had a chance to sit down and look them up, it seems the #minikanren language was itself canonically implemented in #scheme so that's cool. I will look into that as another way to get what I'm thinking of.

    The guix OS specification is great for being able to specify things in detail, but sometimes you might want to go at a higher level and describe just a set of basic features you want...

    💬 2🔄 0⭐ 0
  • 💬 2🔄 3⭐ 0
  • 💬 0🔄 0⭐ 0
  • 💬 0🔄 0⭐ 0
  • Christine Lemmer-Webbercwebber@social.coop
    Nov 11, 2026, 7:51 PM

    @dlakelan @mcc If you haven't, the book The Reasoned Schemer introduces usage of minikanren and even includes instructions on how to write your own! (Best if you've already read The Little Schemer, but not a requirement)

    💬 0🔄 0⭐ 0