Hacker News Reader

Right, I have generalized a bit. It doesn't necessarily have to be Prolog, but I'm referring to logic-programming in general.

There is even a new language that allows to embed logic programming inside of "regular" (imperative/functional) programming code. Forgot the name though.

View on HN

There appears to be a lot of activity around minikanren [1]. Personally I'm so used to having a powerful metalanguage around (lambda calculus plus or minus a bit) that I can't imagine programming in pure Prolog any more. Which is to say this is probably the way to go in practice, if a subproblem can be solved using logic programming.

[1] http://minikanren.org/

Minikanren allows you to program in relations. That is, not only unidirectional functions, X->Y, but you can leave out the X and give the Y, getting all X, which would result in that Y. I always found that talk at RacketCon impressive [1].

I mean, of course, minikanren is also implemented somehow, using lambda, but usually one would not want to rebuild the things minikanren offers.

I have not yet tried to use minikanren inside an otherwise "normal" program, but I suspect it will just work.

[1]: https://invidious.baczek.me/watch?v=5vtC7WEN76w (video id 5vtC7WEN76w)

Reply on news.ycombinator.com