yap-users — General Information on Yap

[Yap-users] LPNMR 2024 - Call for Workshops

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFW ***

====================================================
LPNMR 2024 - Call for Workshops
17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024
====================================================


====================================================
AIMS AND SCOPE
====================================================

The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) will be held in Dallas, Texas, USA.

The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs.

====================================================
IMPORTANT DATES
====================================================

Workshop proposals submissions: April 19th, 2024
Workshop proposals notifications: April 29th, 2024
Workshop program: October 11th, 2024 (tentative date)

====================================================
SUBMISSION
====================================================

Proposal must be submitted via EasyChair:          https://easychair.org/my/conference?conf=lpnmrws2024

Proposals should clearly specify the following:
Workshop title and acronym
A brief description, emphasizing why this workshop would appeal to audiences from LPNMR
A list of organizers with email addresses, web page URLs, and a short description of their experience in organizing events
A short description of the format of planned activities (talks, posters, panels, invited speakers if any, etc.)
The proposed duration (half day, one day, etc.)
A description of the history of the workshop (if any)
Expected number of participants


====================================================
CONTACT
====================================================

For any details on workshops, please contact the Workshop Chair:  
Gerardo I. Simari (Universidad Nacional del Sur and CONICET, Argentina)
gi...@cs...

[Yap-users] LPNMR 2024 - Preliminary Call for Papers

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFP ***

====================================================
LPNMR 2024 - Preliminary Call for Papers

17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, USA | October 11-14, 2024
Website: https://lpnmr2024.demacs.unical.it/
Contact us: lpn...@ea...
Submission: https://easychair.org/conferences/?conf=lpnmr2024
====================================================

====================================================
IMPORTANT DATES
====================================================

    Paper registration: June 21, 2024
    Submission deadline: June 28, 2024
    Final notification: July 28, 2024
    Final versions due: August 15, 2024
    Conference: October 11-14, 2024

====================================================
FAST JOURNAL TRACK FOR BEST PAPERS
====================================================

The two best papers focused on general AI topics will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors.
Also, the 2-5 best papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming.

====================================================
AIMS AND SCOPE
====================================================

LPNMR 2024 is the seventeenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.
LPNMR 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research.

====================================================
TOPICS
====================================================
Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to:
Foundations of LPNMR Systems:
Semantics of new and existing languages
Action languages, causality
Formalization of Commonsense Reasoning and understanding its laws and nature
Relationships among formalisms
Complexity and expressive power
Inference algorithms and heuristics for LPNMR systems
Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities
Updates, revision, and other operations on LPNMR systems
Uncertainty in LPNMR systems
Implementation of LPNMR systems:
System descriptions, comparisons, evaluations
Algorithms and novel techniques for efficient evaluation
LPNMR benchmarks
Applications of LPNMR:
Use of LPNMR in Commonsense Reasoning and other areas of KR
LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies
Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking
Applications of LPNMR to bioinformatics, linguistics, psychology and other sciences
Integration of LPNMR systems with other computational paradigms
Embedded LPNMR: Systems using LPNMR subsystems

====================================================
SUBMISSION AND PUBLICATION
====================================================
LPNMR 2024 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:

Technical papers
System descriptions
Application descriptions
            
The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
    https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
    
    Paper submission is enabled via the LPNMR 2024 Easychair site:    
        https://easychair.org/conferences/?conf=lpnmr2024
    

====================================================
MULTIPLE SUBMISSION POLICY
====================================================

LPNMR 2024 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. 
    
====================================================
VENUE
====================================================
LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience.

====================================================
ORGANISING COMMITTEE
====================================================

General Chair:
        Gopal Gupta, The University of Texas at Dallas
    
    Program Chairs:
        Carmine Dodaro, University of Calabria, Italy
        M. Vanina Martinez, IIIA-CSIC, Spain
        
    Publicity and Web Chair:
        Giuseppe Mazzotta, University of Calabria, Italy
    
    Workshop Chair:
        Gerardo Simari, Universidad Nacional del Sur, Argentina

[Yap-users] EKAPI 2024 - Call for Papers

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFP ***

======================================================
Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) 
Roccella Jonica (RC), Italy 
June 20-23
https://sites.google.com/unical.it/ekapi-2024/home
======================================================

======================================================
Important Dates
======================================================

Paper Submission Deadline: May 5, 2024
Notification of Acceptance: May 30, 2024
Workshop Date: June 20-23, 2024

======================================================
Scope
======================================================

The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Target Audience
======================================================

Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management.

======================================================
Overview
======================================================

The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape.  
Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. 
The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Topics of Interests
======================================================

