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 subdisciplines. This follows a previous proposal with a revised name based on community feedback.

1m read timeFrom lobste.rs
Post cover image

Sort: