Tag Proposal: logic-lang
56 points by veqq
56 points by veqq
Name: "logic-lang"
Description: "Prolog, Datalog, miniKanren, ASP etc. using clauses"
Category: languages ; like apl or concatenative as it's a paradigm
Similar tags: databases, ai
This is a programming paradigm encoding rules with clauses, related to relational calculus. Hwayne:
(Things like clp(fd) and Picat do fall under the tag, as constraint logic programming is a subdiscipline of both LP and constraint satisfaction.)
I made a similar proposal before but changed the name according to community wishes. It really comes up a lot but under random tags (and AI is often filter for unrelated reasons):
Candidates:
Unsure (I'm e.g. not sure where to draw the line between some applications or implementations of formal methods and this):
Well-done on the proposal, this seems like an obvious inclusion given the frequency. (Personally I don't care about logic languages at the moment, so I'd like to filter it out.)
or just logic, or logic-programming. I fear logic-lang would be taken to be an actual programming language.
I fear
logic-langwould be taken to be an actual programming language.
Make it plural? logic-langs, logic-languages. And let's paint the bike shed blue.
+1 for logic-langs. It's succinct, clearly marks that it's not for a single language named "Logic", and there's already precedent for plural tag names, where it makes sense.
Since we are already nitpicking on the spelling, I suggest to drop the dash. The vast majority of the existing compound tag names don't use it, e.g. formalmethods, objectivec, vibecoding. There is merkle-trees, although it's the only exception.
and AI is often filter for unrelated reasons
That's a separate issue to be solved FWIW, that tag is way too broad. You can be uninterested in genAI while still being interested in other kinds of ML, you can be uninterested in ML but still be interested in "classical" AI, etc.