Potential submission topics encompass a range of areas, including but not limited to:
Multi-perspective process models incorporating data, time, and resources.
Declarative processes.
Explainable and trustworthy AI for both process management and process mining.
Conversational systems, natural language processing, and human-machine interaction in the context of process management.
Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis.
Answer Set Programming for Process mining.
AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring.
AI techniques for clustering and classification of process execution traces.
Generative AI applied to Process Mining.
Machine learning for event recognition in semi-structured and unstructured data.
Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces.
Declarative-based multi-perspective representation of process traces.
Introduction of novel metrics for measuring process conformance.
Addressing uncertainty in AI for process management.
Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes.
Consideration of multi-objective optimization, decision-making processes, and continuous improvement.
Examining the concept of value alignment in the context of process management.

======================================================
Publication
======================================================

Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop.

======================================================
Submission Guidelines
======================================================

Papers submitted must be in English and adhere to the CEURART style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip)
Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references.
Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only.
Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024

======================================================
Venue
======================================================

EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean  Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast.


======================================================
Organization
======================================================

General Chairs:
Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy
Francesco Ricca, University of Calabria, Rende, Italy

Program Chairs
Ignacio Huitzil, University of Zaragoza, Spain
Giuseppe Mazzotta, University of Calabria, Rende, Italy


======================================================
Program Committee
======================================================

Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy
Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy
Francesco Ricca, Full Professor at University of Calabria, Rende, Italy
Antonio Ielo, PhD student at University of Calabria, Rende, Italy
Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy
Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy
Alice Tarzariol, Post-Doc at Alpen-Adria University of Klagefurt
Marco Mochi, PhD Student at Università degli Studi di Genova
Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt
Carl Corea, University of Koblenz, Germany
Rik Eshuis, Eindhoven University of Technology, Netherlands


======================================================
Sponsors
======================================================

Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy
PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006

[Yap-users] Logtalk 3.74.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.73.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.66.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.65.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.61.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.60.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.59.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.58.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.57.0 released

[Paulo M. <pm...@lo...>]

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

[Yap-users] Logtalk 3.56.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.56.0 is now available for downloading at:

https://logtalk.org/

This release adds linter warnings for source file names and for if-then-else and soft-cut control constructs; improves the linter warnings for "findall/3" goals; adds support for calls to the database and reflection built-in methods where the predicate argument is only bound at runtime and is listed in a "uses/2" or "use_module/2" directive; fixes cases where predicate name conflicts in directives would not be reported; improves "arbitrary" library performance for several types; fixes issues with the "arbitrary" library generation of Unicode code points; provides an improved QuickCheck implementation; improves the "lgtunit" tool code coverage report format to enable reporting all test object parameterizations and files; adds linter warnings for missing documentation directives to the "lgtdoc" tool; improves performance of the "diagrams" tool; improves the documentation of libraries and tools; adds new tests and improves existing tests for Prolog standards compliance; and includes portability updates Scryer Prolog, SICStus Prolog, and Tau 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

[Yap-users] Logtalk 3.55.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.55.0 is now available for downloading at:

https://logtalk.org/

This release adds Windows PowerShell versions of the setup, integration, embedding, and tools Bash shell scripts (joint work with Hans N. Beck); includes new and improved Handbook sections; adds a library file for loading all installed packs; improves handling of file paths by the "diagrams", "lgtdoc", and "wrapper" tools; improves the documentation of the "issue_creator", "lgtunit", and "packs" tools; includes fixes and improvements for the "lgtdoc" scripts; updates the "update_html_docs.sh" and "update_svg_diagrams.sh" scripts to optionally generate packs documentation and diagrams; updates the Windows installer to copy the PowerShell integration and setup scripts to the system directory; updates documentation of the Visual Studio Code text editor Logtalk plug-in; adds new tests for official and de facto standard Prolog features; and includes portability updates Scryer Prolog, Tau 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

[Yap-users] Logtalk 3.54.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.54.0 is now available for downloading at:

https://logtalk.org/

This release
adds a new linter warning for "catch/3" goals; adds support to user-defined linter warning messages for suspicious calls; adds a new Handbook section on the logic and control built-in public methods; improves the Handbook documentation on the term-expansion mechanism; improves documentation on applying the developer tools to plain Prolog code; adds new "union_find" and "grammars" libraries; improves the "sets" library thanks to a contribution by Adrián Arroyo Calle; adds linter checks for "format/2-3" goals to the "format" library; adds new predicates to the "pairs" library; adds new types to the "arbitrary" and "types" libraries; adds a "lgtunit" tool linter check for the use of unification goals in test outcome assertions; improves the performance of the "ports_profiler" tool; includes new predicates and fixes for the "packs" tool; fixes "lgtdoc" tool issues with Sphinx output; improves and
updates examples; adds new standards compliance sets; and includes portability updates for B-Prolog, Ciao Prolog, ECLiPSe, GNU Prolog, LVM, Scryer Prolog, Tau Prolog, 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

[Yap-users] Logtalk 3.53.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.53.0 is now available for downloading at:

