A proposal to add a 'logic-lang' tag to Lobsters for categorizing content about logic programming languages like Prolog, Datalog, miniKanren, and Answer Set Programming (ASP). The tag would cover programming paradigms that encode rules using clauses and relate to relational calculus, including constraint logic programming
Sort: