Ciao-users June 2022

ciao-users@cliplab.org

2 participants
2 discussions

The ALP Alain Colmerauer Prolog Heritage Prize
by Manuel Hermenegildo 15 Jun '22

15 Jun '22

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

1 0

Logtalk 3.56.0 released
by Paulo Moura 09 Jun '22

09 Jun '22

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

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users June 2022