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
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2023
23rd April 2023 - Paris, France
https://www.sci.unich.it/hcvs23/
Important dates:
- Paper submission deadline: Feb 22, 2023
- Paper notification: Mar 22, 2023
- Workshop: Apr 23, 2023
Many Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.
This series of workshops aims to bring together researchers working in
the two communities of Constraint/Logic Programming (e.g., ICLP and
CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated
Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based
analysis, verification, and synthesis.
Horn clauses for verification and synthesis have been advocated by
these communities in different times and from different perspectives
and HCVS is organized to stimulate interaction and a fruitful exchange
and integration of experiences.
The workshop follows previous meetings: HCVS 2022 in Munich, Germany
(ETAPS 2022), HCVS 2021, online (ETAPS 2021), HCVS 2020, online (ETAPS
2020), HCVS 2019 in Prague, Czech Republic (ETAPS 2019), HCVS 2018 in
Oxford, UK (CAV, ICLP and IJCAR at FLoC 2018), HCVS 2017 in
Gothenburg, Sweden (CADE 2017), HCVS 2016 in Eindhoven, The
Netherlands (ETAPS 2016), HCVS 2015 in San Francisco, CA, USA (CAV
2015), and HCVS 2014 in Vienna, Austria (VSL).
Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:
- Analysis and verification of programs and systems of various kinds
(e.g., imperative, object-oriented, functional, logic, higher-order,
concurrent, transition systems, petri-nets, smart contracts)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Machine learning and automated reasoning
- CHC encoding of analysis and verification problems
- Resource analysis
- Case studies and tools
- Challenging problems
We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress, as well as
presentations covering previously published results, extended
abstracts of doctoral theses, and overviews of research projects that
are of interest to the workshop.
At least one author of each accepted paper will be required to attend
the workshop to present the contribution.
CHC Competition:
HCVS 2023 will host the 6th competition on constraint Horn clauses
(CHC-COMP https://chc-comp.github.io/ ), which will compare
state-of-the-art tools for CHC solving for performance and
effectiveness on a set of publicly available benchmarks. A report on
CHC-COMP will be part of the workshop's proceedings. The report also
contains tool descriptions of the participating solvers.
Program Chairs:
David Monniaux, VERIMAG, CNRS, Grenoble, France
José F. Morales, IMDEA Software, Madrid, Spain
Program Committee:
TBA
Submission has to be done in one of the following formats:
- Regular papers (up to 12 pages plus bibliography in EPTCS
(http://www.eptcs.org/) format), which should present previously
unpublished work (completed or in progress), including descriptions
of research, tools, and applications.
- Tool papers (up to 4 pages in EPTCS format), including the papers
written by the CHC-COMP participants, which can outline the
theoretical framework, the architecture, the usage, and experiments
of the tool.
- Extended abstracts (up to 3 pages in EPTCS format), which describe
work in progress or aim to initiate discussions.
- **Presentation-only papers**, i.e., papers already submitted or
presented at a conference or another workshop. Such papers can be
submitted in any format, and will not be included in the workshop
post-proceedings.
- Posters that are of interest to the workshop
All submitted papers will be refereed by the program committee and
will be selected for inclusion in accordance with the referee
reports. Accepted regular papers and extended abstracts will be
published electronically as a volume in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/
(provided that enough regular papers are accepted). The publication
of a paper is not intended to preclude later publication. Full
versions of extended abstracts published in EPTCS, or substantial
revisions, may later be published elsewhere.
Papers must be submitted through the EasyChair system using the web
page: https://easychair.org/conferences/?conf=hcvs2023
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
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
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
[ Apologies for multiple postings ]
============================
PPDP 2022 - LOPSTR 2022
JOINT CALL FOR PARTICIPATION
============================
PPDP 2022
24th International Symposium on
Principles and Practice of Declarative Programming
20-22 September 2022, Tbilisi, Georgia
https://software.imdea.org/Conferences/PPDP2022/
Co-located with
LOPSTR 2022
32nd International Symposium on
Logic-Based Program Synthesis and Transformation
21-23 September 2022, Tbilisi, Georgia
https://lopstr2022.webs.upv.es/
The conferences will be held as hybrid (blended) meetings, both in-person and
virtual.
Both conferences are part of CLAS 2022:
http://www.viam.science.tsu.ge/clas2022/
===================================
Registration
------------
Please use the CLAS registration form on EasyChair:
https://easychair.org/my/conference?conf=clas2022
* Early registration deadline August 14, 2022 *
An online-only registration option is available.
===================================
Invited Speakers
----------------
Niki Vazou, IMDEA Software Institute, Spain
(joint PPDP-LOPSTR invited speaker)
Florian Zuleger, Technische Universität Wien, Austria
(joint PPDP-LOPSTR invited speaker)
Torsten Grust, University of Tübingen, Germany
(PPDP invited speaker)
Robert Hierons, The University of Sheffield, UK.
(LOPSTR invited speaker)
Ornela Dardha, Elena Giachino, and Davide Sangiorgi
(10 Year Most Influential Paper Award for “Session Types Revisited”, PPDP
2012).
===================================
About PPDP
----------
The PPDP symposium brings together researchers from the declarative
programming communities, including those working in the functional, logic,
answer-set, and constraint handling programming paradigms. The goal is to
stimulate research in the use of logical formalisms and methods for analyzing,
performing, specifying, and reasoning about computations, including mechanisms
for concurrency, security, static analysis, and verification.
About LOPSTR
------------
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR is open
to contributions in logic-based program development in any language paradigm.
LOPSTR has a reputation for being a lively, friendly forum for presenting and
discussing work in progress.
===================================
Please consult the conferences' webpages for the lists of accepted papers.
Hope to see you in Tbilisi!
The PPDP and LOPSTR chairs.
Alicia Villanueva
Manuel Hermenegildo
Beniamino Accattoli
The Lab for AI and Verification (laiv.uk) at Heriot-Watt University,
Edinburgh is looking to fill one PhD post and one postdoctoral post. We are
looking for candidates with solid knowledge of Theorem Proving and/or
Functional/Logic programming, and enthusiasm to apply this knowledge in the
domain of Artificial Intelligence.
The PhD post is for 4 years, starting in October 2022. It covers full
stipend and PhD fees and is sponsored by the UKRI (ukri.org) and
Schlumberger Cambridge (slb.com). The company will provide additional
training and support during the PhD studies. This post needs to be filled
in as soon as possible.
We are also looking to employ a postdoctoral researcher for a 6-12 months
project to formalise Criminal law in the Functional Language Catala
<https://catala-lang.org/>. Formalising criminal law for autonomous cars is
of particular interest. This project will be in collaboration with Jonathan
Protzenko, Microsoft Research and the School of Law, Edinburgh University.
This project has a flexible starting date.
Please direct all queries to Ekaterina Komendantskaya (ek19(a)hw.ac.uk)
Best wishes,
Ekaterina
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
Very excited to announce a new, embeddable playground for Ciao
Prolog that runs locally in your browser thanks to WebAssembly:
https://ciao-lang.org/playground
The Ciao Prolog Playground offers a very easy way to run and share
Prolog code, directly from any modern browser. The main advantage
over other ways of using Ciao is that the playground does not require
any installation or interaction with a server since everything runs
within the browser. Many of the features of native Ciao are supported:
prolog flags, language extensions, CLP, cyclic terms, portray
attributes, etc.
Additionally, it offers an easy way to embed runnable code examples in
tutorials, manuals, slides, exercises, etc., and in general any kind
of document. These documents can be developed with many tools, such
as Google Docs, Jupyter notebooks, Word, Powerpoint, LaTeX, Pages,
Keynote, web site generators, etc., etc.
The Ciao Developer Team
Organized by The Association for Logic Programming (ALP) and The Prolog
Heritage Association
In the summer of 1972, Alain Colmerauer and his team in Marseille developed
and implemented the first version of the logic programming language Prolog.
Together with both earlier and later collaborations with Robert Kowalski and
his colleagues in Edinburgh, this work laid the practical and theoretical
foundations for the Prolog and logic programming of today. Prolog and its
related technologies soon became key tools of symbolic programming and
Artificial Intelligence.
The Year of Prolog celebrates the 50th anniversary of these events and
highlights the continuing significance of Prolog and Logic Programming both
for symbolic, explainable AI, and for computing more generally.
This celebration will culminate with the award of the inaugural edition of the
ALP Alain Colmerauer Prolog Heritage Prize for recent practical
accomplishments that highlight the benefits of Prolog-inspired computing for
the future. The Prize will be presented at the Prolog Day Symposium on
November 10, 2022, in Paris, France.
Eligibility
Any individual or group of individuals can nominate themselves or their
institution(s)/organization(s) for the Prize.
Selection
The Prize will be given for depth, novelty, and proven or potential impact. A
shortlist of up to five nominations will also be selected in the process.
Endowment
The winner(s) will receive a certificate and a cash Prize of 2,000 Euros. The
expenses of the shortlisted nominees will be covered up to 1,000 Euros,
supported by the Artificial Intelligence Journal.
Timeline
Deadline for nominations/submissions:
*** September 2, 2022 ***
Notification of the shortlisted candidates:
*** September 30, 2022 ***
For more information and details, see:
https://prologyear.logicprogramming.org/ColmerauerPrize.html
The Year of Prolog and its activities, including the Alain Colmerauer Prize,
are sponsored by the Association for Logic Programming, the Prolog
Heritage Association, the AI Journal, Institut Carnot Cognition, and
Institut Fredrik Bull, among others.
--
-------------------------------------------------------------------------