Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login


For every complex problem, there is a solution that is simple, neat, and wrong. -- H. L. Mencken

devel / comp.lang.prolog / ANN: Logtalk 3.73.0 released

o ANN: Logtalk 3.73.0 releasedPaulo Moura

ANN: Logtalk 3.73.0 released


  copy mid

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:ac8:528e:0:b0:425:541b:426d with SMTP id s14-20020ac8528e000000b00425541b426dmr43968qtn.9.1702391396350;
Tue, 12 Dec 2023 06:29:56 -0800 (PST)
X-Received: by 2002:a05:6870:70a0:b0:1fb:1098:d155 with SMTP id
v32-20020a05687070a000b001fb1098d155mr6418576oae.10.1702391396065; Tue, 12
Dec 2023 06:29:56 -0800 (PST)
Newsgroups: comp.lang.prolog
Date: Tue, 12 Dec 2023 06:29:55 -0800 (PST)
Injection-Info:; posting-host=2001:8a0:fcb2:9a00:717a:ae76:493a:4218;
NNTP-Posting-Host: 2001:8a0:fcb2:9a00:717a:ae76:493a:4218
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <>
Subject: ANN: Logtalk 3.73.0 released
From: (Paulo Moura)
Injection-Date: Tue, 12 Dec 2023 14:29:56 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Paulo Moura - Tue, 12 Dec 2023 14:29 UTC


Logtalk 3.73.0 is now available for downloading at:

This release adds linter warnings for deprecated arithmetic predicates and functions; adds warnings for comparing numbers using unification; adds support for using backend-declared deprecated built-in predicates in linter warnings; improves checking the availability of predicates in "user" for "uses/2" and "use_module/2" directives; avoids false positive linter warnings about non-terminals called as predicates when the caller is a phrase-like predicate declared in the backend adapter file; improves compiler reporting of term-expansion errors; fixes unknown and undefined predicate call warnings when the calls occur in an included file to report the actual location instead of the main file; fixes printing of grammar rules linter warnings to respect the "grammar_rules" flag; adds adapter files support for deprecated built-in predicates and for declaring phrase-like predicates that call non-terminals; improves the Handbook grammar section now uses W3C-style EBNF syntax compatible with the [Railroad Diagram Generator](, also fixing typos and omissions; improves the Handbook section on parametric objects; improves the documentation of the "wrapper" tool; adds an experimental "mutations" library for generating random mutations of terms of selected types (intended for eventual fuzz testing support); adds a "tsv" library for reading and writing TSV files; adds new predicates and non-terminals to the "types", "grammars", and "random" libraries; improves the performance of the "term_io" library predicates; includes updates and fixes to the "lgtunit", "tutor", and "wrapper" tools; fixes the PowerShell documentation scripts to avoid an error when converting XML files; improves the "logtalk_tester" scripts detection and reporting of broken test sets due to backend bugs; adds new "haunted_wasteland", "scratchcards", and "trebuchet" examples (solving Advent of Code 2023 problems); adds new tests, updates, and fixes issues with the "poem", "profiling", "self_vs_this", "errors", "bench", and "benchmarks" examples; adds additional tests for the "phrase/2-3" built-in methods and fixes an issue with a "setof/3" built-in method test; improves the macOS installer; fixes the "logtalk_user_setup.ps1" PowerShell script to use a valid path for the backup directory; and includes portability updates for B-Prolog, CxProlog, ECLiPSe, LVM, and SWI-Prolog. Thanks to Domingo Alvarez Duarte and Yurii Rashkovskii for their contributions to this release.

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

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

Happy logtalking!

devel / comp.lang.prolog / ANN: Logtalk 3.73.0 released


rocksolid light 0.9.81
clearnet tor