https://logtalk.org/

This release includes a new developer tool, "issue_creator", for automatically creating bug report issues for failed tests in GitHub or GitLab servers; adds support for using object aliases in the message delegation control construct; adds a Handbook section on calling Prolog foreign predicates; includes documentation fixes and improvements; adds new predicates to the "options" library; fixes a bug in the "intervals" library; updates the "logtalk_tester" automation script to use the new "issue_creator" tool; includes improvements to the "packs" tool; updates the "metagol" port; adds new test sets and tests for Prolog standards compliance; updates support for a new version of the Visual Studio Code text editor Logtalk plug-in; and includes portability updates for Ciao Prolog, GNU Prolog, LVM, SICStus Prolog, SWI-Prolog, 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

[Yap-users] Logtalk 3.52.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.52.0 is now available for downloading at:

https://logtalk.org/

This release fixes compiler and linter issues; includes an improved version of the new "packs" tool, a portable and decentralized package manager; adds new "dif" and "format" abstraction libraries; updates the "hook_objects", "os", and "types" libraries; includes documentation updates to the Handbook, tools, man pages, and scripts; includes fixes and improvements for the "debugger", "diagrams", "lgtunit", and "tutor" tools; updates several programming examples; provides additional Prolog standards compliance tests; provides additional Logtalk tests; and includes portability updates for GNU Prolog, LVM, Tau 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

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

[Yap-users] A portable and decentralized package manager for sharing Logtalk and Prolog resources

[Paulo M. <pm...@lo...>]

Hi,

The recently released Logtalk 3.51.0 version includes a beta version of the new "packs" tool, a portable and decentralized package manager for sharing Logtalk and Prolog resources:

https://logtalk.org/manuals/devtools/packs.html

This tool allows anyone wishing to share their work to setup a pack registry allowing users to easily install and update those resources. Some of those pack registries are indexed at:

https://github.com/LogtalkDotOrg/pack-registries

The "packs" tool runs on most of the Logtalk supported backend Prolog systems (see the "Known issues" section in the first link above for current exceptions). When installing Prolog packs, Logtalk is only required to run the tool.

The tool includes documentation and linter support for defining new registry and pack specifications. Feedback is most welcome. Let us know if you setup a public pack registry.

Enjoy,
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] Logtalk 3.51.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.51.0 is now available for downloading at:

https://logtalk.org/

This release includes a beta version of the new "packs" tool, a portable and decentralized package manager; provides new "lgtunit" test outcomes and new input/output testing predicates; improves the compilation of large test sets by generating more compact code; improves the generation of Allure testing reports to include crashed and broken test sets; includes improved man pages to the testing scripts; includes "lgtdoc" tool bug fixes; improves the "make" tool; includes new "csv" library predicates; updates the os library for some backends; improves some of the programming examples; includes additional tests for Prolog compliance; fixes a Windows installer bug with settings files; and includes portability updates for all backends, notably by providing implementations of the atomic_concat/3 and atomic_list_concat/2-3 predicates.

Thanks to Paul Brown, Michael T. Richter, and Doug Kearns 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

[Yap-users] Logtalk 3.50.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.50.0 is now available for downloading at:

https://logtalk.org/

This release focus on improved documentation, developer tools, and test suites. The Handbook includes improved sections on documenting and testing applications, directives, and multi-threaded features. The testing automation script have been updated with support for passing base URLs to generate reports that link to the tests source code. The documenting and diagrams include more versatile helper scripts with new options. A significant number of new tests have been added to the Prolog standards compliance suite for better coverage. This release also includes fixes and updates to libraries and examples plus portability updates for JIProlog, LVM, 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

[Yap-users] Logtalk 3.48.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.48.0 is now available for downloading at:

https://logtalk.org/

This release provides out of the box support for running parallel Logtalk processes; updates support for Ciao Prolog, CxProlog, GNU Prolog, LVM, SWI-Prolog, and Trealla Prolog; adds new Handbook sections on running parallel processes and on different stages of the multi-pass compiler; improves several Handbook sections; improves documentation of the "lgtunit" tool; improves tests for the "cbor" and "random" libraries; updates the "logtalk_tester" script to print the run time in seconds for each test set; adds a new example contributed by Paul Brown on adding portable application GUIs using Tcl and Tk; improves tests for multiple examples; includes new and improve standards compliance tests; and improves support for the Sublime Text editor. 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

[Yap-users] Logtalk 3.44.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.44.0 is now available for downloading at:

https://logtalk.org/

