Hi,
Logtalk 3.41.0 is now available for downloading at:
https://logtalk.org/
This release adds new linter checks for tautologies and falsehoods, adds a new convenience error throwing built-in method for uninstantiation errors, provides updated support for Tau Prolog, provides library fixes for Quintus Prolog and SICStus Prolog, fixes Handbook ePub file validation errors with some readers, and includes new and improved Prolog standards compliance tests. For details and a complete list of changes, please consult the release notes at:
https://github.com/LogtalkDotOrg/logtal ... E_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!
Logtalk 3.41.0 Stable
Moderator: Paulo Moura
-
- Logtalk developer
- Posts: 533
- Joined: Sat May 05, 2007 8:35 am
- Location: Portugal
- Contact:
Logtalk 3.41.0 Stable
Paulo Moura
Logtalk developer
Logtalk developer