Mastodawn

Prolog Projects Tips

https://occasionallycogent.com/prolog_project_helpers/index.html

Prolog Projects Tips

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

Lobsters 1d ago

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/

#Programming #Prolog #Education

Prolog Basics Explained with Pokémon

Demonstrating the basics of logic programming with data from the Pokémon games.

Unplanned Obsolescence

José A. Alonso 4d ago

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

Sweep: SWI-Prolog Embedded in Emacs

PuercoPop May 5

#TIL about Sweep, which embeds #Prolog in #Emacs

> Sweep uses the C interfaces of both SWI-Prolog and Emacs Lisp to create a dynamically loaded Emacs module that contains the SWI-Prolog runtime. As such, Sweep has parts written in C, in Prolog and in Emacs Lisp.

https://eshelyaron.com/sweep.html#High_002dlevel-Architecture

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

jnpn May 3

https://arxiv.org/abs/1108.6007

#prolog #dsl

Domain-specific Languages in a Finite Domain Constraint Programming System

In this paper, we present domain-specific languages (DSLs) that we devised for their use in the implementation of a finite domain constraint programming system, available as library(clpfd) in SWI-Prolog and YAP-Prolog. These DSLs are used in propagator selection and constraint reification. In these areas, they lead to concise specifications that are easy to read and reason about. At compilation time, these specifications are translated to Prolog code, reducing interpretative run-time overheads. The devised languages can be used in the implementation of other finite domain constraint solvers as well and may contribute to their correctness, conciseness and efficiency.

arXiv.org

Okuna Apr 29

In 1985, it was the first time for me to see an #AI program written in #Prolog. I was so impressed and I was still young that I decided I wanted to study #computer sciences because of AI.
I did so and never used AI again. I learned a bit of prolog and #lisp during my classes.
Now I'm retired and AI is the last hottest shit.
Timing seems to be everything in life.

Show thread

Simon Brooke Apr 28

@anthk Indeed. Back in the 1980s, I wrote a number of very-near-natural-language query systems, both in #Lisp and in #Prolog

This is not rocket science (not that it would be too hard for NASA if it were)