Logtalk development updates and relevant logic programming news.

Joined August 2009
28 Photos and videos
Pinned Tweet
One's life (and death) is a source-to-source transformation.
1
7
logtalk.org retweeted
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)
2
3
4
110
logtalk.org retweeted
Eyelog now has a language specification: a compact RFC-style spec for its Prolog-like rule language, including syntax, goals, built-ins, triple/3, conformance, and Herbrand semantics. eyereasoner.github.io/eyelog…

2
6
284
logtalk.org retweeted
Eyelog is the C core of Eyereasoner: Prolog-style rules, RDF-shaped triples, formula terms, and a compact native built-in set. It complements EYE, Eyeling, and EyeSharl as a small substrate for inspecting, testing, and evolving our shared reasoning core. github.com/eyereasoner/eyelo…
1
2
6
108
logtalk.org retweeted
I just published Strongly Connected Components Decomposition in Prolog (2) medium.com/p/strongly-connec…

2
7
253
Minor releases to close 2025 development work: Logtalk 3.97.1 released github.com/LogtalkDotOrg/log… Logtalk for VSCode 0.81.0 released (requires Logtalk 3.97.0) github.com/LogtalkDotOrg/log… Happy New Year!
2
4
111
logtalk.org retweeted
Dogalog :- learn Prolog while making beats! Live on the Web! danja.github.io/dogalog Blog post: danny.ayers.name/entries/202…

3
3
111
logtalk.org retweeted
I just published Suddenly, I found myself reflecting on my long journey with Prolog — how I first encountered it… medium.com/p/suddenly-i-foun…

2
3
167
logtalk.org retweeted
15 Dec 2025
Eyeling is a minimal Notation3 (N3) reasoner in JavaScript. It is developed at github.com/eyereasoner/eyeli… Experimental playground - eyereasoner.github.io/eyelin… - eyereasoner.github.io/eyelin…
1
1
44
Red AI - maximize performance, costs be damned Green AI - efficient but sustainable Blue AI- misses the old times when no one talked about hallucinations
1
2
49
Interesting that the number of VSCodium marketplace downloads for the Logtalk extension are 5x the number of downloads for the VSCode marketplace. Wondering if this a common experience for other extension developers.
61
logtalk.org retweeted
I made a website to test and improve your typing speed. What do you think of it? typingwiz.com/

1
3
92