4 ms·
It really sad Prolog/Datalog based languages never took off. Our industry has no problem embedding SQL strings and mini relational engines in our imperative pr
by steego 11y ago
It really sad Prolog/Datalog based languages never took off. Our industry has no problem embedding SQL strings and mini relational engines in our imperative programs. If you're going to encode your problems in terms of relations, why embed something something more expressive and powerful?
Good paper BTW, though I wish you hadn't prefaced the post by calling people post-literates. This paper deserves more reads.
- sklogic 11y agoCurrently Prolog-derived languages are making a sort of a comeback - Kanren is widely used, just look at the number of ports and variations. My favourite recent example of cKanren used inside a compiler is Harlan [1] (see the region inference pass). P.S. I'm really getting tired of the ever growing proportion of video vs. text in the otherwise valuable content. I'm genuinely interested in the topic but there is no way I can watch it. Dreaming of a service which would transcribe arbitrary videos for a tiny fee. [1] https://github.com/eholk/harlan https://github.com/eholk/harlan