Logtalk 3.98.0 released

[Paulo Moura]

Hi,

Logtalk 3.98.0 is now available for downloading at:

https://logtalk.org/

This is a major library-focused release: many new libraries across AI/ML, data formats, networking/protocols, utilities, and data structures; plus compiler/runtime correctness fixes and tooling/documentation improvements.

New libraries by category/area
==============================

AI / ML / optimization
----------------------

- "c45", "random_forest", "ada_boost"
- "knn", "naive_bayes", "nearest_centroid"
- "isolation_forest"
- "simulated_annealing"

Knowledge representation / logic
--------------------------------

- "datalog"

Data structures / combinatorics
-------------------------------

- "deques"
- "graphs"
- "subsequences", "combinations", "permutations"

Data formats / serialization
----------------------------

- "avro", "protobuf"
- "yaml"
- "json_ld", "json_rpc", "json_schema"
- "base32", "base58", "base85"

Networking / IPC / distributed systems
--------------------------------------

- "process" (compatibility)
- "sockets" (high-level compatibility)
- "memcached" client
- "amqp" (0-9-1)
- "stomp" client
- "linda" coordination model
- "mcp_server"

CLI / text / language utilities
-------------------------------

- "command_line_options"
- "stemming"
- "string_distance"
- "strings" (compatibility)
- "url"

Geo / time / identifiers
------------------------

- "geospatial"
- "time_scales"
- "cuid2", "ksuid", "nanoid", "snowflakeid"

Contributions
-------------

- "iso8601": added "duration_string/2", "interval_string/2"

Changed libraries by category/area
==================================

Collections / data structures
-----------------------------

- "dictionaries": splay-tree implementation; new "lookup/4" returning splayed tree.
- "sets": treap implementation.
- "heaps": pairing heap implementation; fixed "valid/1" for binary heaps.
- "listp"/"list"/"difflist": added "take/4".

Randomness / IDs / stats / math
-------------------------------

- "random": added SplitMix64, Xoshiro*, WELL512a support.
- "uuid": added UUIDv7 support, "uuid_nil/1", "uuid_max/1" (RFC 9562).
- "statistics": added percentile/quartiles/correlation/moments/error metrics and more.
- "natural": added "factorial/2", "binomial/3".
- "numberlist": added "linear_regression/4".
- "dates": added substantial date/time conversion and duration predicates.
- "arbitrary" + "types": added "text" and "text(CharSet)"; backend compatibility/portability fixes.

Data formats / parsing
----------------------

- "csv" and "tsv": optional comment support.
- "json" and "json_lines": fixed unused dependencies.

Functional/error-handling abstractions
--------------------------------------

- "expecteds": many new conversion/mapping/composition predicates.
- "optionals": many new conversion/mapping/composition predicates.
- "expecteds" + "optionals": added QuickCheck shrinking support.
- "validations": introduced as complementary accumulated-error model to "expecteds" fast-fail style.

Networking / integration
------------------------

- "redis": added common operation wrappers; updated to use new "sockets" compatibility library.

Portability cleanups
--------------------

- Reduced portability warnings in arbitrary, os, random, types and tools loading paths on specific backends.

Non-library notable changes
===========================

- Compiler/runtime: stricter create_object/4 and create_category/4 parameter checks; multiple fixes for include/1, initialization/1, and predicate_property/2 runtime-bound cases.
- Tools: new help::man/1; tester/doclet scripts now print runtime and improved formatting/accuracy.
- IDE support: VSCode test results now include per-entity and per-predicate coverage data.


For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Gupta, Gopal]

Fourth Prolog Education Workshop 2026

CALL FOR PAPERS

PEG 2.0 warmly invites submissions to the Fourth Prolog Education Workshop, PEG 2026, to be held in conjunction with ICLP 2026, in Lisbon, Portugal, on July 19, 2026 (main conference: July 20–23).

The PEG workshop series is a core initiative of the Prolog Education Group 2.0 (PEG 2.0), a community committed to rethinking how logical reasoning and trustworthy computing can become foundational skills for future generations. At a time when artificial intelligence and automated systems increasingly shape society, PEG 2.0 promotes Prolog-inspired declarative thinking as a powerful, transparent, and intellectually rigorous approach to computing education.

Rooted in nearly fifty years of experience, PEG 2.0 builds upon a long-standing tradition of developing educational materials based on logic programming languages—such as Prolog and ASP—to introduce people of all ages, especially children and adolescents, to structured reasoning and computational thinking. At the same time, it embraces innovative pedagogical practices for teaching logic programming at the university level, across both Computing and non-Computing disciplines, fostering clarity of thought, explainability, and epistemic awareness in an AI-driven world.

Submission Guidelines

Submission Formats:

• Full Papers: 10 to 12 pages
• Short Papers: 5 to 9 pages

Full and short papers must be original and not simultaneously submitted to another journal or conference.

Papers should follow the standard CEUR template (single column) available at: http://ceur-ws.org/Vol-XXX/CEURART.zip

Papers muct be written in English and be sent in PDF format.

We seek papers on:

• How to teach Prolog and the logic programming paradigm.
• How to teach STEM and non-STEM subjects through Prolog and logic programming.
• Materials and tools for the above.
• Teaching experiences, including statistical evaluations.

At least one author of each accepted paper will be required to present their contributions. ​ At least one author of each accepted paper is required to register for the workshop to present the work.

Deadlines:

Deadlines: all times are 23:59 Anywhere On Earth, UTC-12.

• Submission: April 30, 2026
• Notification of Acceptance: May 15, 2026
• Camera-ready: June 15, 2026
• Paper Presentations: July 19, 2026

Submission:

Please submit your papers through HotCRP.

Program Chairs

• Stefania Costantini, Università degli Studi dell'Aquila, Italy
• Gopal Gupta, The University of Texas at Dallas, USA