Menu
▾
▴
xsb-users
You can subscribe to this list here.
| 2000 |
Jan
|
Feb
(2) |
Mar
(54) |
Apr
(44) |
May
(22) |
Jun
(24) |
Jul
(35) |
Aug
(34) |
Sep
(14) |
Oct
(11) |
Nov
(77) |
Dec
(21) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2001 |
Jan
(13) |
Feb
(27) |
Mar
(32) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2022 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
(1) |
Oct
(1) |
Nov
(1) |
Dec
(1) |
| 2023 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
(2) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(1) |
| 2024 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
(3) |
Jun
(1) |
Jul
(1) |
Aug
(1) |
Sep
(2) |
Oct
(1) |
Nov
(1) |
Dec
(1) |
| 2025 |
Jan
(1) |
Feb
(1) |
Mar
(1) |
Apr
|
May
(1) |
Jun
|
Jul
|
Aug
(1) |
Sep
(1) |
Oct
(1) |
Nov
(1) |
Dec
(1) |
| 2026 |
Jan
|
Feb
(1) |
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: Paulo M. <pm...@lo...> - 2026-04-09 21:32:14
|
Hi, Logtalk 3.99.0 is now available for downloading at: https://logtalk.org/ This is a major tooling- and library-focused release centered on stronger diagnostics/reporting/documenting/testing/packaging workflows, date/time and time-zone support, configuration and interchange formats, hashing and MIME utilities, and compiler/runtime correctness fixes for multi-threaded and portability-sensitive workloads. ## New and updated tools by category/area ### Diagnostics / reporting / quality - "tool_diagnostics" for generating machine-readable diagnostics consumable by other developer tools - "sarif" for exporting diagnostics as SARIF reports - "mutation_testing" for mutation-based testing - "sbom" for generating software bills of materials for loaded applications in CycloneDX and SPDX formats - "linter_reporter": support for generating machine-readable linter diagnostics - "dead_code_scanner", "lgtdoc", and "lgtunit": added support for emitting diagnostics for downstream tooling ### Metrics / diagrams / analysis - "code_metrics": added Lines, Maintainability Index, LCOM4, WMC, RFC, and Cognitive Complexity metrics - "code_metrics": updated coupling scores to include Distance from Main Sequence - "diagrams": added caller diagrams, coupling-metric overlays, cycle highlighting, and export support for CX2 JSON and PlantUML - "diagrams": "lgt2svg.sh" and "lgt2svg.ps1" can now export formats other than SVG ### Testing / packaging / automation - "lgtunit": added Cobertura XML and LCOV coverage export, Subunit and CTRF test result export, and a new protected "file_url/2" predicate - "logtalk_tester.sh" and "logtalk_tester.ps1": added concurrent test execution with "-j" and improved minimal output timing - "packs": added lock files support for deterministic installs and CI/CD reproducibility plus a programmatic query API - "tutor": updated to explain "dead_code_scanner" warnings and now provides a reusable "tutor_explanations" category ## New libraries by category/area ### Time / configuration / data interchange - "application" for declaring application metadata (notably for SBOMs) - "character_sets" for converting between character codes and bytes plus charset metadata - "hashes" for commonly used hashing algorithms (MD5, SHA1, SHA3, SHA256, CRC32, and others) - "toml" for parsing and generating TOML v1.0.0 files - "tzif" for parsing TZif files, persisting parsed snapshots, and querying UTC offsets, DST, and abbreviations - "dates_tz" for linking "dates" and "tzif" to support zone-aware date-time conversions - "mime_types" for mapping file extensions, file names, and URL-like resources to MIME types and content encodings ### Data structures / collections - "dictionaries": added a 2-3 tree implementation contributed by Michael T. Richter ## Changed libraries by category/area ### Date / time / time zones - "dates": added more calendar and instant utilities, including day-of-year, relative ordering, instant comparison, formatting, and calendar-aware year/month arithmetic - "dates": "name_of_day/3" now uses ISO 8601 numbering for consistency - "iso8601" contribution: added "time_string/3" and "date_time_string/3", extended "interval_string/2", and added support for comma as a fractional separator ### Coordination / networking - "linda": reorganized around "linda_server" and "linda_client" categories, while keeping a backward-compatible default object - "linda": clients can now connect to multiple servers and define aliases for server connections - "linda": improved connection error reporting plus fixes for shutdown, tuple handling, synchronization, and matching behavior - "sockets": added "server_open/4" for starting a server on a specific interface ### Validation / web / identifiers / types - "json_schema": added support for schema references to local files - "url": added "file_path_components/2", improved normalization, and removed spurious choice-points in public predicates - "uuid": added support for UUID versions 3 and 5 - "type" and "arbitrary": added a "hexadecimal" character set ## Non-library notable changes - Compiler/runtime: added a new "force" target to "logtalk_make/1", added the "term_position(Term)" load-context key, fixed entity operator leakage from included files, improved handling of multifile/dynamic predicates on some backends, and protected key load/compile/runtime update operations with mutexes on multi-threaded backends - Documentation: added notes on limitations when using conditional compilation directives in included files and fixed missing documentation for the "info/1" entity property - IDE support: added VSCode support for checking the portability of loaded code and updated the Context7 MCP support file to the latest format For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer |
|
From: Paulo M. <pm...@lo...> - 2026-02-27 14:15:28
|
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 |
|
From: Paulo M. <pm...@lo...> - 2025-12-22 14:34:01
|
Hi, Logtalk 3.97.0 is now available for downloading at: https://logtalk.org/ This release fixes expanding of relative file paths when compiling and loading files that could cause spurious redefinition warnings with some backends; includes documentation improvements; provides new libraries for the CCSDS and TOON data formats; provides a new version of the `help` tool that uses a terminal-based browser; updates the `debugger` tool for better integration with IDEs; includes updates to the `diagrams` tool generated dependency diagrams; improves support for Allure test reports; adds `lgtdoc` tool support for exporting documentation in HTML 5 format; fixes the `lgtunit` tool saving of source locations for tests defined in included files; improves the performance of `diagrams` and `lgtdoc` tool tests; includes additional tests for the de facto standard `format/2-3` predicates; updates the Windows installer to also detect ECLiPSe 7.2 versions; fixes the Windows installer to support running in system context for deployment via enterprise management tools; fixes the Windows installer to support the base installation without requiring a user documents folder; and provides updated VSCode support. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.80.0 released (requires Logtalk 3.97.0) with support for the ECLiPSe backend on Windows; improved support for the SICStus Prolog backend; improved debugging with automatic code recompilation in debug/normal mode when starting/stopping debugging, support for the debug toolbar with additional buttons for common port commands, and partial support for the "Variables" and "Call Stack" panes in the "Run and Debug" sidebar; improved testing support with a new setting for automatically generating Allure reports, context menu items for skipping/unskipping tests, fixed clearing of failed tests diagnostics when editing and saving tests files, and reporting of automated test results in the Test Explorer sidebar; a new help command for opening the Logtalk Handbook in a view pane; multi-root workspace support; new code completions; a new refactoring for for replacing explicit message sending calls with a `uses/2` directive; actionable status bar indicators for profiling and CodeLens on/off state; improved handling of terminal crashes; improved code navigation and CodeLens performance; improved documentation; and fixed displaying of inline code coverage data on Windows. Other recent changes in previous versions include new and improved refactorings; support for ctrl-click on file paths in "loaded" comment messages in the terminal; fixed settings grouping in the VS Code settings editor; and Windows fixes including handling of terminal links and a workaround for driver letter casing issues due to inconsistent path handling between Windows, VSCode, and Node.js APIs. For details, see: https://github.com/LogtalkDotOrg/logtalk-for-vscode/blob/master/CHANGELOG.md Available from both the VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode 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 |
|
From: Paulo M. <pm...@lo...> - 2025-11-18 22:37:56
|
Hi, Logtalk 3.96.0 is now available for downloading at: https://logtalk.org/ This release adds predicates for sorting loaded files by their dependencies; improves the `make` target `all` to minimize compilation warnings due to out-of-order loading of modified source files; updates the `format` library linter checker for control sequences that take two arguments; improves tests for the `os` library; updates the Handbook sections on the programing and on the `make` tool; updates the `logtalk_doclet.sh` and `logtalk_tester.sh` scripts for reimplementations of the GNU `coreutils` package; adds support for the Context7 MCP server; updates the VSCode support; and includes portability updates for GNU Prolog, Quintus Prolog, SICStus Prolog, Trealla Prolog, XSB, 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 Logtalk for VSCode 0.75.0 released (requires Logtalk 3.96.0) with support for renaming local variables and parameter variables; new refactorings for extracting predicates, introducing and inlining variables, renumbering variables, wrapping plain Prolog files as objects, inferring public predicates, and sorting source files in driver files by dependencies; and improved performance of entity parameter refactorings. Other recent changes in previous versions include fixes and improvements to the chat participant (including new slash commands); support for expanding and shrinking selections; updated documentation; propagation of file renames and deletions to loader and tester driver files with preview support; new refactorings for converting Prolog modules to objects, adding predicate/non-terminal declarations, splitting directives with list arguments, and moving code between entities; improved performance of the tests explorer and CodeLens providers; code completions when typing lists; creation of diagnostics from workspace tester and doclet commands output; plus a new setting for loading the project on extension activation. For details, see: https://github.com/LogtalkDotOrg/logtalk-for-vscode/blob/master/CHANGELOG.md Available from both the VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode Docker image with Logtalk, Prolog systems, and Jupyter updated and available: https://hub.docker.com/r/logtalk/logtalk3-portable/tags 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 Enjoy, Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer |
|
From: Paulo M. <pm...@lo...> - 2025-10-30 14:32:56
|
Hi, Logtalk 3.95.0 is now available for downloading at: https://logtalk.org/ This release adds a "mode_non_terminal/2" directive to distinguish non-terminal mode declarations from predicate mode declarations; includes improvements and fixes to the diagrams node links generated by the "diagrams" tool; fixes the generation of diagrams on Windows to exclude the default scratch directory; includes "lgtdoc" linter fixes; includes "lgtdoc" fixes for the XSLT files that conver XML documentation files to (X)HTML files to correctly handle italic, bold, and monospaced text fragments; improves the "lgtunit" linter for test assertions; updates the tests of several examples to provide code coverage stats; includes updates and fixes for the VSCode support; and fixes a bug in the release script that would prevent updating diagrams for the documentation archive. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.64.0 released (requires Logtalk 3.95.0) with improved code formatting; integration with the VSCode Testing API; code profiling view with navigable and savable tables; diagrams view with full navigation to documentation and source code; additional refactorings; additional quick fixes; and other fixes and improvements. For details, see: https://github.com/LogtalkDotOrg/logtalk-for-vscode/blob/master/CHANGELOG.md Available from both the VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode 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 Enjoy, Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer |
|
From: Paulo M. <pm...@lo...> - 2025-09-30 14:31:51
|
Hi, Logtalk 3.94.0 is now available for downloading at: https://logtalk.org/ This release adds support for the object and category `references/2` property for querying entity references not covered by other properties; adds a linter warning for entity parameter variables not in parameter variable syntax; updates the `lgtunit` tool code coverage linter warnings for better integration with IDEs; adds support for creating entity specific predicate breakpoints to the `debugger` tool; fixes some usability issues in the `debugger` tool; updates the preliminary `diagrams` tool support for Mermaid; adds additional tests for Logtalk built-in predicates; and includes updates and fixes for the VSCode support. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.53.0 is now available from both the VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode This release (requires Logtalk 3.94.0) adds support for quick fixes, code refactoring, and code reformatting; improves symbol navigation; improves usability; and includes other fixes and improvements. For details, see: https://github.com/LogtalkDotOrg/logtalk-for-vscode/blob/master/CHANGELOG.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 |
|
From: Paulo M. <pm...@lo...> - 2025-08-28 20:31:28
|
Hi, Logtalk 3.93.0 is now available for downloading at: https://logtalk.org/ This release adds support for declaring synchronized predicates in calls to the `create_object/4` and `create_category/4` built-in predicates; improves the `sets` library; improves the `debugger` tool; fixes a `packs` tool issue when restoring pack environments; updates the testing automation script to also report the operating-system version; adds additional tests for the Prolog standard `atom_concat/3` predicate; adds CodeMirror 6.x support; improves TextMate 2.x and Vim support for automatic indentation; and includes fixes and improvements for VSCode support. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.52.0 released with new features, usability improvements, and fixes (requires Logtalk 3.93.0): * Update "Go to Symbol in Editor..." support to also include predicate clauses and non-terminal rules * Add support for the "Run > Start Debugging" and "Run > Run Without Debugging" commands * Add support for toggling debugging using a Logtalk icon in the top-right corner * Improve readme section on requirements * Fix spurious "No code loaded from selected directory as required by command." warning for the Logtalk built-in entities directory * Fix spurious "No code loaded from selected directory as required by command." warning for loaded dependencies * Fix cases where the number of arguments in a predicate call or entity identifier would be miscounted Other recent noteworthy changes: * Remove workaround of requiring selecting a predicate or entity name to enable the "Got to Definition" command * Filter accidental code navigation calls with invalid predicate or entity indicators * Fix possible file write permission errors when using the code navigation features * Fix goal error when cancelling the creation of a function breakpoint * Create a Logtalk terminal when the extension is first activated * Show the Logtalk terminal also when loading a project, loading a directory, loading a file, and computing metrics * Fix cases where the "Problems" pane would show duplicated diagnostics * Remove code lens data for a source file when edited * Improve automatic indentation support https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode Jupyter Kernel for Logtalk 0.46.0 and JypyterLab extension 1.3.0 released: https://pypi.org/project/logtalk-jupyter-kernel/ https://anaconda.org/conda-forge/logtalk-jupyter-kernel https://pypi.org/project/jupyterlab-logtalk-codemirror-extension/ (awaiting publication at Anaconda.org) Recent kernel changes: * Add support for specifying a default value for dropdown fields in forms * Fix linter warnings in forms and widgets support * Fix bug handling the default option in dropdown fields in forms * Fix the logtalk_kernel_config.py file to allow overriding the backend Recent extension changes: * Add support for code folding when editing Logtalk source code * Add support for automatic indentation when editing Logtalk source code * Add launcher and command palette entries for creating new Logtalk files * Fix turning off highlighting for atoms that aren't keywords * Add highlighting of escape sequences in atoms and double-quoted terms * Improve highlighting of directives and operators Docker image with Logtalk, Prolog systems, and Jupyter updated and available: https://hub.docker.com/r/logtalk/logtalk3-portable/tags 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 |
|
From: Paulo M. <pm...@lo...> - 2025-05-29 11:34:59
|
Hi, Logtalk 3.92.0 is now available for downloading at: https://logtalk.org/ This release fixes bugs in the implementation of the "asserta/1-2" and "clause/2" built-in methods; consolidates Handbook, APIs documentation, and man pages in a "docs" directory; adds new glossary entries to the Handbook; improves Handbook documentation on performance and on writing multi-threading applications; improves the "lgtunit" tool documentation on timing tests; adds a new "json_lines" library implementing the JSON Lines standard proposal; provides improved "packs" tool support for experimental and deprecated packs; updates the "packs" tool "update/2-3" predicates to allow restricting the required status for pack updates; improves several examples, notably the multi-threading examples; updates the release build script to include the APIs documentation in the manuals archive; updates the portable Docker image to include the JAR files required by the Java examples; and includes examples portability updates for SWI-Prolog, Trealla Prolog, and XVM. 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 |
|
From: Paulo M. <pm...@lo...> - 2025-03-28 12:09:39
|
Hi, Logtalk 3.90.0 is now available for downloading at: https://logtalk.org/ This release provides fixes and improvements to the Bash and PowerShell scripts used for backend integration, embedding, tools, Docker images, releases, and installation; adds support for generating single file versions of the Handbook and APIs documentation in LLM friendly Markdown format; adds new predicates to the "random" and "types" libraries; adds new "apache_poi" and "lips" programming examples; and fixes a VSCode code navigation issue with single references to local predicates. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.39.0 is now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode Requires Logtalk 3.87.0 or a later version (3.90.0 recommended). Recent changes (since 0.33.0): * Added source information to diagnostics * Provided a menu with the valid choices for the backend setting instead of requiring typing it * Improved readme section on settings * Updated author information in the license file * Updated the documentation on the code navigation features * Updated readme section on "Go To References" support * Fixed most spurious find definition queries when pressing the Command (macOS) or Control (Windows, Linux) keys with the cursor over some random (but not selected) text Jupyter Kernel for Logtalk 0.29.0 published, available from both PyPI and Conda registries: https://pypi.org/project/logtalk-jupyter-kernel/ https://anaconda.org/conda-forge/logtalk-jupyter-kernel Recent changes (since 0.16.0): * Added "%%csv file.csv" and "%%tsv file.tsv" cell magics to print a table but also save it to CSV/TSV files * Added "%%data" cell magic for data visualization using the Python `matplotlib` package * Updated the the kernel overview notebook with a section on data visualization * Fixed saving queries * Fixed the print table predicates when query variables unify but not become bound to a non-variable term * Fixed kernel crash when using an invalid variable reference Docker image with Logtalk, Prolog systems, and Jupyter updated and available: https://hub.docker.com/r/logtalk/logtalk3-portable/tags 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 Enjoy, Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer |
|
From: Paulo M. <pm...@lo...> - 2025-02-14 16:00:48
|
Hi, Logtalk 3.89.0 is now available for downloading at: https://logtalk.org/ This release adds new glossary entires; update the developer tools documentation on requirements; improves the "packs" tool handling of failed pack archive downloads; update the "diagrams" tool for the new d2 0.6.9 release; adds a new example, "jupyter", illustrating how to write source files that can be interpreted as scripts and open as Jupyter notebooks; improves the instructions on how to run the examples documentation as Jupyter notebooks; includes multiple improvements and fixes to examples documentation for a better experience when open as notebooks; includes fixes and improvements for the portable Docker image; improves portability of the embedding and release scripts; and includes examples portability updates for Trealla Prolog and XVM. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.33.0 is now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode Requires Logtalk 3.87.0 or later and a supported Prolog backend. Changes: * Adds "Logtalk: Jupyter" commands (requires Juyptext 1.16.7 or later version) * Provides a menu with the valid choices for the backend setting instead of requiring typing it https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.33.0 Jupyter Kernel for Logtalk 0.16.0 published with documentation updates. Docker image with Logtalk, Prolog systems, and Jupyter available: https://hub.docker.com/r/logtalk/logtalk3-portable/tags Includes: * Logtalk 3.89.0 * B-Prolog 8.1 * Ciao Prolog 1.23.0-m1 * CxProlog 0.98.3 * ECLiPSe 7.1#13 * GNU Prolog latest git master version * SWI-Prolog latest git master version * Trealla Prolog latest git main version * XSB latest git git-origin version * YAP latest git master version * Dependencies for the Logtalk developer tools * Latest Jupyter version 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 |
|
From: Paulo M. <pm...@lo...> - 2025-01-08 14:52:13
|
Hi, Logtalk 3.87.0 is now available for downloading at: https://logtalk.org/ This release adds new loaded file properties to the reflection API; updates the documentation on integration scripts and developer tool requirements; removes deprecated tool JScript scripts; fixes a bug in the `lgtenv.ps1` PowerShell script; adds additional tests for the Prolog standard all-solution meta-predicates; and improves the support for VSCode and VSCodium. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.32.0 is now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode Requires Logtalk 3.87.0 or a later version. Recent changes (since 0.29.0): - Add support for re-running a single test using CodeLens - Fix case where duplicated items could be created in the "PROBLEMS" pane - Fix "Logtalk: Toggle Code Lens" command to preserve code lens outdated status - Fix code navigation issues on Windows - Fix code navigation false warnings of code not loaded on Windows 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 Enjoy, Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer |
|
From: Paulo M. <pm...@lo...> - 2024-12-18 18:45:37
|
Hi, Logtalk 3.86.0 is now available for downloading at: https://logtalk.org/ This release adds an experimental "logtalk::message_prefix_file/6" hook predicate to the message printing mechanism; fixes case where a false positive left-recursion linter warning would be printed; fixes several grammar and spelling typos in the documentation; changes the The "lgtunit" tool test compilation warning and error messages for better integration with other developer tools; adds experimental "diagrams" tool support for the d2 graph language; updates the "diagrams" tool to support additional text editors when generating diagrams with links to local files; updates the "diagrams" tool to use a Unicode glyph for the zoom icon instead of an image file; fixs a bug in the "lgtdoc" tool when printing a warning on missing entity directive "info/1" keys; updates the "tutor" tool to explain additional linter warnings; updates the "tutor" tool to support displaying warnings and errors augmented with explanations in VSCode; adds a new benchmarks example contributed by Paul Tarau; adds additional Prolog standards compliance tests; improves installation instructions; updates the VSCode support to also list the "lgtunit" tool warning and error messages in the "PROBLEMS" pane; and provides portability updates for Ciao Prolog and XSB. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.29.0 is now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode Recent changes (sing 0.26.0): - Label file tests and metrics data displayed using CodeLens as possibly outdated when editing the file - Display tutor tool explanations in the "PROBLEMS" pane - Fix reporting of failed tests when re-running tests - Improve description of project (workspace) commands - Fix code navigation issues when defining only the required settings 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 Enjoy, Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer |
|
From: Paulo M. <pm...@lo...> - 2024-11-12 19:48:13
|
Hi, Logtalk 3.85.0 is now available for downloading at: https://logtalk.org/ This release adds a "linter" meta-flag to allow turning on/off all linter warnings; adds new "encodings" and "general" linter flags; converts some linter warnings into compilation errors; adds a new linter check for redundant entity qualification in predicate directives; changes the "logtalk_load_context/2" built-in predicate to type-check the key argument; improves error-checking for the "use_module/1-2", "export/1", and "reexport/2" directives; fixes a regression in the previous release that prevented reloading code after fixing compilation errors without restarting the current session; improves the documentation of the "issue_creator" tool; improves the Handbook sections on performance and meta-predicates; improves the Handbook documentation on the "logtalk_make/0-1" built-in predicates; updates the "meta_compiler" library to support optimization of meta-calls with closure meta-arguments that are messages to parametric objects; adds "diagrams" tool support for generating diagrams with local links to source file and directories that open in selected text editors; updates the "tutor" tool to explain additional compiler and developer tools warnings and errors; fixes harmless repeated warning in the "packs" tool when pack dependencies are not available; includes improvements and portability fixes to some examples; adds new tests and improves existing tests for Logtalk and standard Prolog features; and updates embedding scripts to accept an optional startup application goal argument. 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 |
|
From: Paulo M. <pm...@lo...> - 2024-10-22 14:05:42
|
Hi, Logtalk 3.84.0 is now available for downloading at: https://logtalk.org/ This release improves the compiler to detect and report recursive references to files and entities; fixes the compiler to prevent using grammar rules to try to redefine disjunction and conditional control constructs; improves the Handbook glossary; improves the documentation of the "logtalk_tester" script; improves the documentation of the "help", "lgtdoc", "packs" tools; adds new directory deletion predicates to the "os" library; improves the "hook_flows" library; includes improved documentation and additional tests for the "dictionaries" library; fixes "meta_compiler" library issues; adds "lgtunit" tool support for running just a selection of tests; adds "packs" tool support for installing and updating packs from local archives, for "gpg" encrypted pack and registry archives, for using "wget" in alternative to "curl", and for for using ".sig" signature files in alternative to ".asc" signature files; adds "tutor" tool support for explaining selected "lgtunit", "make", and "packs" tool error messages; fixes the "dead_code_scanner" tool to avoid some false positives; fixes the "logtalk_tester" script to follow symbolic links when looking for test driver files; adds an example of defining a DSL for tests; adds additional tests for Prolog standard and de facto standard predicates; improves tests coverage for the "dead_code_scanner" and "packs" tools; and provides portability updates for SWI-Prolog and YAP. Thanks to Alex Kouznetsov, Michael McNally, and Lindsey Spratt for their contributions to this release. 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 |
|
From: Paulo M. <pm...@lo...> - 2024-09-24 11:48:38
|
Hi, Logtalk 3.83.0 is now available for downloading at: https://logtalk.org/ This release adds a new consistency_error/3 built-in method; makes the compiler consistency errors more informative; provides linter fixes and improvements; fixes some compiler bugs, notably using a uses/2 directive to change the order of predicate arguments to use it as a closure; improves the Handbook documentation of the info/2 and mode/2 directives; improves the Handbook documentation of the error handling built-in methods; improves the Handbook section on lambda expressions; updates the lgtunit, help, and tutor tools; adds additional tests for the Prolog standard logical update semantics and for several Prolog standard predicates; improves tests for Prolog standard control constructs and predicates; updates tests for linter flags; includes fixes for the SWI-Prolog based Docker image; and provides portability updates for XVM. 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 |
|
From: Paulo M. <pm...@lo...> - 2024-09-24 11:24:08
|
Hi, Logtalk 3.82.0 is now available for downloading at: https://logtalk.org/ This release adds support for runtime constructed messages for the built-in methods; fixes error handling for the include/1 directive when dynamically creating new entities; includes changes, improvements, fixes, and tests for the linter tool; improves Handbook documentation of the message printing mechanism predicates; improves the packs tool handling of alternative pack dependencies; improves support for pack virtual environments; improves support for Allure test reports; includes additional tests for standard directives and predicates; and provides improvements and fixes for the portable Docker image. Thanks to Alex Kouznetsov and Paul Brown for the bug reports. 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 |
|
From: Paulo M. <pm...@lo...> - 2024-08-20 15:24:45
|
Hi, Logtalk 3.82.0 is now available for downloading at: https://logtalk.org/ This release adds support for runtime constructed messages for the built-in methods; fixes error handling for the include/1 directive when dynamically creating new entities; includes changes, improvements, fixes, and tests for the linter tool; improves Handbook documentation of the message printing mechanism predicates; improves the packs tool handling of alternative pack dependencies; improves support for pack virtual environments; improves support for Allure test reports; includes additional tests for standard directives and predicates; and provides improvements and fixes for the portable Docker image. Thanks to Alex Kouznetsov and Paul Brown for the bug reports. 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 |
|
From: Paulo M. <pm...@lo...> - 2024-07-16 13:53:16
|
Hi, Logtalk 3.81.0 is now available for downloading at: https://logtalk.org/ This release updates the delegation control construct to also preserve the original meta-call context; adds support for runtime constructed "(^^)/2" goals; adds support for using the "(<<)/2" and "catch/3" control constructs in a grammar rule body; fixes meta-arguments handling issues (thanks to Alex Kouznetsov for the bug reports); accounts for the renaming of the LVM backend to XVM; improves documentation; improves the performance of the "json" library when parsing large files (thanks to Yurii Rashkovskii for the bug report); fixes the "meta_compiler" library expansion of meta-arguments that call Prolog module predicates; changes the "lgtunit" object "test/3" private predicate to no longer being declared as a meta-predicate, simplifying writing of meta-predicate tests; adds support for conditional and triggered breakpoints to the "debugger" tool; improves the "debugger" tool support for log points; improves the "debugger" tool performance when checking for leashed ports; fixes a bug in the "lgtdoc" tool when generating reStructuredText files; adds a new programming example illustrating the semantics of calling an inherited meta-predicate using a message to "self" versus using a "super" call; includes additional tests for the "(^^)/2" control construct; adds a Docker file for building an image with Logtalk, a subset of the supported Prolog backends, Jupyter, JupyterLab, and the Logtalk kernel; and includes new and improved VSCode/VSCodium support. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.23.0 is now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode This is a major release, providing improved usability, improved debugging support, new commands, and bug fixes: * Rename workspace commands to include instead the word "Project" * Show only project (workspace) commands in the explorer context menu * Change the "Logtalk: Make ..." commands to show a warning when no Logtalk process is running * Add "Logtalk: Create Project" command * Add "Logtalk: Load Project" command * Add getting started walkthrough * Add failed tests to the "Problems" pane (when using the "Logtalk: Run Tests" command) * Add support for conditional and triggered breakpoints * Escape log point messages to ensure they are valid quoted atoms * More informative error message when a script is not found * Fix workspace commands when run from the command palette by using the first workspace folder * Fix the "Logtalk: Load Directory" command to show a warning if the loader file doesn't exist * Fix the "Logtalk: Run Tests" command to show a warning if the tester file doesn't exist * Fix the "Logtalk: Run Doclet" command to show a warning if the doclet file doesn't exist https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.23.0 Docker image with Logtalk, Prolog systems, and Jupyter available: https://hub.docker.com/r/logtalk/logtalk3-portable/tags Includes: * Logtalk 3.81.0 * B-Prolog 8.1 * Ciao Prolog 1.23.0-m1 * CxProlog 0.98.3 * ECLiPSe 7.1#13 * GNU Prolog latest git master version * SWI-Prolog latest git master version * Trealla Prolog latest git main version * XSB latest git git-origin version * YAP latest git master version * Dependencies for the Logtalk developer tools * Latest Jupyter version 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 |
|
From: Paulo M. <pm...@lo...> - 2024-06-04 14:15:28
|
Hi, Logtalk 3.80.0 is now available for downloading at: https://logtalk.org/ This release changes the debugging API to allow multiple debug handlers to be loaded simultaneously; updates the compiler to support for using backend proprietary directives when dynamically creating objects and categories; updates the reflection API to better support developer tools; fixes a regression preventing linter warnings for duplicated clauses and grammar rules; fixes reporting of the number of compilation warnings that failed to count some of the warnings; fixes the `phrase/2-3` built-in methods to properly handle a runtime bound first argument when called from a meta-predicate (thanks to Alex Kouznetsov for the bug report); updates the documentation of the embedding scripts; adds ew `sequential_occurrences/2-3` list predicates to the `types` library; updates the he `debugger` and `ports_profiler` tools for the new debug API; adds support for log points to the `debugger` tool; improves the `debugger` tool integration with other developer tools; improves the `packs` tool reporting when a pack is available from multiple registries; includes fixes for the `missing_data` example; includes new and improved VSCode/VSCodium support predicates; and provides portability updates for LVM and SWI-Prolog. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.22.0 is now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode This is a major release, providing improved usability, initial debugging support, new commands, and bug fixes: * Change linters to no longer create and write to an "OUTPUT" pane channel * Show current clause in the active text editor when debugging * Add support for adding and removing spy points and log points * Add Logtalk source file icons * Add "Logtalk: Make - Circular" command * Add "Logtalk: Make - Optimal" command * Add "Logtalk: Make - Normal" command * Add "Logtalk: Make - Debug" command * Add "Logtalk: Make - Clean" command * Add "Logtalk: Make - Caches" command * Improve usability by only showing the terminal if hidden when advisable by the command * Update minimum VSCode version required to 1.64.0 * Update the "Go to Implementations" command to also find protocol implementations * Fix file recompilation to clear previous diagnostics for the file * Fix possible JavaScript error in the "Go to Symbol in Editor..." implementation * Fix occasional glitch where code navigation would return a previous result * Fix and simplify auto-indentation patterns * Fix parsing of predicate calls with double-quoted arguments https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.22.0 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 |
|
From: Paulo M. <pm...@lo...> - 2024-05-15 15:52:49
|
Hi, Logtalk 3.79.0 is now available for downloading at: https://logtalk.org/ This release fixes a regression in the "make" tool for the "check" target; fixes the term-expansion mechanism to allow generating multiple entity definitions; fixes left-recursion linter warnings for coinductive predicates; fixes the "code_metrics" tool implementation of the cyclomatic complexity and unique predicate nodes metrics to take into account multifile predicate definitions; fixes the "wrapper" tool reporting of missing meta_predicate/1 directives; changes the "dead_code_scanner" and "lgtdoc" tools to print warnings using the same format used by the compiler; provides Handbook improvements; and includes new and improved VSCode/VSCodium support predicates. Thanks to Alex Kouznetsov for his bug reports and documentation feedback. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.21.0 is also now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode This is a major release, providing better integration with developer tools, new commands, improved usability, and bug fixes: - Changed commands that run the developer tools to require the code to be loaded first - The user is now warned when no code is loaded for a command that requires it - The user is now informed when commands that spawn processes complete - Added experimental code lens support for test results - Added experimental code lens support for entity cyclomatic complexity - Added "Logtalk: Compute Metrics" command - Added "Logtalk: Toggle Code Lens" command - Added "Logtalk: Generate Documentation (workspace)" command - Added "Logtalk: Generate Diagrams (workspace)" command - Added "Logtalk: Scan Dead Code (workspace)" command - Added "dead_code_scanner" tool warnings to the "Problems" pane - Added "lgtdoc" tool warnings to the "Problems" pane - Added "make" tool warnings to the "Problems" pane - Added tests compilation warnings and errors to the "Problems" pane - Added doclet compilation warnings and errors to the "Problems" pane - Updated the "Known Issues" section in the readme file - Fixed taking into account environment settings when spawning auxiliary Logtalk processes - Fixed off-by-one error when parsing linter warnings lines - Fixed deleting an atom or variable when typing an underscore before the first character https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.21.0 The previous release implemented code navigation features: - Go to Declaration - Go to Definition - Go to Type Definition - Go to References - Go to Implementations - Go to Symbol in Editor... - Go to Symbol in Workspace... - Show Call Hierarchy - Show Type Hierarchy 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 |
|
From: Anduo W. <and...@gm...> - 2024-05-14 12:04:18
|
Hi all, I ran into errors while installing the xasp package. I'm including in the following more details and error messages: my system: xsb --version XSB Version 5.0.0 (Green Tea) of May 15, 2022 [x86_64-apple-darwin22.1.0 64 bits; mode: optimal; engine: slg-wam; scheduling: local] [Build date: 2024-03-17] I followed manual 2 (https://xsb.sourceforge.net/manual2/manual2.pdf), chapter 19.1., while compiling the XASP files, as described in *step 3* on page 181, I got the following: | ?- [prologMake]. [prologMake loaded] yes | ?- make. clang: *warning: **treating 'c' input as 'c++' when in C++ mode, this behavior is deprecated [-Wdeprecated]* *xasppkg.c:241:17: **warning: **format specifies type 'char *' but the argument has type 'int' [-Wformat]* printf("%s\n",atom); * ~~ ^~~~* %d *xasppkg.c:251:17: **warning: **format specifies type 'char *' but the argument has type 'int' [-Wformat]* printf("%s\n",atom); * ~~ ^~~~* %d 2 warnings generated. ld: warning: -undefined dynamic_lookup may not work with chained fixups yes | ?- Next, following *step 3, Checking the Installation,* I received: \========================================================================== There was an old /tmp/xsb_test_log.adw removing... Testing /Users/adw/local/XSB/config/x86_64-apple-darwin22.1.0/bin/xsb The log will be left in /tmp/xsb_test_log.adw ----------------------------------------- basic_tests/cooked_choice differ!!! basic_tests/xnmr_int1 differ!!! ----------------------------------------- ***FAILED testsuite for /Users/adw/local/XSB/config/x86_64-apple-darwin22.1.0/bin/xsb on iMac-Pro.fios-router.home Done ============================================================== Any suggestions on what might fix it? (if there is a bug with 5.0? or any dependencies on my end that I could test/fix, or revert to an older XSB version?) Thanks, Anduo |
|
From: Paulo M. <pm...@lo...> - 2024-05-06 14:14:48
|
Hi, Logtalk 3.78.0 is now available for downloading at: https://logtalk.org/ This release improves the reflection API for better support code navigation features in IDEs and text editors; adds a new linter warning for left-recursion on clauses and grammar rules; includes documentation updates; fixes a portability issue in the `dead_code_scanner` tool; includes additional tests for Prolog standard predicates; adds support for VSCode and VSCodium code navigation features; and provides portability updates for SICStus Prolog and SWI-Prolog. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md Logtalk for VSCode 0.20.0 is also now available from both VSCode and VSCodium marketplaces: https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode This is a major release, implementing code navigation features (requires Logtalk 3.78.0 or later version): - Go to Declaration - Go to Definition - Go to Type Definition - Go to References - Go to Implementations - Go to Symbol in Editor... - Go to Symbol in Workspace... There's also a new "Open Parent File" command. For details and a complete list of changes, please consult the release notes at: https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.20.0 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 |
|
From: Paulo M. <pm...@lo...> - 2024-02-01 00:11:58
|
Hi, Logtalk 3.74.0 is now available for downloading at: https://logtalk.org/ This release improves the linter warnings for unsound constructs in grammar rules and for if-then-else and soft-cut control constructs; improves the semantics and implementation of several multi-threading features; fixes compilation of "phrase/2-3" goals where the first argument is a "(::)/1-2" or "(^^)/2" control construct with a variable grammar rule body argument; fixes a regression where a compiler error when a source file term is not callable would be delegated to the backend; improves the Handbook documentation of several directives and built-in predicates; improves the Handbook documentation on dynamic predicates and grammar rules; adds a "listing" library (replacing the old undocumented one); adds a "recorded_database" library to help porting legacy Prolog code; fixes "json" library bugs; updates the "help" tool support to browse the Handbook and APIs documentation from the top-level; changes the default output directory for the "diagrams" tool to "./dot_dias"; updates the "tutor" tool for all recent linter updates; fixes a syntax error in the "logtalk_tester.ps1" script; improves the portability of the "fcube" port; updates the Advent of Code 2023 examples and several of the multi-threading examples; adds additional tests for the de facto standard "format/2-3" predicates and for the multi-threading built-in predicates; updates support for several text editors and syntax highlighters; updates the manual installation script to inform the user about the "INFOPATH" environment variable; fixes the Bash shell embedding scripts to actually use the default settings file when no "-s" option is passed; and includes portability updates for CxProlog, LVM, SICStus Prolog, SWI-Prolog, XSB, and YAP. Thanks to Yurii Rashkovskii for his bug reports and suggestions. 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 |
|
From: Paulo M. <pm...@lo...> - 2023-12-12 18:00:24
|
Hi, Logtalk 3.73.0 is now available for downloading at: https://logtalk.org/ 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](https://www.bottlecaps.de/rr/ui), 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: 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 |
|
From: Paulo M. <pm...@lo...> - 2023-05-30 13:11:24
|
Hi, Logtalk 3.66.0 is now available for downloading at: https://logtalk.org/ This release adds new keys to the "logtalk_load_context/2" built-in predicate for use with the term-expansion mechanism; adds two new meta-messages to the message printing mechanism to support user-defined printing goals; adds new linter warnings for DCGs, lambda expressions, predicate directives and backends without a module system; improves reporting of warnings when compiling auxiliary predicates; improves the Handbook and the documentation of several libraries and tools; adds a new "ulid" library for generating Universally Unique Lexicographically Sortable Identifiers; provides improvements and fixes to several tools, libraries examples, and contributions; adds additional compliance tests for Prolog standard predicates; fixes a registry issue when running the Windows installer; and provides portability updates for LVM, Quintus Prolog, Scryer Prolog, and, Trealla Prolog. 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 |
15764 messages has been excluded from this view by a project administrator.
