#logicprogramming — Public Fediverse posts

🚀 Eyepl v0.1.14 is out!

Facts + rules → answers + inspectable proofs.

✅ 1,020 tests passing
✅ 555 executable conformance cases
✅ 137 focused ISO Prolog cases
✅ RDF 1.2 support
✅ Tiny, auditable JavaScript core

Try it: https://github.com/eyereasoner/eyepl

#Prolog #LogicProgramming #SemanticWeb #OpenSource

🚀 Eyepl v0.1.14 is out!

Facts + rules → answers + inspectable proofs.

✅ 1,020 tests passing
✅ 555 executable conformance cases
✅ 137 focused ISO Prolog cases
✅ RDF 1.2 support
✅ Tiny, auditable JavaScript core

Try it: https://github.com/eyereasoner/eyepl

#Prolog #LogicProgramming #SemanticWeb #OpenSource

Readings shared June 22, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/22-readings_shared_06-22-26 #AI4Math #Agda #ChatGPT #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog

Readings shared June 22, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/22-readings_shared_06-22-26 #AI4Math #Agda #ChatGPT #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog

Writing Prolog with ChatGPT. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/15/writing-prolog-with-chatgpt/ #Prolog #LogicProgramming #ChatGPT

Writing Prolog with ChatGPT. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/15/writing-prolog-with-chatgpt/ #Prolog #LogicProgramming #ChatGPT

Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/11/prolog-claude/ #Prolog #LogicProgramming #LLMs

Solving a chess puzzle with Claude and Prolog. ~ John D. Cook. https://www.johndcook.com/blog/2026/06/11/prolog-claude/ #Prolog #LogicProgramming #LLMs

eyelang: a small rule engine for Prolog-style Horn clauses over ordinary terms, lists, arithmetic, strings, and finite search. ~ Jos De Roo. https://eyereasoner.github.io/eyelang/ #LogicProgramming

eyelang: a small rule engine for Prolog-style Horn clauses over ordinary terms, lists, arithmetic, strings, and finite search. ~ Jos De Roo. https://eyereasoner.github.io/eyelang/ #LogicProgramming

Mercury logic programming: because who doesn't want to dive into a convoluted, antiquated language while pretending to care about "logic"? 🚀🔍 Just what the tech world needs; yet another esoteric codebase everyone will ignore! 🤦‍♂️
https://github.com/Mercury-Language/mercury #MercuryProgramming #EsotericCode #LogicProgramming #TechHumor #ProgrammingLanguages #HackerNews #ngated

Mercury logic programming: because who doesn't want to dive into a convoluted, antiquated language while pretending to care about "logic"? 🚀🔍 Just what the tech world needs; yet another esoteric codebase everyone will ignore! 🤦‍♂️
https://github.com/Mercury-Language/mercury #MercuryProgramming #EsotericCode #LogicProgramming #TechHumor #ProgrammingLanguages #HackerNews #ngated

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs

Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs

Readings shared May 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/05-readings_shared_05-25-26 #AI4Math #Agda #FunctionalProgramming #Haskell #HoTT #ITP #IsabelleHOL #LeanProver #Lisp #LogicProgramming #Math #Programming #Prolog #Python #Scheme

Readings shared May 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/05-readings_shared_05-25-26 #AI4Math #Agda #FunctionalProgramming #Haskell #HoTT #ITP #IsabelleHOL #LeanProver #Lisp #LogicProgramming #Math #Programming #Prolog #Python #Scheme

Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming

Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming

Readings shared April 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/15-readings_shared_04-14-26 #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Readings shared April 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/15-readings_shared_04-14-26 #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog

Reseña de «Education for logical thinking in the age of AI». https://jaalonso.github.io/vestigium/posts/2026/04/13-education-for-logical-thinking-in-the-age-of-ai/ #Logic #LogicProgramming #Prolog

