logtalk.org

Logtalk development updates and relevant logic programming news.

[logtalk.org @LogtalkDotOrg]

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

[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)

[Jos De Roo @josderoo]

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.

https://t.co/jdcoJIz0lH

[Jos De Roo @josderoo]

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.

https://t.co/kdjciLOD32

[logtalk.org @LogtalkDotOrg]

Logtalk 3.100.0 released
https://t.co/snjwHB5OJF

[logtalk.org @LogtalkDotOrg]

Published a first version of a tree-sitter for Logtalk:
https://t.co/OA8i4BWawD

[logtalk.org @LogtalkDotOrg]

Logtalk 3.99.0 released
https://t.co/dnV63dItKn

[logtalk.org @LogtalkDotOrg]

Logtalk 3.98.0 released
https://t.co/F7BPCr0f90

[logtalk.org @LogtalkDotOrg]

Logtalk for VSCode 0.82.0 published:

https://t.co/dCQgyi8gGv

Available from both VSCode and VSCodium marketplaces.

[@sasagawa888 @KSasagawa888]

I just published Strongly Connected Components Decomposition in Prolog (2) https://t.co/ymzBFfjXrz

[logtalk.org @LogtalkDotOrg]

Minor releases to close 2025 development work:

Logtalk 3.97.1 released https://t.co/OJhnLeRcTD

Logtalk for VSCode 0.81.0 released (requires Logtalk 3.97.0) https://t.co/Rlxr4YnAG8

Happy New Year!

[logtalk.org @LogtalkDotOrg]

Logtalk for VSCode 0.80.0 released (requires Logtalk 3.97.0)
https://t.co/Y47cbthHyj

[logtalk.org @LogtalkDotOrg]

Logtalk 3.97.0 released
https://t.co/6UqRuNhJYB

[logtalk.org @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.

[Danny Ayers 🌳 @danja]

Dogalog :- learn Prolog while making beats!
Live on the Web!

https://t.co/Y2sUR8JTTm

Blog post: https://t.co/iKiBxkRxRj

[@sasagawa888 @KSasagawa888]

I just published Suddenly, I found myself reflecting on my long journey with Prolog — how I first encountered it… https://t.co/QxyXTCmn3G

[Jos De Roo @josderoo]

Eyeling is a minimal Notation3 (N3) reasoner in JavaScript.
It is developed at https://t.co/DecyWzHZUu

Experimental playground
- https://t.co/62jQjqlRVt
- https://t.co/n6ADjVSLpJ

[logtalk.org @LogtalkDotOrg]

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

[logtalk.org @LogtalkDotOrg]

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.

[Paul Brown @PaulBrownPhD]

I made a website to test and improve your typing speed. What do you think of it?
https://t.co/2k7GhWTqgo

[logtalk.org @LogtalkDotOrg]

Logtalk for VSCode 0.75.0 released
https://t.co/Rlxr4YnAG8

Available from both the VSCode and VSCodium marketplaces:

https://t.co/WzWujocLdg
https://t.co/XP6JwnYRr7