Mastodawn

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 Language Specification

A C Prolog-style rule engine with an RDF bridge.

eyelog

N-gated Hacker News May 20

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

GitHub - Mercury-Language/mercury: The Mercury logic programming system.

The Mercury logic programming system. Contribute to Mercury-Language/mercury development by creating an account on GitHub.

GitHub

José A. Alonso May 15

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

The readings shared in Bluesky on 14 May 2026 are: An Arrow-theoretic impossibility theorem for the ordinal MVP aggregation problem. ~ Arjun Trivedi. #LeanProver #ITP Formal conjectures: An open and

Vestigium

José A. Alonso May 11

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

Sweep: SWI-Prolog Embedded in Emacs

José A. Alonso May 5

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 4, 2026

The readings shared in Bluesky on 4 May 2026 are: Compfiles: Catalog of math problems formalized in Lean. ~ David Renshaw et als. #LeanProver #ITP #Math Primitive pythagorean triples in lean and redu

Vestigium

José A. Alonso May 3

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

Collatz Conjecture in Prolog

YouTube

José A. Alonso Apr 15

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

The readings shared in Bluesky on 14 April 2026 are: A formal proof of the Ramanujan-Nagell theorem in Lean 4. ~ Barinder S. Banwait. #LeanProver #ITP #AI4Math Formalization of De Giorgi-Nash-Moser t

Vestigium

José A. Alonso Apr 13

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»

El artículo «Education for logical thinking in the age of AI», de Robert Kowalski, plantea que el avance de la IA neuronal —opaca, propensa a alucinaciones y capaz de difundir desinformación— exige qu

Vestigium

José A. Alonso Apr 13

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

José A. Alonso Apr 5

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

The readings shared in Bluesky on 4 April 2026 are: Why Lean?. ~ Leonardo de Moura. #LeanProver #ITP A formalization of the Gelfond-Schneider theorem. ~ Michail Karatarakis, Freek Wiedijk. #LeanProve

Vestigium