@fribbledom Is Prolog an actual programming language? I thought it was a format for describing logic to AI.
Maybe a bit of an edge case (and so are others in the list), but it's Turing-complete, and I still consider it a programming language.
@fribbledom Just because it's Turing complete doesn't mean it can be used for practical programming. Powerpoint, Magic the Gathering and HTML+CSS are all Turing complete.
@StaticallyTypedRice @fribbledom Last time I saw a “proof” of html+css being Turing complete, it was actually a proof that it was P-Space-complete : it needed fuel (expressed as a huge number of html divs) + interactions from the user to actually work. Not really the standard definition of Turing-completeness. If you have a link to a proper proof (I guess that it became easier with the recent additions in CSS), I would be interested 😊
I suggest having a quick look at this webpage, explaining the IO interface of (a dialect of) Prolog: https://www.swi-prolog.org/pldoc/man?section=IO I have seen programing languages being considered programming languages with far less than that.
@fribbledom Fun fact, the C/C++ preprocessor is also Turing complete, so you could in theory rewrite your entire C program completely in preprocessor.
@StaticallyTypedRice @fribbledom Or even in practice! https://github.com/Ferdi265/preprocessor_brainfuck
@fribbledom Tempted to vote for bash because it’s the only shell up there, and she’ll scripting in general is wonderful, but really: eff bash.
This is a tough one
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!