This release features new and improved linter checks; adds a new Handbook nomenclature section on the differences between Logtalk and Prolog; adds new Handbook glossary entries; adds libraries for CSV files reading/writing, option handling, and term input/output from/to atoms, chars, and codes; improves existing libraries; provides fixes and improvements for several developer tools; adds a shell script for generating Allure reports from test results; adds support for exporting test result in the xUnit.net v2 XML format; improves exporting of results in the JUnit/xUnit format; includes new and improved programming examples; adds new examples to the ToyCHR port; adds tests sets for the de facto standard hyperbolic arithmetic functions; adds additional tests for several arithmetic functions; adds Windows installer experimental support for creating an integration shortcut for Tau Prolog; updates the macOS installer support for users of the zsh shell; removes support for Qu-Prolog and for the multi-threaded version of XSB; and includes portability updates for LVM, SICStus Prolog, SWI-Prolog, Tau Prolog, Trella ProLog, 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

[Yap-users] Logtalk 3.43.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.43.0 is now available for downloading at:

https://logtalk.org/

This release
focus once again on improved testing support and improved test suites for both Logtalk features and Prolog standards compliance of supported backends. It also provides compiler improvements and bug fixes, provides experimental support for Trealla ProLog; updates support for LVM and Tau Prolog; improves the top-level shortcut for loading files; includes a new "git" library; adds new predicates to the "queues" library; provides portability fixes for the "os" library; provides new predicates, improvements, and fixes for the "lgtunit" tool; provides fixes for the "debugger" and "lgtdoc" tools; improves the portability of the "bench" and "metainterpreters" examples; provides UltiSnips support for the Vim text editor, kindly contributed by Paul Brown; and includes other portability updates for most of the supported backends. 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

Re: [Yap-users] mmap error at Ubuntu 20.04

[Vitor S. C. <vs...@gm...>]

Stefan

I am trying to launch 7 but that is dragging on, so maybe it is a good
idea to fix 6.2.

Just to be on sync, give me a url with the version please

Thanks

Vitor

On Sun, Nov 1, 2020 at 8:42 PM stefanx <st...@lr...> wrote:
>
> Anybody here ?? Ubuntu 20.04 is not that unimportant.
>
>
> Am 28.10.20 um 20:41 schrieb stefanx:
> > "mount -o remount,exec /dev" seems to work, see
> >
> > https://bugzilla.redhat.com/show_bug.cgi?id=710802
> >
> > GRUB_CMDLINE_LINUX_DEFAULT="iomem=relaxed" doesn't work
> >
> >
> > Am 28.10.20 um 19:52 schrieb stefanx:
> >> yap...@li...Hello,
> >>
> >> Yap 6.2.2 doesn't work at Ubuntu 20.04
> >>
> >> dpkg -i yap_6.2.2-6+b5_amd64.deb
> >> ...
> >>
> >>> yap
> >> %
> >> %
> >> % YAP OOOPS: mmap could not map at 0x10000000, got 0xffffffffffffffff.
> >> %
> >> %
> >>
> >>    Exiting ....
> >>
> >>
> >> See also
> >> https://stackoverflow.com/questions/61663746/yap-6-2-2prolog-mmap-error-during-compilation-on-ubuntu-20-04
> >> https://forum.ubuntu-it.org/viewtopic.php?t=640137
> >>
> >>
> >> Regards
> >>
> >> Stefan
> >>
> >
> >
> > _______________________________________________
> > Yap-users mailing list
> > Yap...@li...
> > https://lists.sourceforge.net/lists/listinfo/yap-users
>
>
>
> _______________________________________________
> Yap-users mailing list
> Yap...@li...
> https://lists.sourceforge.net/lists/listinfo/yap-users

Re: [Yap-users] mmap error at Ubuntu 20.04

[stefanx <st...@lr...>]

Anybody here ?? Ubuntu 20.04 is not that unimportant.

 
Am 28.10.20 um 20:41 schrieb stefanx:
> "mount -o remount,exec /dev" seems to work, see
>
> https://bugzilla.redhat.com/show_bug.cgi?id=710802
>
> GRUB_CMDLINE_LINUX_DEFAULT="iomem=relaxed" doesn't work
>
>
> Am 28.10.20 um 19:52 schrieb stefanx:
>> yap...@li...Hello,
>>
>> Yap 6.2.2 doesn't work at Ubuntu 20.04
>>
>> dpkg -i yap_6.2.2-6+b5_amd64.deb
>> ...
>>
>>> yap
>> %
>> %
>> % YAP OOOPS: mmap could not map at 0x10000000, got 0xffffffffffffffff.
>> %
>> %
>>
>>    Exiting ....
>>
>>
>> See also
>> https://stackoverflow.com/questions/61663746/yap-6-2-2prolog-mmap-error-during-compilation-on-ubuntu-20-04
>> https://forum.ubuntu-it.org/viewtopic.php?t=640137
>>
>>
>> Regards
>>
>> Stefan
>>
>
>
> _______________________________________________
> Yap-users mailing list
> Yap...@li...
> https://lists.sourceforge.net/lists/listinfo/yap-users