Message-ID:

When speculation has done its worst, two plus two still equals four. -- S. Johnson

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

ANN: Logtalk 3.58.0 released

<91403644-54c8-499c-a841-6f18976f8881n@googlegroups.com>

https://news.novabbs.org/devel/article-flat.php?id=2658&group=comp.lang.prolog#2658

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:6214:1c85:b0:4af:7393:3d91 with SMTP id ib5-20020a0562141c8500b004af73933d91mr6436494qvb.74.1664271856678;
Tue, 27 Sep 2022 02:44:16 -0700 (PDT)
X-Received: by 2002:a4a:9773:0:b0:475:d910:6e5b with SMTP id
v48-20020a4a9773000000b00475d9106e5bmr10385063ooi.76.1664271856243; Tue, 27
Sep 2022 02:44:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Tue, 27 Sep 2022 02:44:14 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8a0:fc95:800:61cd:610f:b82e:cfd8;
posting-account=xY5IwQoAAABLfmaZKLNUtJQzvuPsR1zv
NNTP-Posting-Host: 2001:8a0:fc95:800:61cd:610f:b82e:cfd8
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <91403644-54c8-499c-a841-6f18976f8881n@googlegroups.com>
Subject: ANN: Logtalk 3.58.0 released
From: pjlmoura@gmail.com (Paulo Moura)
Injection-Date: Tue, 27 Sep 2022 09:44:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3000

by: Paulo Moura - Tue, 27 Sep 2022 09:44 UTC

Hi,

Logtalk 3.58.0 is now available for downloading at:

https://logtalk.org/

This release adds a new linter warning for non-terminals called as predicates; adds a compilation warning when compiling a "logtalk_load_context/2" goal with an invalid key; fixes the compiler to not throw an instantiation error when the body of a clause is a variable; improves documentation on third-party dependencies to build documentation final formats and to use the developer tools; improves Handbook, libraries, and tools documentation; provides fixes and improvements for the "os", "types", and "arbitrary" libraries; includes a new "lgtunit" version with improved QuickCheck support; adds experimental predicates to the "help" tool to browse and search inline at the top-level the Texinfo versions of the Handbook and APIs documentation; fixes a missing message tokenization in the "packs" tool; adds new Net-Clause Language (NCL) examples; adds new compliance tests for standard Prolog predicates and operators; adds a port of FCube, a prover for intuitionistic propositional logic; adds Emacs code snippets, contributed by Paul Brown; provides an embedding script for Ciao Prolog and improves the documentation of the embedding scripts; provides a PowerShell script for building the Handbook; updates the release build script to include all final formats for the Handbook and APIs documentation in the generated archives and installers; and includes portability updates for LVM, Trealla Prolog, and YAP.

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

Subject	Author
ANN: Logtalk 3.58.0 released	Paulo Moura