Hacker News with Generative AI: Logic Programming

Curry: A functional logic programming language (curry-lang.org)
Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures).
Programming Languages, Functional Programming, Logic Programming
135 points by hyperbrainer 14 hours ago | 29 comments
Solving a “Layton Puzzle” with Prolog (buttondown.com)
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming Languages.
Programming, Logic Programming, Prolog, Puzzles
110 points by Tomte 18 days ago | 28 comments
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 98 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 114 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 152 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 161 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 196 days ago | 96 comments
An Overview of Datalog (2010) (clojure.github.io)
Programming, Databases, Logic Programming
93 points by teleforce 245 days ago | 23 comments
Ask HN: What's Prolog like in 2024? (ycombinator.com)
Programming Languages, Artificial Intelligence, Logic Programming
427 points by overclock351 282 days ago | 276 comments
A Logic Language for Distributed SQL Queries (osohq.com)
Distributed SQL, Logic Programming, Databases
104 points by mpweiher 365 days ago | 11 comments