#logicprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #logicprogramming, aggregated by home.social.
-
🚀 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 -
🚀 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 -
🚀 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 -
🚀 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 -
🚀 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 -
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
-
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
-
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
-
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
-
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
-
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
-
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 -
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 -
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 -
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
-
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
-
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
-
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
-
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
-
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