Education for logical thinking in the age of AI. ~ Robert Kowalski. https://www.researchgate.net/profile/Robert-Kowalski-2/publication/403579100_Education_for_Logical_Thinking_in_the_Age_of_AI/links/69d4fe3760c0371a60f6834a/Education-for-Logical-Thinking-in-the-Age-of-AI.pdf #Logic #LogicProgramming

Education for logical thinking in the age of AI. ~ Robert Kowalski. https://www.researchgate.net/profile/Robert-Kowalski-2/publication/403579100_Education_for_Logical_Thinking_in_the_Age_of_AI/links/69d4fe3760c0371a60f6834a/Education-for-Logical-Thinking-in-the-Age-of-AI.pdf #Logic #LogicProgramming

Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire

Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming

Representing graphs in Prolog. ~ Markus Triska. https://youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming

💡Compiling Prolog to Forth

https://vfxforth.com/flag/jfar/vol4/no4/article4.pdf

#prolog #forth #programming #software #compilers #computerscience #sc #logicprogramming

💡Compiling Prolog to Forth

https://vfxforth.com/flag/jfar/vol4/no4/article4.pdf

#prolog #forth #programming #software #compilers #computerscience #sc #logicprogramming

ΛProlog: Logic programming in higher-order logic

https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/

#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

ΛProlog: Logic programming in higher-order logic

https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/

#HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

@screwlisp @kentpitman regarding the discussion we had after the #LispyGopherClimate show ended, MiniKanren is logic programming language embedded in Scheme (sort-of like a Prolog implemented in Scheme and coded with S-expressions), and you can use machine leaning methods like neural networks to guide the search tree of the goal solver mechanism. This paper is an example of what I was talking about.

Even before LLMs were invented, MiniKanren was able to do program synthesis using purely symbolic logic. They developed a prototype called Barliman where you would provide example input->output pairs as constraints, and using a constraint solver, could generalize those examples to a function that generates any output for any input. As a simple example, you could give it the following input-output pairs:

1. () -> ()
2. (a) () -> (a)
3. () (a) -> (a)
4. (a) (a) -> (a a)

…and the constraint solver could determine that you are trying to implement the append function for lists and write the code automatically — without LLMs, using purely symbolic logic.

As you might expect, the solver could be very slow, or even diverge (never returning an answer). The paper I mentioned above talks about using neural networks to try to guide the constraint solver to improve the performance and usefulness of the results returned by the solver.

Now imagine applying this technique to other domains besides code generation or optimization, for example, auto-completion, or cache pre-fetching, and building it into a programmable computing environment like Emacs. You could have a tool like “Cursor,” but instead of using LLMs, it uses classical computing and constraint solvers, while taking a fraction of the amount of energy that LLMs use.

#tech #software #AI #LLM #MachineLearning #NeuralNetwork #ConstraintLogic #ConstraintSolver #LogicProgramming #Prolog #MiniKanren #Emacs #Lisp #Scheme #SchemeLang #ProgramSynthesis

@screwlisp @kentpitman regarding the discussion we had after the #LispyGopherClimate show ended, MiniKanren is logic programming language embedded in Scheme (sort-of like a Prolog implemented in Scheme and coded with S-expressions), and you can use machine leaning methods like neural networks to guide the search tree of the goal solver mechanism. This paper is an example of what I was talking about.

Even before LLMs were invented, MiniKanren was able to do program synthesis using purely symbolic logic. They developed a prototype called Barliman where you would provide example input->output pairs as constraints, and using a constraint solver, could generalize those examples to a function that generates any output for any input. As a simple example, you could give it the following input-output pairs:

1. () -> ()
2. (a) () -> (a)
3. () (a) -> (a)
4. (a) (a) -> (a a)

…and the constraint solver could determine that you are trying to implement the append function for lists and write the code automatically — without LLMs, using purely symbolic logic.

As you might expect, the solver could be very slow, or even diverge (never returning an answer). The paper I mentioned above talks about using neural networks to try to guide the constraint solver to improve the performance and usefulness of the results returned by the solver.

