[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Logtalk 3.58.0 released
From: |
Paulo Moura |
Subject: |
Logtalk 3.58.0 released |
Date: |
Tue, 27 Sep 2022 10:22:13 +0100 |
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
-----------------------------------------------------------------
Paulo Moura
Logtalk developer
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Logtalk 3.58.0 released,
Paulo Moura <=