One's life (and death) is a source-to-source transformation.

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)

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…

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…

Logtalk 3.100.0 released github.com/LogtalkDotOrg/log…

Published a first version of a tree-sitter for Logtalk: github.com/LogtalkDotOrg/tre…

Logtalk 3.99.0 released github.com/LogtalkDotOrg/log…

Logtalk 3.98.0 released github.com/LogtalkDotOrg/log…

Logtalk for VSCode 0.82.0 published: github.com/LogtalkDotOrg/log… Available from both VSCode and VSCodium marketplaces.

I just published Strongly Connected Components Decomposition in Prolog (2) medium.com/p/strongly-connec…

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!

Logtalk for VSCode 0.80.0 released (requires Logtalk 3.97.0) github.com/LogtalkDotOrg/log…

Logtalk 3.97.0 released github.com/LogtalkDotOrg/log…

Dogalog :- learn Prolog while making beats! Live on the Web! danja.github.io/dogalog Blog post: danny.ayers.name/entries/202…

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…

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…

Red AI - maximize performance, costs be damned Green AI - efficient but sustainable Blue AI- misses the old times when no one talked about hallucinations

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.

I made a website to test and improve your typing speed. What do you think of it? typingwiz.com/

Logtalk for VSCode 0.75.0 released github.com/LogtalkDotOrg/log… Available from both the VSCode and VSCodium marketplaces: marketplace.visualstudio.com… open-vsx.org/extension/Logta…

Logtalk 3.96.0 released github.com/LogtalkDotOrg/log…