Now imagine applying this technique to other domains besides code generation or optimization, for example, auto-completion, or cache pre-fetching, and building it into a programmable computing environment like Emacs. You could have a tool like “Cursor,” but instead of using LLMs, it uses classical computing and constraint solvers, while taking a fraction of the amount of energy that LLMs use.

#tech #software #AI #LLM #MachineLearning #NeuralNetwork #ConstraintLogic #ConstraintSolver #LogicProgramming #Prolog #MiniKanren #Emacs #Lisp #Scheme #SchemeLang #ProgramSynthesis

Readings shared January 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/01/20-readings_shared_01-19-26 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Readings shared January 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/01/20-readings_shared_01-19-26 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. https://arxiv.org/abs/2601.03836v1 #Haskell #FunctionalProgramming #Prolog #LogicProgramming

Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. https://arxiv.org/abs/2601.03836v1 #Haskell #FunctionalProgramming #Prolog #LogicProgramming

Playing with Gödel’s incompleteness theorem in Prolog. ~ Kenichi Sasagawa. https://medium.com/@kenichisasagawa/playing-with-g%C3%B6dels-incompleteness-theorem-in-prolog-2c549f1e8762 #Prolog #LogicProgramming #Logic

Playing with Gödel’s incompleteness theorem in Prolog. ~ Kenichi Sasagawa. https://medium.com/@kenichisasagawa/playing-with-g%C3%B6dels-incompleteness-theorem-in-prolog-2c549f1e8762 #Prolog #LogicProgramming #Logic

Coding exercise ———————– Given this map (you choose an input representation), assign colours to regions A–F so that no adjacent regions have the same colour. Choose your favourite prog language. #logicprogramming #computerscience #gofai Based on Triska's lovely #Prolog video youtu.be/6XD7vBbywMc

Readings shared December 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/08-readings_shared_12-07-25 #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python

Readings shared December 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/08-readings_shared_12-07-25 #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math #Prolog #Python

Readings shared September 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/21-readings_shared_09-20-25 #AI #ATP #FormalVerification #FunctionalProgramming #ITP #LeanProver #Logic #LogicProgramming #Math

Readings shared September 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/21-readings_shared_09-20-25 #AI #ATP #FormalVerification #FunctionalProgramming #ITP #LeanProver #Logic #LogicProgramming #Math

Everything you know is wrong. ~ Lawrence Paulson. https://lawrencecpaulson.github.io/2025/09/20/Wrong.html #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification

Everything you know is wrong. ~ Lawrence Paulson. https://lawrencecpaulson.github.io/2025/09/20/Wrong.html #AI #Logic #ATP #ITP #FunctionalProgramming #LogicProgramming #FormalVerification

🚀✨ Behold, Dyna: the brainchild of machine learning mavericks who decided #Prolog wasn't inscrutable enough. Now with weighted rules! Because who wants their logic programming to be intuitive or user-friendly? 😅🔍
https://dyna.org/ #Dyna #MachineLearning #LogicProgramming #Innovation #HackerNews #ngated

🚀✨ Behold, Dyna: the brainchild of machine learning mavericks who decided #Prolog wasn't inscrutable enough. Now with weighted rules! Because who wants their logic programming to be intuitive or user-friendly? 😅🔍
https://dyna.org/ #Dyna #MachineLearning #LogicProgramming #Innovation #HackerNews #ngated

Dyna – Logic Programming for Machine Learning

https://dyna.org/

#HackerNews #Dyna #LogicProgramming #MachineLearning #AIResearch

Dyna – Logic Programming for Machine Learning

https://dyna.org/

#HackerNews #Dyna #LogicProgramming #MachineLearning #AIResearch

Readings shared August 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25 #AI #FunctionalProgramming #Haskell #IMO #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog

Readings shared August 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25 #AI #FunctionalProgramming #Haskell #IMO #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog

Macros in Prolog: Term and goal expansion. ~ Markus Triska. https://youtu.be/E8byql4RaUY #Prolog #LogicProgramming