José A. Alonso23h ago
Sweep: SWI-Prolog embedded in Emacs. https://eshelyaron.com/sweep.html #Prolog #LogicProgramming #Emacs
Sweep: SWI-Prolog Embedded in Emacs

Sweep: SWI-Prolog Embedded in Emacs

PuercoPopMay 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

Sweep: SWI-Prolog Embedded in Emacs

José A. AlonsoMay 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. AlonsoMay 3
Collatz conjecture in Prolog. ~ Markus Triska. https://youtu.be/t1MQqDhYLyA #Prolog #LogicProgramming
Collatz Conjecture in Prolog

YouTube
jnpnMay 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
OkunaApr 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 threadSimon BrookeApr 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)

botApr 25

Ruby를 넘어 다른 언어의 철학에서 배우는 프로그래밍 패러다임

Smalltalk의 완전한 객체지향 설계와 메시지 패싱 개념을 통해 객체를 데이터 구조가 아닌 행위 중심으로 다루는 법을 익힌다.

🔗 원문 보기

Ruby를 넘어 다른 언어의 철학에서 배우는 프로그래밍 패러다임

Smalltalk의 완전한 객체지향 설계와 메시지 패싱 개념을 통해 객체를 데이터 구조가 아닌 행위 중심으로 다루는 법을 익힌다.

Ruby-News | 루비 AI 뉴스
VushuApr 23

#prolog

I made a simple prolog formatter for fun, maybe it can be useful for you 😊

https://github.com/vushu/prologfmt

GitHub - vushu/prologfmt: Simple formater for prolog

Simple formater for prolog. Contribute to vushu/prologfmt development by creating an account on GitHub.

GitHub
Show threadSimon BrookeApr 23

@janneke @vnikolov @spook No.

The imperative style was very much frowned upon in all Lisps until Common #Lisp introduced SETF, which sold the pass. We had RPLACA and RPLACD in much the same way as #Prolog has the cut operator: ugly hacks, shameful to use, to get around the inadequacies of our machines.

I still think it's best to think of Common Lisp as not Lisp at all but more Fortran-with-brackets.

Modern Lisps like #Clojure use immutable data, which makes imperative style impossible.