Hacker News with Generative AI: Logic Programming

Lazy Combinations in Elixir (smaller-infinity.com)
When building Guesswork, a logic programming library for Elixir, I ran into an interesting problem: supporting both logical And as well as infinite streams of possibilities.
Elixir, Programming, Logic Programming, Functional Programming
4 points by smaller-infinty 4 days ago | 0 comments
How to Average in Prolog (2017) (storytotell.org)
If I had to average a list of numbers, I would probably do it like this:
Programming, Logic Programming, Prolog
72 points by todsacerdoti 16 days ago | 23 comments
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
172 points by hyperbrainer 28 days ago | 37 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 45 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 125 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 141 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 179 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 188 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 224 days ago | 96 comments
An Overview of Datalog (2010) (clojure.github.io)
Programming, Databases, Logic Programming
93 points by teleforce 273 days ago | 23 comments
Ask HN: What's Prolog like in 2024? (ycombinator.com)
Programming Languages, Artificial Intelligence, Logic Programming
427 points by overclock351 309 days ago | 276 comments
A Logic Language for Distributed SQL Queries (osohq.com)
Distributed SQL, Logic Programming, Databases
104 points by mpweiher 393 days ago | 11 comments