Hacker News with Generative AI: Logic Programming

Dusa Programming Language (Finite-Choice Logic Programming) (dusa.rocks)
Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming.
Programming Languages, Logic Programming, New Releases
174 points by febin 35 days ago | 45 comments
What Is miniKanren? (minikanren.org)
miniKanren is a family of Domain Specific Languages for logic programming.
Logic Programming, Programming Languages
235 points by Bluestein 51 days ago | 135 comments
Fleng 22 (concurrent logic programming) (call-with-current-continuation.org)
This software is an implementation of "FLENG", a low level concurrent logic programming language descended from Prolog.
Programming Languages, Logic Programming, Prolog, Concurrent Programming
126 points by 082349872349872 89 days ago | 13 comments
Logica – Declarative logic programming language for data (logica.dev)
Logica is an open source declarative logic programming language for data manipulation.
Programming Languages, Logic Programming, Data Manipulation
171 points by voat 98 days ago | 66 comments
Can logic programming be liberated from predicates and backtracking? [pdf] (uni-kiel.de)
Logic Programming, Computer Science, Programming Languages
197 points by matt_d 133 days ago | 96 comments
An Overview of Datalog (2010) (clojure.github.io)
Programming, Databases, Logic Programming
93 points by teleforce 182 days ago | 23 comments
Ask HN: What's Prolog like in 2024? (ycombinator.com)
Programming Languages, Artificial Intelligence, Logic Programming
427 points by overclock351 219 days ago | 276 comments
A Logic Language for Distributed SQL Queries (osohq.com)
Distributed SQL, Logic Programming, Databases
104 points by mpweiher 302 days ago | 11 comments