@LogtalkDotOrg

Logtalk development updates and relevant logic programming news.

 Portugal
logtalk.org
Joined August 2009
  • Tweets3.2K
  • Following328
  • Followers601
29Media
One's life (and death) is a source-to-source transformation.
1
8
logtalk.org retweeted
Jos De Roo@josderooSep 19
Eyeron: a Rust reasoner for Notation3 (N3), SPARQL 1.2 RL, and Eyelang. Turns facts and rules into conclusions with verifiable proofs — as a CLI, a Rust library, or in the browser via WebAssembly. github.com/eyereasoner/eyero…

GitHub - eyereasoner/eyeron: Eyeron is a Rust reasoner for Notation3 (N3), turning facts and rules...

Eyeron is a Rust reasoner for Notation3 (N3), turning facts and rules into conclusions with verifiable proofs. - eyereasoner/eyeron

github.com
2
9
290
Logtalk in numbers, with the just released 3.102.0 version: · 301 libraries · 23 developer tools · 192 programming examples · +25000 tests
4
85
Logtalk 3.102.0 released github.com/LogtalkDotOrg/log… Happy logtalking!

Logtalk 3.102.0 released · LogtalkDotOrg logtalk3 · Discussion #262

Logtalk 3.102.0 is now available for downloading at: https://logtalk.org/ This is a major library-focused release featuring new natural-language processing, machine learning, numerical analysis, op...

github.com
54
Published Logtalk for VScode 0.90.0: github.com/LogtalkDotOrg/log… Available from the VSCode and VSCodium marketplaces.

Release v0.90.0 · LogtalkDotOrg/logtalk-for-vscode

Commits d3c8d8e: Update code completions (Paulo Moura) cd55669: Compile the $LOGTALKHOME/coding/vscode.lgt support file in optimal mode (Paulo Moura) 7d226d5: Update code completions for recently ...

github.com
1
72
logtalk.org retweeted
Prathyush@prathyvshSep 4
New short post up on the history of natural deduction over at: prabros.com/eris/notes/histo…
Screenshot of the cover art and title of: https://prabros.com/eris/notes/history-of-natural-deduction

ALT Screenshot of the cover art and title of: https://prabros.com/eris/notes/history-of-natural-deduction

1
4
2
22
1,267
🧵I am happy to announce that my just published book "AI for Smarties" is now available in both electronic (e-book) and printed form. "Understanding Artificial Intelligence" (the subtitle): this is what the book endeavors to enable for its readers. I wrote it because I kept ...
1
6
1
11
724
Pushed a "symdiff_mcp_app" example illustrating the "mcp_server" library support for MCP Apps (here running on the @code host). The library supports 2025 and 2026 data layers allowing publishing any Logtalk or Prolog application as a MCP App using either stdio or HTTP transport.
Screenshot of the MCP App UI.

ALT Screenshot of the MCP App UI.

3
86
macOS is supposed to be a modern, resilient OS. Once or twice a week, Safari crashes and takes down the OS. Hey @Apple here's a crazy idea: stop playing dirty tricks with Safari and make it a regular application so than when if freezes doesn't take the whole Mac down?!
2
95
Cool new Logtalk pack, just landed (no, I'm not the author): gitee.com/ACleverDisguise/tt… dot_words: A language-extended Logtalk implementation of the dot-words protocol, providing world geolocation with five easy words, configurable in ten natural languages, versioned, ...
1
2
90
Am I alone looking at MCP Apps (implemented in the latest Logtalk git version) and remembering OpenDoc and HyperCard?
1
133
logtalk.org retweeted
Philip Zucker@SandMouthAug 23
Using eprover as a declarative simplifier
3
13
429
logtalk.org retweeted
Jos De Roo@josderooAug 20
EyeProlog is becoming more reliable and easier to maintain. → more consistent behavior → checks across supported Node.js versions → benchmarks validated for four Prolog systems → code, tests and docs kept in sync All 1,876 tests pass. github.com/eyereasoner/eyepr…

GitHub - eyereasoner/eyeprolog: EyeProlog turns portable ISO Prolog programs into answers and...

EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs. - eyereasoner/eyeprolog

github.com
2
13
209
As a sanity check, I asked six locally running LLMs tagged "coding" who created the Logtalk programming language. Only one gave a correct answer. These LLMs hallucinations can really hurt your feelings! 🤣
2
3
91
Did exactly that several months ago. Similar results. What amused me most was all the hallucinated details about affiliation, co-authors, year of release, ... When LLMs hallucinate, they go all the way! 😂
9
logtalk.org retweeted
Jos De Roo@josderooAug 19
EyeProlog just got a serious OpenRuleBench boost 🚀 166s → 27s, 1.5GB → 450MB, all 14 benchmarks running — including WFS cases. Code + benchmarks: github.com/eyereasoner/eyepr… #Prolog #Datalog #OpenSource
1
9
486
logtalk.org retweeted
Jos De Roo@josderooJul 23
📘 The Art of Eyepl is now online—a hands-on guide to relations, unification, search, tabling, proofs, RDF 1.2, and auditable reasoning in a small Prolog-like language, from Herbrand’s foundations to advanced relational design. eyereasoner.github.io/eyepl/…
3
5
238
Logtalk 3.101.0 released github.com/LogtalkDotOrg/log… This is a major library-focused release. Notably, it provides HTTP/HTMX/WebSocket/OpenAPI/REST libraries for selected Prolog backends.

Logtalk 3.101.0 released · LogtalkDotOrg logtalk3 · Discussion #256

Logtalk 3.101.0 is now available for downloading at: https://logtalk.org/ This release adds a read-only sockets compilation flag to declare if a backend provides compatible sockets support; improve...

github.com
1
5
2,383
logtalk.org retweeted
Jos De Roo@josderooJul 20
Eyepl is a small, fast reasoning language: Prolog-like rules turn facts into answers and inspectable proofs. Now adds lossless RDF 1.2 round-tripping across Turtle, TriG, JSON-LD, RDF/XML and more—including nested triple terms and directional literals. github.com/eyereasoner/eyepl

GitHub - eyereasoner/eyeprolog: EyeProlog turns portable ISO Prolog programs into answers and...

EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs. - eyereasoner/eyeprolog

github.com
1
8
117
Load more