logtalk.org
@LogtalkDotOrg
Logtalk development updates and relevant logic programming news.
Vous pourriez aimer
One's life (and death) is a source-to-source transformation.
Logtalk for VSCode 0.64.0 released (requires Logtalk 3.95.0): github.com/LogtalkDotOrg/… Available from both the VSCode and VSCodium marketplaces: marketplace.visualstudio.com/items?itemName… open-vsx.org/extension/Logt…
Logtalk 3.95.0 released: github.com/LogtalkDotOrg/…
github.com
Logtalk 3.95.0 released · LogtalkDotOrg logtalk3 · Discussion #245
Logtalk 3.95.0 is now available for downloading at: https://logtalk.org/ This release adds a mode_non_terminal/2 directive to distinguish non-terminal mode declarations from predicate mode declarat...
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/…
Logtalk 3.94.0 released github.com/LogtalkDotOrg/…
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
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…
New version of CxProlog released: ctp.di.fct.unl.pt/~amd/cxprolog/ Great to see that development of this system continues.
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.
Logtalk 3.93.0 released github.com/LogtalkDotOrg/…
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.
#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.
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/
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…
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.
github.com
GitHub - dsagman/picat: Learning Constraint Programming with Picat
Learning Constraint Programming with Picat. Contribute to dsagman/picat development by creating an account on GitHub.
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
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.
Jupyter Kernel for Logtalk 0.32.0 released featuring input widgets: pypi.org/project/logtal… anaconda.org/conda-forge/lo…
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
United States Tendances
- 1. LINGORM HER AND HERS FANCON 96.4K posts
- 2. #BUNCHITA 1,445 posts
- 3. Frankenstein 80.6K posts
- 4. Tulane 4,417 posts
- 5. #SmackDown 47K posts
- 6. Giulia 15.2K posts
- 7. taylor york 8,521 posts
- 8. Supreme Court 182K posts
- 9. Aaron Gordon 4,619 posts
- 10. #TheLastDriveIn 4,004 posts
- 11. #River 4,601 posts
- 12. Russ 14.2K posts
- 13. Justice Jackson 5,923 posts
- 14. #TheFutureIsTeal N/A
- 15. Connor Bedard 3,131 posts
- 16. Gozyuger 1,952 posts
- 17. Tatis 2,174 posts
- 18. Scott Frost N/A
- 19. Pluribus 31K posts
- 20. Northwestern 5,109 posts
Something went wrong.
Something went wrong.