Logtalk for VSCode 0.42.0 released, featuring an experimental Copilot chat participant and a logger system. Available from both VSCode and VScodium marketplaces: marketplace.visualstudio.com/items?itemName… open-vsx.org/extension/Logt…

my LambdaConf 2025 talk on temporal modal logic is up! time travel with me as i tell the story behind □ & ◇, how they came to save hardware dev, and why temporal modal logic now might just save us all:

Curso "Lógica informática (2014-15)". jaalonso.github.io/cursos/li-14 #Lógica #ProgramaciónLógica #Prolog

Updated my SWI-Prolog XTDB library to use the PostgreSQL binary protocol that XTDB speaks natively. This was a fun side project. Went from 100% Prolog, to pretty heavy on the C. Try it out: github.com/tatut/swixt

Jupyter Kernel for Logtalk 0.32.0 released featuring input widgets: pypi.org/project/logtal… anaconda.org/conda-forge/lo…

Jupyter kernel for Logtalk version 0.36.0 released with support for input forms, complementing the support for input widgets added in version 0.32.0. It's also now possible to customize the inputs callback webserver IP and port range. Available from both PyPI and Conda.

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

David Silverman has done a great job writing about his experience when learning #Picat: github.com/dsagman/picat . It contains a lot of examples solve Advent of Code (adventofcode.com) challenges using Picat's Constraint models as well as the planner.

Logtalk for VSCode 0.44.0 published with fixes and improvements to automatic code indentation. marketplace.visualstudio.com/items?itemName… open-vsx.org/extension/Logt…

New #Picat programs/models committed to GitHub. A few Smullyan puzzles and some other puzzles (including some using symbolic regression). Commit: github.com/hakank/hakank/… My Picat page: hakank.org/picat/

#Picat v3.9 released: picat-lang.org Updates: picat-lang.org/updates.txt It contains e.g. improvements of the SAT solver and - which is really cool - a bit vector constraint module which makes it possible to use arbitrary sized domains (> 2**56) in constraint models. 1/2

Please consider purchasing my Prolog book. The royalties will be used to cover the costs of building a Raspberry Pi cluster machine.

This is about my Prolog book. Due to a campaign, it will be free for two days—from August 30 to August 31. Please take this opportunity to enjoy it.

Logtalk 3.93.0 released github.com/LogtalkDotOrg/…

Logtalk for VSCode 0.52.0 released with new features, usability improvements, and fixes. Requires Logtalk 3.93.0. Available at the VSCode Marketplace now. Open VSX Registry support for publishing is currently down. But you can always download and install the .vsix file manually.

New version of CxProlog released: ctp.di.fct.unl.pt/~amd/cxprolog/ Great to see that development of this system continues.

Hillel Wayne: "Many Hard Leetcode Problems are Easy Constraint Problems - Use the right tool for the job.": buttondown.com/hillelwayne/ar… Examples are shown in #MiniZinc (minizinc.org). And the mandatory discussion on Hacker News: news.ycombinator.com/item?id=452226…

Crespin, Kostis, Verhaeghe, Schaus: "CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models": arxiv.org/pdf/2509.07867 The system is available here: cp-model-zoo.info.ucl.ac.be GitHub: github.com/crespina/LLM4CP

Logtalk 3.94.0 released github.com/LogtalkDotOrg/…

Logtalk for VSCode 0.53.0 released (requires Logtalk 3.94.0) with support for quick fixes, code refactoring, and code reformatting; improved symbol navigation; improved usability; and other fixes and improvements. For details, see: github.com/LogtalkDotOrg/…