#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

🚀 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

🚀 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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