Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Association for Logic Programming
open-in-new
<p>The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of <a href="/facts/Logic_Programming/Xgh8lj3F">Logic Programming</a>, relate it to other <a href="/facts/Formal_sciences/U0MaCPB0">formal</a> and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the <a href="/facts/International_Conference_on_Logic_Programming/M8kkdsdo">International Conference on Logic Programming</a>, oversees the journal <i>Theory and Practice of Logic Programming</i> (TPLP), and publishes an electronic newsletter. </p><p>The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Enrico Pontelli. Here is a list of all presidents: </p> <ul><li>2024- Enrico Pontelli at <a href="/facts/New_Mexico_State_University/CRh0lEgp">New Mexico State University</a></li> <li>2019-2024 Thomas Eiter (<i>pro term</i> 2019-2020) at <a href="/facts/Vienna_University_of_Technology/BQ4F1hpW">Vienna University of Technology</a></li> <li>2014-2019 Torsten Schaub at the <a href="/facts/University_of_Potsdam/ynLyefs5">University of Potsdam</a></li> <li>2010-2014 <a href="/facts/Gopal_Gupta_(computer_scientist)/YzTohyyW">Gopal Gupta</a> at the <a href="/facts/University_of_Texas%2c_Dallas/5l8T49fo">University of Texas, Dallas</a></li> <li>2005-2009 Manuel Hermenegildo at the <a href="/facts/Technical_University_of_Madrid/mdnAUmd4">Technical University of Madrid</a></li> <li>2001-2004 <a href="/facts/Veronica_Dahl/wBPBLwLC">Veronica Dahl</a> at <a href="/facts/Simon_Fraser_University/o5EasHf7">Simon Fraser University</a></li> <li>1997-2000 <a href="/facts/Krzysztof_R._Apt/veQfqndA">Krzysztof R. Apt</a> at <a href="/facts/Centrum_Wiskunde_%2526_Informatica/GkPrQHzL">Centrum Wiskunde & Informatica</a> in <a href="/facts/Amsterdam/Xdd393bz">Amsterdam</a></li> <li>1993-1996 David Scott Warren at Stony Brook</li> <li>1989-1992 Herve' Gallaire at the European Computer-Industry Research Center in <a href="/facts/Munich/Pr6zw2ev">Munich</a></li> <li>1986-1988 <a href="/facts/Keith_Clark_(computer_scientist)/GM2f2CRc">Keith Clark</a> at <a href="/facts/Imperial_College_London/SoXBRyax">Imperial College London</a></li></ul> <p>In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title <i>Founders of Logic Programming</i> to recognize them as pioneers in the field. </p> <ul><li>Maurice Bruynooghe (Belgium)</li> <li><a href="/facts/Jacques_Cohen_(computer_scientist)/cMIkE4sG">Jacques Cohen</a> (US)</li> <li><a href="/facts/Alain_Colmerauer/HzI8opM2">Alain Colmerauer</a> (France)</li> <li><a href="/facts/Keith_Clark_(computer_scientist)/GM2f2CRc">Keith Clark</a> (UK)</li> <li><a href="/facts/Veronica_Dahl/wBPBLwLC">Veronica Dahl</a> (Canada/Argentina)</li> <li>Maarten van Emden (Canada)</li> <li>Hervé Gallaire (France)</li> <li><a href="/facts/Robert_Kowalski/vT4Npm2x">Robert Kowalski</a> (UK)</li> <li><a href="/facts/Jack_Minker/fMGEb2ek">Jack Minker</a> (US)</li> <li>Fernando Pereira (US)</li> <li><a href="/facts/Lu%25C3%25ADs_Moniz_Pereira/aE4nrfCp">Luís Moniz Pereira</a> (Portugal)</li> <li><a href="/facts/Ray_Reiter/ql7glw3I">Ray Reiter</a> (Canada)</li> <li><a href="/facts/John_Alan_Robinson/k2acEudn">J. Alan Robinson</a> (US)</li> <li>Peter Szeredi (Hungary)</li> <li><a href="/facts/David_H._D._Warren/LvqtYcuT">David H. D. Warren</a> (UK)</li></ul>