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
|
Oct
|
Nov
|
Dec
|
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 |
From: Michael K. <ki...@cs...> - 2023-05-02 18:53:50
|
<html style="direction: ltr;"> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style> </head> <body bidimailui-charset-is-forced="true" style="direction: ltr;"> <p>Coherent Knowledge Systems (<a class="moz-txt-link-freetext" href="http://coherentknowledge.com/">http://coherentknowledge.com/</a>) is happy to announce the first open-source release of its flagship ErgoAI (<a class="moz-txt-link-freetext" href="https://github.com/ErgoAI">https://github.com/ErgoAI</a>) software, an advanced tool for enterprise knowledge representation and reasoning (KRR). ErgoAI greatly extends the well-known open-source Flora-2 system (<a class="moz-txt-link-freetext" href="https://flora.sourceforge.net/">https://flora.sourceforge.net/</a>) and, with this release, Flora-2 as a distinct system is being retired. ErgoAI is a best-of-breed system for logical AI, that is based on fundamental research advances. It has been used to develop applications in a number of commercial and government organizations. It shines at decision analytics & automation tasks in financial, legal, defense, and other domains, such as compliance with policies, regulations, contracts, and guidance, where knowledge is complex, high accuracy is crucial, and good explainability is required. <br> <br> ErgoAI is highly composable with other AI and non-AI systems, and has connectors to major programming languages and data formats, including Python, knowledge graphs, and many others.<br> One can install ErgoAI most simply by using its automatic installers for the latest official stable release (<a class="moz-txt-link-freetext" href="https://github.com/ErgoAI/.github/releases">https://github.com/ErgoAI/.github/releases</a>). Or install the system and its source code by cloning the Github repositories and compiling the sources <a class="moz-txt-link-freetext" href="https://github.com/ErgoAI#installing-ergoai-from-the-sources">https://github.com/ErgoAI#installing-ergoai-from-the-sources</a>). ErgoAI comes with extensive documentation, tutorials, and examples. Please see <a class="moz-txt-link-freetext" href="https://github.com/ErgoAI">https://github.com/ErgoAI</a> for more details.<br> <br> Please join our discussion forum at <a class="moz-txt-link-freetext" href="https://groups.google.com/a/coherentknowledge.com/g/ergoai-xsb-forum">https://groups.google.com/a/coherentknowledge.com/g/ergoai-xsb-forum</a> and give ErgoAI a Github star (at <a class="moz-txt-link-freetext" href="https://github.com/ErgoAI/ErgoEngine">https://github.com/ErgoAI/ErgoEngine</a>).<br> <br> </p> </body> </html> |
From: Paulo M. <pm...@lo...> - 2023-04-27 15:24:17
|
Hi, Logtalk 3.65.0 is now available for downloading at: https://logtalk.org/ This release documents the no longer experimental "(@)/1" control construct; adds a new "since" key to the "info/2" directive; adds two new values for the number of proofs to the "mode/2" directive; improves the Handbook sections on debugging and documenting predicates; reduces the number of atoms created by some tools and libraries; fixes the "git" library when working with paths containing spaces; includes significant fixes and improvements to the "debugger" and "lgtunit" tools; improves tests reporting; includes fixes for the Java examples and testing automation on Windows; adds notes for most of the skipped tests; includes new and revised tests; and provides portability updates for LVM, 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 |
From: Paulo M. <pm...@lo...> - 2022-12-20 16:41:13
|
Hi, Logtalk 3.61.0 is now available for downloading at: https://logtalk.org/ This release provides updated for several Prolog backend adapters and integration scripts for use in the Jupyter kernel for Logtalk (https://github.com/LogtalkDotOrg/logtalk-jupyter-kernel); adds a new "ids" library for generating identifiers (Base64 encoded) with parametrizable text representation and number of bytes of randomness; adds new "pairs" library object predicates; adds "packs" tool support for using "git archive" for installing packs, providing a better user experience when the packs registry server uses Single Sign-On (SSO) for authentication; and includes additional tests for library predicates and standard arithmetic functions. 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...> - 2022-11-15 23:16:51
|
Hi, Logtalk 3.60.0 is now available for downloading at: https://logtalk.org/ This release adds a new linter check for the availability of predicates (and non-terminals) listed in `uses/2` and `use_module/2` directives; improves the readability of default flag values printed at startup; updates all backend adapter files to recognize `.pro` as a valid Prolog file name extension; includes Handbook, library, and tools documentation improvements; updates the manual installation instructions for `zsh` users; adds `json` library support for customizing the term representation of JSON objects and JSON pairs; adds new `reader::line_to_chars/2-3` library predicates; adds new and improved linter checks to the `lgtdoc` tool; adds a new `lgtunit` tool `file_path/2` predicate; includes fixes for the `logtalk_doclet` and `logtalk_tester` scripts; includes additional tests for several Prolog standard predicates; updated the `logtalk_user_setup` scripts to prevent misuse; and adds support for escape sequences inside double-quoted terms to most text editors and syntax highlighters. 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...> - 2022-10-18 14:13:36
|
Hi, Logtalk 3.59.0 is now available for downloading at: https://logtalk.org/ This release adds a new linter warning for naked meta-variables; adds linter warnings to the "lgtdoc" tool; updates the Bash shell integration scripts to be aware of the default Homebrew installation directory on macOS; updates all PowerShell scripts to check for a compatible PowerShell version; improves several Handbook sections; improves the documentation of the "random" and "types" libraries; includes fixes for the "logtalk_tester.ps1" script; updates the "lgtunit" tool to print a warning on invalid test options; fixes "lgtdoc" issues; updates and adds new Prolog standards compliance tests; adds new library predicates; and includes portability updates for Ciao Prolog and SICStus 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 |
From: Paulo M. <pm...@lo...> - 2022-09-27 09:40:17
|
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 |
From: Paulo M. <pm...@lo...> - 2022-07-26 15:47:45
|
Hi, Logtalk 3.57.0 is now available for downloading at: https://logtalk.org/ This release improves the linter tool with new and refined warnings; improves the compilation of Prolog modules as objects; refines compiler error reporting; improves support for making predicates listed in "uses/2" and "use_module/2" directives available as scoped predicates for the entities containing the directives; adds Handbook sections on documenting predicate exceptions and on ports and contributions distributed with Logtalk; improves Handbook sections on Prolog integration and migration; adds links from library APIs documentation to the Handbook library descriptions; adds a "genint" library supporting application global and object local named generators for increasing positive integers; updsates the "gensym" library with support for both global and object local symbol generators; adds new predicatyes to the "types" and "statistics" libraries; includes fixes and improvements to the "csv" library; adds new parametric objects to the "hook_objects" library; fixes the "arbitrary" library implementation of shrinkers when passed terms of unexpected types; includes an improved "packs" tool with new predicates, refined semantics, and support for registries that require personal token authorizations for access; fixes "lgtdoc" generated Sphinx documentation cross-referencing between applications and Logtalk distribution libraries; improves "tutor" tool feedback on sone common linter reports; fixes "diagrams" tool cases where files listed as excluded would still be included in generated diagrams; adds new tests for Logtalk and Prolog features; and includes portability updates for CxProlog, LVM, SICStus Prolog, SWI-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 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: Massimo Z. <mas...@ti...> - 2001-03-29 21:46:21
|
Hi, http://jude.sourceforge.net Up to date this isn't a working system :-( If you are interested read the detailed documentation and give me some feedback. In particular you should read this chapter: http://jude.sourceforge.net/jude/node5.html Frankly speaking the mechanism that add active-database features to XSB isn't full implemented and tested and I believe that it should be too slow for real-world systems. Sorry for my bad English. On Thursday 29 March 2001 22:31, you wrote: > I would like to find out if there are any projects that use XSB as part of > an Agent Infrastructure. Would you know of any, or be able to point me in > the right direction? > > Thanks, > Bill > > _______________________________________________ > Xsb-users mailing list > Xsb...@li... > http://lists.sourceforge.net/lists/listinfo/xsb-users Best regards Massimo. |
From: <wil...@lm...> - 2001-03-29 20:31:30
|
I would like to find out if there are any projects that use XSB as part of an Agent Infrastructure. Would you know of any, or be able to point me in the right direction? Thanks, Bill |
From: LECONTE Jean-m. <web...@la...> - 2001-03-28 17:08:51
|
But where is it in the XSB help ?? I was thinking constraints like in Gnu prolog, where you define the domaine of X (an example) =2E=2E=2E=2E etc Thanks Jean michel LECONTE ----- Message d'origine ----- De : "David S=2E Warren" <warren@cs=2Esunysb=2Eedu> =C0 : "LECONTE Jean-michel" <webmaster@lambda-systems=2Ecom> Cc : <xsb-users@lists=2Esourceforge=2Enet> Envoy=E9 : mardi 27 mars 2001 21:38 Objet : [Xsb-users] Constraints in XSB ? > LECONTE Jean-michel writes: > > Are constraints going to be implemented in XSB ?? > > Actually, XSB already supports real constraints (partially)=2E What did > you have in mind? > > Regards, > -David |
From: Randall R S. <rrs...@cr...> - 2001-03-27 22:22:44
|
Michael, If you don't know about it already, the bit masking and shifting that implements memory cell tags (in cell_xsb.h) is sensitive to processor type, OS type, and possibly even the OS port or version. I made this work (mostly by trial and error) for PowerPC Linux running on a Macintosh G3. I never got around to submitting the changes back to the XSB project (and haven't used that version of XSB for some time now (it's XSB 2.1 probably--but I'm sure those changes would still be valid). If you'd like, I can dig it up and send it to you. As I said, because MacOS X is a FreeBSD port (with a microkernel, no less) and LinuxPPC where I did the XSB port, uses a monolithic Linux kernel, there's a good chance that they used different address ranges and / or bit field assignments for the kernel, shared libraries, stack, initialized and unitialized data, shared memory segments, etc., so thus it would be fairly lucky if the LinuxPPC parameters I derived will work under MacOS X. RandyS At 20:53 3/27/2001, Michael Kifer wrote: >Mac OSX is too new, I suppose, so the configure script doesn't know about it. >We'll check if the latest version of configure knows something about OSX. >However, there might be other issues related to porting, and for this we >need help from the users who have access to this system. > >You can try to specify generic-redhat-linux and see what happens. >Most likely won't work, but ... > > > Just downloaded XSB 2.3 and I was wondering if it is possible to > > run this on Mac OSX. I ran ./configure from the build directory and the > > respnse is: > > checking host system type... configure: error: can not guess host type; > > you must specify one > > > > What type of UNIX host does Mac OSX use? It is very possible I'm just > > wasting my time, but it was worth a try. If XSB Prolog won't work on > > OSX's kernel, do you know if a port for XSB to OSX is planned for the > > future? I'm sure it wouldn't be that hard :) > > > > Thanks for your time, > > Ben Voigt > > > > _______________________________________________ > > Xsb-users mailing list > > Xsb...@li... > > http://lists.sourceforge.net/lists/listinfo/xsb-users > > > >_______________________________________________ >Xsb-users mailing list >Xsb...@li... >http://lists.sourceforge.net/lists/listinfo/xsb-users |
From: David S. W. <wa...@cs...> - 2001-03-27 21:39:48
|
LECONTE Jean-michel writes: > Are constraints going to be implemented in XSB ?? Actually, XSB already supports real constraints (partially). What did you have in mind? Regards, -David |
From: David S. W. <wa...@cs...> - 2001-03-27 21:36:14
|
Joe, Can you send your interface to this person (email above)? Jean-michel, you need to have the most recent release of XSB to run it, so please download and install it if you haven't already. Regards, David LECONTE Jean-michel writes: > can i have the good code to call XSB from a vb program cause i have Visual > Basic 6.0 and when i call the program , tht's crashing ! > > > Jean Michel LECONTE > > > _______________________________________________ > Xsb-users mailing list > Xsb...@li... > http://lists.sourceforge.net/lists/listinfo/xsb-users > |
From: LECONTE Jean-m. <web...@la...> - 2001-03-27 21:06:17
|
Are constraints going to be implemented in XSB ?? Jean michel LECONTE _ / \ / \ http://www.lambda-systems.com / \ / \_/ SYSTEMS |
From: LECONTE Jean-m. <web...@la...> - 2001-03-27 21:03:36
|
can i have the good code to call XSB from a vb program cause i have Visual Basic 6.0 and when i call the program , tht's crashing ! Jean Michel LECONTE |
From: <ki...@cs...> - 2001-03-27 20:59:48
|
Mac OSX is too new, I suppose, so the configure script doesn't know about it. We'll check if the latest version of configure knows something about OSX. However, there might be other issues related to porting, and for this we need help from the users who have access to this system. You can try to specify generic-redhat-linux and see what happens. Most likely won't work, but ... > Just downloaded XSB 2.3 and I was wondering if it is possible to > run this on Mac OSX. I ran ./configure from the build directory and the > respnse is: > checking host system type... configure: error: can not guess host type; > you must specify one > > What type of UNIX host does Mac OSX use? It is very possible I'm just > wasting my time, but it was worth a try. If XSB Prolog won't work on > OSX's kernel, do you know if a port for XSB to OSX is planned for the > future? I'm sure it wouldn't be that hard :) > > Thanks for your time, > Ben Voigt > > _______________________________________________ > Xsb-users mailing list > Xsb...@li... > http://lists.sourceforge.net/lists/listinfo/xsb-users |