Hacker News with Generative AI: Logic Programming
« Back to main
What Is miniKanren?
(minikanren.org)
miniKanren is a family of Domain Specific Languages for logic programming.
Logic Programming
,
Programming Languages
235 points by Bluestein 16 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 54 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 63 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 98 days ago |
96 comments
An Overview of Datalog (2010)
(clojure.github.io)
Programming
,
Databases
,
Logic Programming
93 points by teleforce 147 days ago |
23 comments
Ask HN: What's Prolog like in 2024?
(ycombinator.com)
Programming Languages
,
Artificial Intelligence
,
Logic Programming
427 points by overclock351 184 days ago |
276 comments
A Logic Language for Distributed SQL Queries
(osohq.com)
Distributed SQL
,
Logic Programming
,
Databases
104 points by mpweiher 268 days ago |
11 comments