900 karma · joined September 1, 2025
So much for "human programming is obsolete".
[0] https://www.britannica.com/topic/Chinese-Communist-Party
Besides, people do stay with Prolog. The language has been going strong for many decades. New Prolog projects pop up often. This can't be said for many other unusual languages, which perished in academic obscurity.
A sentence is a finite sequence of symbols drawn from an alphabet.
In this sense, mathematical operation tables are absolutely a language. As are natural languages.
While interesting, this result is not Fields Medal material.
> you do decide to actively go against it for decades because you like doing things your way
Perhaps there's a good reason why a developer or a group of developers decide to do things a certain way.
> This is why Krita is sweeping the floor with gimp
Aside from the fact that these programs are intended for pretty different things, the impression I have is that GIMP has a much larger install-base than Krita and more people are aware of it. Far from "sweeping the floor".
> GNOME is hanging on by nature of being the default
Or perhaps some people (and enterprises) want a polished OOTB desktop experience without having to deal with KDE's bugs and Windows-like design language. There are plenty of GNOME installs on Arch Linux for example, where you can't speak of any "defaults" with regards to desktop environments.[0]
[0] https://pkgstats.archlinux.de/fun/Desktop%20Environments/cur...
(This is also the problem with "I'll just quickly implement a Prolog-like DSL when I need it". Sometimes not a bad idea, but you have to be realistic. Your "lightweight" Prolog will be worse in every way compared to serious Prolog implementations).
Early versions of Erlang were implemented in Prolog, which is why Erlang's syntax looks a whole lot like Prolog's, but beyond that they're not very similar.
[0] https://applied-langua.ge/posts/lisp-curse-redemption-arc.ht...
This doesn't follow. People deny historical fact all the time.