Prolog et al.

News, info, links, gossip, anything about Prolog, Constraint/(Inductive)Logic programming, Answer Set Programming, and beyond. A @llaisdy project.

[Prolog et al. @PrologInfo]

First draft of a Prolog languages list. Sections on Lambda Prolog, Datalog, and other logic programming languages.

Feedback, PRs, etc., most welcome!

https://t.co/2ooiIqEmAk

[Tanat Tonguthaisri @gastronomy]

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT: Vulnerability discovery on C/C++ source asks the analyst to choose between heavyweight static analysers, which need a working build before a … set.https://t.co/pczm46Bm3g

[Michael Haufe @mlhaufe]

@PeterB585337060 @JustDeezGuy More seriously, there is a short review available here:

https://t.co/HcLeTVYL40

I'm working on a language that uses this as its core and duality of data/codata fold/unfold.

Bird's work enabled me to discover how to derive prolog/datalog from the same algebra while staying FP

[Programming Languages Papers @ProgPapers]

From Time to Space: The Impact of Linearity in Higher-Order Datalog

Angelos Charalambidis, Babis Kostopoulos, Panos Rondogiannis
https://t.co/t6D46Iqkx4 [𝚌𝚜.𝙿𝙻 𝚌𝚜.𝙲𝙲 𝚌𝚜.𝙳𝙱 𝚌𝚜.𝙻𝙾]

[Artificial Intelligence Papers @SciFi]

Answer-Set-Programming-based Abstractions for Reinforcement Learning

Rafael Bankosegger, Thomas Eiter, Johannes Oetsch
https://t.co/kQxpuiBYIB [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙻𝙾]
💬To appear in Theory and Practice of Logic Programming (TPLP)

[Artificial Intelligence Papers @SciFi]

Meta-Programming for Linear-time Temporal Answer Set Programming

Susana Hahn, Amade Nems, Javier Romero, Torsten Schaub
https://t.co/3Gh2JSCbCj [𝚌𝚜.𝙰𝙸]

[@sasagawa888 @KSasagawa888]

I just published M-Prolog: Over the Hump https://t.co/OOreAMDWP5

[@sasagawa888 @KSasagawa888]

I just published M-Prolog Almost Catches Up with SWI-Prolog https://t.co/CGRYDnTQys

[@sasagawa888 @KSasagawa888]

Performance test of M-Prolog on WSL2.
It has finally reached 37 MLIPS!
On this benchmark, M-Prolog is now only about 1.3× slower than SWI-Prolog.

[@sasagawa888 @KSasagawa888]

I just published M-Prolog Reaches a World-Class Level https://t.co/gOxG6UQ2DW

[Jeremie Pelletier @HostOfMeta]

@SpaceyMcF @0xglitchbyte Obligatory:

https://t.co/hQj9270CzI

[John A De Goes @jdegoes]

Today I wondered, is there SQLite but for graphs instead of tables, with something like Datalog to query?

Answer: Yes, and it's completely embeddable!

Check out CozoDB below. 👇🦀

https://t.co/vrYPqGRtg3

[Storm @AndersonAndrue]

LLMs will not drive the "agent loop" in the long term, it will (ironically) be a logic programming language like datalog with LLM inference as a module/function

[Kristopher Micinski -- REBORN @krismicinski]

Getting very psyched for my upcoming Minnowbrook '26 seminar this week: https://t.co/8J7hoNznVc. Tons of folks coming out to talk Datalog, worst-case optimal joins, equality saturation, and related topics.

[Distributed, Parallel, and Cluster Computing @DPZ]

A Datalog Framework for Conflict-Free Replicated Data Types

Elena Yanakieva, Annette Bieniusa, Stefania Dumbrava
https://t.co/Ou3XmRuB2g [𝚌𝚜.𝙳𝙲 𝚌𝚜.𝙳𝙱 𝚌𝚜.𝙻𝙾 𝚌𝚜.𝙿𝙻]

[Kristopher Micinski -- REBORN @krismicinski]

Currently watching Yihao’s talk!!

[Robotics Papers @OWW]

Learning Compositional Symbolic Task Rules from Demonstrations with Inductive Logic Programming

Oleh Borys, Karla Stepanova
https://t.co/PxUUcbNo6X [𝚌𝚜.𝚁𝙾]

[Gavin Mendel-Gleason @GavinMGleason]

Here is a video of neuro-symbolic theorem proving in action using the (opensource) Rocq-piler MCP (we renamed when updating to Rocq) with the Rocq theorem prover.

We @scidonia_ai have spent considerable effort to increase the theorem proving ergonomics for LLMs with our MCP and have gotten the following one-shot for a type preservation theorem about the programming language PCF with references (sort of a micro-ML language) on video:

Model: DeepSeek v4
Tokens to completion: 141k
Cost: $3.43
Time: 20m (video is at 5x speed)

[Aram Hăvărneanu @aramh]

The cut-elimination theorem makes it appear as if the cut rule in logic is not important, but the cut rule is what allows a system (possibly not human) to think.

[@sasagawa888 @KSasagawa888]

I just published The Idea Was Right https://t.co/d9hkjuKSue

[@sasagawa888 @KSasagawa888]

I just published M-Prolog: The First Step https://t.co/DDAfp4NH2S