2 ms·

I've definitely gotten the sense that Prolog would make a great library or extension to another, more traditionally-paradigmed language. In the same way that LI

I've definitely gotten the sense that Prolog would make a great library or extension to another, more traditionally-paradigmed language. In the same way that LINQ has received a lot of praise as an extension to C#.

jhbadger 10y ago
In a way, that's what https://en.wikipedia.org/wiki/MiniKanren https://en.wikipedia.org/wiki/MiniKanren is -- a backtracking logic mini-language that you embed in another language.