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.
--
-------------------------------------------------------------------------
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