logtalk.org

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

Introducing Deriva: a small, fast reasoning language that turns facts and rules into answers—and inspectable proofs. Prolog-like syntax. Automatic tabling. Built-in arithmetic, lists, strings, aggregation, and negation. Runs in Node.js or the browser. github.com/eyereasoner/de…

eyeron 0.3.0 moves toward an N3-first architecture: RDF 1.x support lives behind a compatibility layer, while the core parser stays focused on N3. Also added -p, --proof for eyeling-style proof output with rules, lines, bindings, and builtins. github.com/eyereasoner/ey…

OpenARC: Open, executable reasoning artifacts that compute an answer, explain the reason why, and run checks to make the reasoning inspectable. Explore the examples and see how it works. #OpenSource #AI #Transparency github.com/josd/openarc

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)

Logtalk 3.100.0 released github.com/LogtalkDotOrg/…

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

Logtalk 3.99.0 released github.com/LogtalkDotOrg/…

Logtalk 3.98.0 released github.com/LogtalkDotOrg/…

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

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

Minor releases to close 2025 development work: Logtalk 3.97.1 released github.com/LogtalkDotOrg/… Logtalk for VSCode 0.81.0 released (requires Logtalk 3.97.0) github.com/LogtalkDotOrg/… Happy New Year!

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

Logtalk 3.97.0 released github.com/LogtalkDotOrg/…

@code Copilot in VSCode continues to mishandling time zones apparently. I'm on the free plan; my allowance resets at the 18th of each month. I exhausted it days ago; VSCode reporting a reset at Dec 18. Now reports Jan 18 but still "Chat Quota Reached" and 100% Chat messages used.

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

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

Eyeling is a minimal Notation3 (N3) reasoner in JavaScript. It is developed at github.com/eyereasoner/ey… Experimental playground - eyereasoner.github.io/eyeling/demo - eyereasoner.github.io/eyeling/demo?u…

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