#Prolog in the #LLM #AI era #logic-programming
on 02025-10-27Carl #Hewitt's “Middle #History of #Logic-Programming” following up on Kowalski’s paper and talking a lot about #Actors
on 02025-07-29natecull of the Malleable Systems Collective: “can we take the Logic Programming model as in #Prolog or #Kanren, and remove the concept of “logic variable” from it, ending up with a fully point-free logic programming?” He was excited to find #Binate. #logic-programming #binary-relations
on 02024-01-28The original #KANREN homepage: “KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. The system achieves high performance and expressivity without cuts.” #logic-programming #formal-methods
on 02016-11-21the Potsdam Answer Set Solving Collection of the #logic-programming paradigm called “answer set programming”.
on 02015-09-18a huge list of free software for verification and synthesis, including SMT solvers (#SAT modulo theories), #logic-programming, and dozens of pages of stuff I don’t understand.
on 02015-09-18a blog about #constraint-programming and #logic-programming. Talks a bit about #SAT solvers and their relationship to CP, which I still don’t understand.
on 02015-09-18#introduction to core.logic, the implementation of #miniKanren #logic-programming that’s in the #Clojure standard library. This has the major advantage over the other introductions I’ve found that it starts with explaining the usage of miniKanren, rather than the implementation. #KANREN
on 02015-09-16The Bertrand #constraint-programming system, related to #logic-programming.
on 02015-09-16a talk presenting a Ruby version of μKanren. #logic-programming #Kanren
on 02015-09-16the μKanren #paper, presenting a tiny version of the #logic-programming language #Kanren in 39 lines of Scheme, in 8 pages. Unfortunately, those 8 pages say things like “mapping tuples of domain elements into a linearized submultiset of elements of the codomain over which the initial relation holds.”.
on 02015-09-16comparing the #miniKanren #logic-programming language (a version of #Kanren) to #Prolog.
on 02015-09-06the #miniKanren #logic-programming EDSL in a web-based #Scheme interpreter, interspersed with an explanation. #KANREN
on 02015-09-06