Hot take... #Prolog is underrated. A lot of you been sleeping on logic programming just because it was an 80s fad and part of the first AI winter. But it was legitimately a useful technique for solving lots of problems.
0 Boosts
0 Likes
@mcc
I unfortunately know knothing about them. Tell me more!
@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.
@dlakelan I don't know if the community that was into this has moved onto something better now.
@dlakelan What do you think about the Kanrens?