#logicprogramming — Public Fediverse posts

Eyelog now has a language specification.

It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.

https://eyereasoner.github.io/eyelog/SPEC

#Eyelog #Prolog #RDF #SemanticWeb #LogicProgramming

Eyelog now has a language specification.

It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.

https://eyereasoner.github.io/eyelog/SPEC

#Eyelog #Prolog #RDF #SemanticWeb #LogicProgramming

Eyelog now has a language specification.

It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.

https://eyereasoner.github.io/eyelog/SPEC

#Eyelog #Prolog #RDF #SemanticWeb #LogicProgramming

Eyelog now has a language specification.

It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.

https://eyereasoner.github.io/eyelog/SPEC

#Eyelog #Prolog #RDF #SemanticWeb #LogicProgramming

Eyelog now has a language specification.

It describes the Prolog-like rule language itself: syntax, terms, clauses, goals, built-ins, `triple/3`, conformance boundaries, and Herbrand semantics.

https://eyereasoner.github.io/eyelog/SPEC

#Eyelog #Prolog #RDF #SemanticWeb #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

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

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

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

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

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

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

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

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