#Prolog in the #LLM #AI era #logic-programming
on 02025-10-27natecull 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-28"Micro-PROLOG" was a #Prolog for the ZX Spectrum and similar #Z80 machines including #CPM. Proprietary, disassembly available.
on 02021-05-29a #Matrix system with free-software bridges to iMessage (running on a jailbroken iPhone), WhatsApp, Twitter, etc. https://en.wikipedia.org/wiki/Definite_clause_grammar#Non-context-free_grammars #Parsing, including attributes, using #Prolog definite-clause grammars: sentence(s(NP,VP)) --> noun_phrase(NP), verb_phrase(VP). noun_phrase(np(D,N)) --> det(D), noun(N). verb_phrase(vp(V,NP)) --> verb(V), noun_phrase(NP). det(d(the)) --> [the]. det(d(a)) --> [a]. noun(n(bat)) --> [bat]. noun(n(cat)) --> [cat]. verb(v(eats)) --> [eats].
hackers arguing about #Prolog
on 02017-05-19A #PDF chapter on finite-domain constraint #logic programming in #Prolog, including #optimization problems, with examples like cryptarithms and Hamiltonian cycle optimization. #toread
on 02016-10-11a functional dialect of #Prolog with low-noise syntax
on 02016-06-21#PDF #paper "Rethinking Prolog", by #Oleg Kiselyov and Yukiyoshi Kameyama. Mentions #parser combinators “that use committed choice (maximal munch) and can still be run forwards and backward” that can’t be written in classical #Prolog. Based on #Hansei, a probabilistic programming system embedded in OCaml.
on 02015-09-18comparing the #miniKanren #logic-programming language (a version of #Kanren) to #Prolog.
on 02015-09-06The #CEK machine in 14 lines of #Prolog. #smallisbeautiful
on 02015-08-15stuff from a #Prolog #MUD by someone from #swhack (I forget who)
on 02015-08-05