The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of

Logic Programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...

, relate it to other

formal Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements ( forms, in Ancient Greek). They may refer to: Dress code and events * Formal wear, attire for formal events * Semi-formal atti ...

and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming, oversees the journal ''Theory and Practice of Logic Programming'' (TPLP), and publishes an electronic newsletter. 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: * 2024- Enrico Pontelli at

New Mexico State University New Mexico State University (NMSU or NM State) is a public, land-grant, research university in Las Cruces, New Mexico, United States. Founded in 1888, it is the state's oldest public institution of higher education, and was the original land-g ...

* 2019-2024 Thomas Eiter (''pro term'' 2019-2020) at Vienna University of Technology * 2014-2019 Torsten Schaub at the

University of Potsdam The University of Potsdam is a public university in Potsdam, capital of the state of Brandenburg, northeastern Germany. The university is mainly situated across three campuses in the city. Some faculty buildings are part of the New Palace o ...

* 2010-2014 Gopal Gupta at the

University of Texas, Dallas The University of Texas at Dallas (UTD or UT Dallas) is a Public university, public research university in Richardson, Texas, United States. It is the northernmost institution of the University of Texas System. It was initially founded in 1961 ...

* 2005-2009 Manuel Hermenegildo at the

Technical University of Madrid The Technical University of Madrid or sometimes called Polytechnic University of Madrid (, UPM) is a public university, located in Madrid, Spain. It was founded in 1971 as the result of merging different Technical Schools of Engineering and Arc ...

* 2001-2004 Veronica Dahl at

Simon Fraser University Simon Fraser University (SFU) is a Public university, public research university in British Columbia, Canada. It maintains three campuses in Greater Vancouver, respectively located in Burnaby (main campus), Surrey, British Columbia, Surrey, and ...

* 1997-2000 Krzysztof R. Apt at Centrum Wiskunde & Informatica in

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

* 1993-1996 David Scott Warren at Stony Brook * 1989-1992 Herve' Gallaire at the European Computer-Industry Research Center in

Munich Munich is the capital and most populous city of Bavaria, Germany. As of 30 November 2024, its population was 1,604,384, making it the third-largest city in Germany after Berlin and Hamburg. Munich is the largest city in Germany that is no ...

* 1986-1988 Keith Clark at

Imperial College London Imperial College London, also known as Imperial, is a Public university, public research university in London, England. Its history began with Prince Albert of Saxe-Coburg and Gotha, Prince Albert, husband of Queen Victoria, who envisioned a Al ...

In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title ''Founders of Logic Programming'' to recognize them as pioneers in the field.

The ALP Alain Colmerauer Prize

The ''ALP Alain Colmerauer Prolog Heritage Prize'' (in short: the ''Alain Colmerauer Prize'') is organized by the ALP. The Prize is given for recent accomplishments and practical advances in Prolog-inspired computing, understood in a broad sense, where foundational, technological, and practical contributions are eligible with proven evidence or potential for the future development of Logic Programming.

References

{{reflist

External links

Association for Logic Programming (ALP)Theory and Practice of Logic Programming
journal Computer science organizations Organizations established in 1986 Computer science-related professional associations